Automating
Mostrando 13-24 de 49 artigos, teses e dissertações.
-
13. Semantic web services: from modeling to composition / Serviços Web Semânticos: da modelagem à composição
The automation of the discovery, composition and invocation of Web Services is an important step to the success of the Semantic Web. If no single Web Service satisfies the functionality required by one user, an alternative is to combine existing services that solve parts of the problem in order to reach a complete solution. Web Services composition can be ac
Publicado em: 2009
-
14. Automatically composing reusable software components for mobile devices
Product-line architectures (PLAs) are an effective mechanism for facilitating the reuse of software components on different mobile devices. Mobile applications are typically delivered to devices using over-the-air provisioning services that allow a mobile phone to download and install software over a cellular network connection. Current techniques for automa
Journal of the Brazilian Computer Society. Publicado em: 2008-03
-
15. ANALYSIS OF COMPUTERIZED TOOLS FOR COMPUTATIONAL MODELING SUPPORT - CASE STUDY OF THE DYNAMICS SYSTEM DOMAIN / Análise de Ferramentas Computadorizadas para Suporte à Modelagem Computacional - Estudo de Caso no Domínio de Dinâmica dos Corpos Deformáveis
In this work, computer tools are analyzed regarding their support to computational modeling activities. Those tools aim to solve problems such as the lack of reuse of obtained results, the integration of tasks that compound the experiments, and the management of the various steps of the modeling process. The concept Scientic Work ow" designates the collectio
Publicado em: 2008
-
16. QSEE-TAS: execução automatizada de casos de teste para software embarcado em aplicações espaciais / QSEE-TAS: automated test case execution on embedded software for space applications
O software embarcado em satélites científicos é crítico, pois exige interações com o hardware em tempo real para, por exemplo, adquirir dados por meio de sensores, controlar atitude, controlar as cargas úteis, comunicar-se com as estações na Terra, entre outras. Uma vez que o satélite está em órbita, sua manutenção é dispendiosa dada a naturez
Publicado em: 2008
-
17. QSEE-TAS: automated test case execution on embedded software for space applications / QSEE-TAS: execução automatizada de casos de teste para software embarcado em aplicações espaciais
O software embarcado em satélites científicos é crítico, pois exige interações com o hardware em tempo real para, por exemplo, adquirir dados por meio de sensores, controlar atitude, controlar as cargas úteis, comunicar-se com as estações na Terra, entre outras. Uma vez que o satélite está em órbita, sua manutenção é dispendiosa dada a naturez
Publicado em: 2008
-
18. Estudo de resultados do espectro multifractal da retina humana, como medida de classificação : uma aplicação de análise de agrupamento.
Image analysis is frequently used by ophthalmologists as part of the diagnostic procedure. Inspection of the vascular structure of the retina may reveal early stages of pathologies such as diabetic retinopathy, and there have been various efforts to develop more efficient methods for diagnosing such diseases. Currently, identification of abnormalities requir
Publicado em: 2008
-
19. Um mÃtodo para seleÃÃo de testes de regressÃo para automaÃÃo
Software Testing is critical for quality in software development and demands time and effort. Companies have invested a lot in test process aiming to prevent and detect defects. Regression testing is performed during software development cycle in order to guarantee that software maintenance or new feature integration did not introduce new defects in software
Publicado em: 2007
-
20. DESENVOLVIMENTO DE BIBLIOTECAS DIGITAIS DE LEARNING OBJECTS UTILIZANDO TÉCNICAS DE DATA WAREHOUSING E DATA MINING / DEVELOPMENT OF LEARNING OBJECTS DIGITAL LIBRARIES USING DATA WAREHOUSING AND DATA MINING TECHNIQUES
This work aims at the development of Learning Objects Digital Libraries (LO-DLs), using Data Warehousing (DWing) and Data Mining (DMining) techniques. By using the Data Warehousing approach, we will be able to correlate the main steps of this technique, which area Extraction, Transformation, Loading and OLAP, with the main services of a Traditional Library w
Publicado em: 2005
-
21. SISTEMA INTELIGENTE DE OTIMIZAÇÃO DE ALTERNATIVAS DE DESENVOLVIMENTO DE CAMPOS PETROLÍFEROS / INTELLIGENT SYSTEM FOR OPTIMIZATION OF ALTERNATIVES FOR PETROLEUM FIELDS DEVELOPMENT
This work investigates the problem of optimization of alternatives for petroleum fields` development. A development alternative refers to the way a well-known and delimited petroleum field is placed in production. This process involves the determination of the number, localization and scheduling of producer and injector wells. Thus, the optimization of alter
Publicado em: 2005
-
22. GAwCRe: um gerador de aplicações baseadas na web para o domínio de clínicas de reabilitação.
Pattern languages define a domain, easing application modeling by less experienced developers. With the use of a pattern language a generic architecture (frameworks or application generators) can be defined, capable of automating part of the new applications development process. That architecture can be represented by an Application Modeling Language (AML),
Publicado em: 2004
-
23. Scalable automated proving and debugging of set-based specifications
We present a technique to prove invariants of model-based specifications in a fragment of set theory. Proof obligations containing set theory constructs are translated to first-order logic with equality augmented with (an extension of) the theory of arrays with extensionality. The idea underlying the translation is that sets are represented by their characte
Journal of the Brazilian Computer Society. Publicado em: 2003-11
-
24. Um algoritmo para estimação de estado em alimentadores de distribuição de energia elétrica com base no método da soma de potências
Most algorithms for state estimation based on the classical model are just adequate for use in transmission networks. Few algorithms were developed specifically for distribution systems, probably because of the little amount of data available in real time. Most overhead feeders possess just current and voltage measurements at the middle voltage bus-bar at th
Publicado em: 2003