• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 4
  • 1
  • Tagged with
  • 5
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Building An Abstract-Syntax-Tree-Oriented Symbolic Execution Engine for PHP Programs

Huang, Jin 07 June 2018 (has links)
No description available.
2

SMALLSOA – Um Motor para Execução de Composições de Serviços em Ambientes Móveis

Zanuz, Luciano 19 February 2009 (has links)
Made available in DSpace on 2015-03-05T14:01:20Z (GMT). No. of bitstreams: 0 Previous issue date: 19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Arquiteturas orientadas a serviços (SOA) voltaram a ganhar destaque, após o surgimento dos web services, como uma tecnologia capaz de melhorar consideravelmente a interoperabilidade entre aplicações de software. Para apoiar a crescente necessidade de colaboração entre pessoas fisicamente separadas, como em sistemas de trabalho ou ensino à distância, ambientes colaborativos estão sendo construídos utilizando a Internet como plataforma. Com a popularização dos dispositivos móveis, softwares que permitem interações entre quaisquer dispositivos, móveis ou não, utilizando tecnologias variadas de comunicação rumo a um mundo ubíquo, vêm ganhando destaque. SOA, por sua vez, está sendo considerada uma das plataformas mais indicadas para sistemas colaborativos ubíquos. Este trabalho apresenta SmallSOA, um motor para execução de composições de serviços em ambientes móveis, um dos componentes centrais da arquitetura orientada a serviços chamada U-SOA que o grupo de pesquisa de Engenharia de Software e Linguagens de Pr / Services-oriented architectures (SOA) restarted to gain prominence after the emergence of web services as a technology able to improve the interoperability between software applications. To support the growing need for collaboration between people physically separated as in distance work or learning systems, collaborative environments are being constructed using the Internet as platform. With the popularization of mobile devices, software that allows interactions between any devices, mobile or not, using different communication technologies towards a ubiquitous world are gaining prominence. SOA, in its turn, is considered one of the most suitable platforms for ubiquitous collaborative systems. This work presents SmallSOA, an engine for services compositions execution on mobile environments, one of the central components of the service oriented architecture called U-SOA that the research team on Software Engineering and Programming Languages at Unisinos is developing. An engine for services compositions exec
3

Controle de microgrids dirigido por modelos / Microgrids model driven control

Sampaio Junior, Adalberto Ribeiro 31 March 2014 (has links)
Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2015-01-13T10:58:35Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertação - Adalberto Ribeiro Sampaio Junior - 2014.pdf: 1618396 bytes, checksum: bd9ccea5178781ea6e1d2e0b346d9787 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2015-01-13T10:58:56Z (GMT) No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertação - Adalberto Ribeiro Sampaio Junior - 2014.pdf: 1618396 bytes, checksum: bd9ccea5178781ea6e1d2e0b346d9787 (MD5) / Made available in DSpace on 2015-01-13T10:58:56Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertação - Adalberto Ribeiro Sampaio Junior - 2014.pdf: 1618396 bytes, checksum: bd9ccea5178781ea6e1d2e0b346d9787 (MD5) Previous issue date: 2014-03-31 / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / The use of model driven engineering (MDE) and models at runtime represent an important tools for the development and management of complex systems. We show how a model driven approach can be used to create a manager able to control the various components of a microgrid, besides adding autonomic behavior in this kind of system. Applying an architecture that respects the hierarchy of controllers present in microgrids, we show how devices can be controlled through calls and events that are targeted to a manager and defined in its model. This model-driven approach facilitates the control of devices and allows customization of the bahavior of a microgrid by the end user in charge of managing it. / O uso de engenharia de software dirigida por modelos (MDE) e de modelos em tempo de execução constitui uma ferramenta importante para desenvolver e controlar sistemas complexos. Neste trabalho utilizamos uma abordagem dirigida por modelos para controlar sistemas de distribuição de energia elétrica conhecidos como microgrids. Mostramos como uma abordagem dirigida por modelos pode ser utilizada para criar um gerente capaz de controlar os diversos componentes de uma microgrid, além de adicionar comportamento autonômico neste tipo de sistema. Aplicando uma arquitetura que respeita a hierarquia dos controladores presentes em microgrids, mostramos como os dispositivos podem ser controlados por meio de chamadas e eventos direcionados ao gerente de recursos e definidos em seu modelo. Essa forma de controle dirigido por modelos facilita a definição do controle dos dispositivos de uma microgrid por parte do usuário, além de permitir uma personalização do comportamento global de uma microgrid.
4

[en] QEEF: AN EXTENSIBLE QUERY EXECUTION ENGINE / [pt] QEEF: UMA MÁQUINA DE EXECUÇÃO DE CONSULTAS

FAUSTO VERAS MARANHAO AYRES 30 June 2004 (has links)
[pt] O processamento de consultas em Sistemas de Gerência de Banco de Dados tradicionais tem sido largamente estudado na literatura e utilizado comercialmente com enorme sucesso. Isso é devido, em parte, à eficiência das Máquinas de Execução de Consultas (MEC) no suporte ao modelo de execução tradicional. Porém, o surgimento de novos cenários de aplicação, principalmente em conseqüência do modelo computacional da web, motivou a pesquisa de novos modelos de execução, tais como: modelo adaptável e modelo contínuo, além da pesquisa de modelos de dados semi-estruturados, tal como o XML, ambos não suportados pelas MEC tradicionais. O objetivo desta tese consiste no desenvolvimento de uma MEC extensível frente a diferentes modelos de execução e de dados. Adicionalmente, esta proposta trata de maneira ortogonal o modelo de execução e o modelo de dados, o que permite a avaliação de planos de execução de consultas (PEC) com fragmentos em diferentes modelos. Utilizou-se a técnica de framework de software para a especificação da MEC extensível, produzindo o framework QEEF (Query Execution Engine Framework). A extensibilidade da solução reflete-se em um meta-modelo, denominado QUEM (QUery Execution Meta-model), capaz de exprimir diferentes modelos em um meta-PEC. O framework QEEF pré-processa um meta-PEC e produz um PEC final a ser avaliado pela MEC instanciada. Como parte da validação desta proposta, instanciou-se o QEEF para diferentes modelos de execução e de dados. / [en] Querying processing in traditional Database Management Systems (DBMS) has been extensively studied in the literature and adopted in industry. Such success is, in part, due to the performance of their Query Execution Engines (QEE) for supporting the traditional query execution model. The advent of new query scenarios, mainly due to the web computational model, has motivate the research on new execution models such as: adaptive and continuous, and on semistructured data models, such as XML, both not natively supported by traditional query engines. This thesis proposes the development of an extensible QEE adapted to the new execution and data models. Achieving this goal, we use a software design approach based on framework technique to produce the Query Execution Engine Framework (QEEF). Moreover, we address the question of the orthogonality between execution and data models, witch allows for executing query execution plans (QEP) with fragments in different models. The extensibility of our solution is specified by in a QEP by an execution meta- model named QUEM (QUery Execution Meta-model) used to express different models in a meta-QEP. During query evaluation, the latter is pre-processed by the QEEF producing a final QEP to be evaluated by the running QEE. The QEEF is instantiated for different execution and data models as part of the validation of this proposal.
5

Construção de middleware específico de domínio: unificando abordagem dirigida por modelos e separação de interesses / Specific domain middleware building: unified model driven approach and separation of interests

Barbosa, Weider Alves 30 October 2017 (has links)
Submitted by Franciele Moreira (francielemoreyra@gmail.com) on 2018-02-01T11:58:08Z No. of bitstreams: 2 Dissertação - Weider Alves Barbosa - 2017.pdf: 3232518 bytes, checksum: 2a1f899f2cf8bf0f76707049183a9888 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-02-02T09:42:07Z (GMT) No. of bitstreams: 2 Dissertação - Weider Alves Barbosa - 2017.pdf: 3232518 bytes, checksum: 2a1f899f2cf8bf0f76707049183a9888 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-02-02T09:42:07Z (GMT). No. of bitstreams: 2 Dissertação - Weider Alves Barbosa - 2017.pdf: 3232518 bytes, checksum: 2a1f899f2cf8bf0f76707049183a9888 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-10-30 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This thesis presents an approach to construct model execution machines based on the concept of Domain Specific Virtual Machines (DSVMs), focusing on the control middleware layer that is responsible for the control of model execution. In order to build this layer, we used techniques derived from model-driven engineering (MDE), in order to take advantage of the fact that DSVMs can both interpret models directly and be constructed using models. Another concept used in the proposed approach is the Separation of Concerns, separating the execution model from the knowledge of the application domain. In this sense, the main objective of this work is to propose an approach that unifies the MDE techniques and separation of concerns for the construction of DSVMs, thus allowing to express both the structure and operational semantics of the middleware. As a result, an instance of the control layer of a DSVM for the user-centric communication domain is displayed. We also present the results of a performance evaluation that was carried out to analyze the impact of proposed approach on the execution time. / Esta dissertação apresenta uma abordagem para construção de máquinas de execução de modelos baseadas no conceito de Domain Specific Virtual Machines (DSVMs), com foco na camada de middleware de controle, que é responsável pelo controle de execução de modelos. Para construir essa camada, foram utilizadas técnicas provenientes da engenharia dirigida por modelos (MDE), visando aproveitar o fato de que DSVMs podem tanto interpretar modelos diretamente, quanto ser construída por meio de modelos. Outro conceito utilizado na abordagem proposta é a separação de interesses (Separation of Concerns), separando o modelo de execução do conhecimento de domínio de aplicação. Neste sentido, o objetivo principal deste trabalho é propor uma abordagem que faça a união das técnicas MDE e separação de interesses para construção de DSVMs, permitindo assim expressar tanto a estrutura quanto a semântica operacional do middleware. Como resultado, é apresentada uma instância da camada de controle de uma DSVM para o domínio de comunicação centrada no usuário. Também são apresentados os resultados de uma avaliação de desempenho realizada para analisar a abordagem proposta sobre o tempo de execução.

Page generated in 0.0867 seconds