Sciweavers

409 search results - page 72 / 82
» Functional Validation of Programmable Architectures
Sort
View
FASE
2010
Springer
14 years 3 days ago
A Process to Effectively Identify "Guilty" Performance Antipatterns
Abstract. The problem of interpreting the results of software performance analysis is very critical. Software developers expect feedbacks in terms of architectural design alternati...
Vittorio Cortellessa, Anne Martens, Ralf Reussner,...
ECAI
2008
Springer
13 years 10 months ago
Incremental Component-Based Construction and Verification of a Robotic System
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
Ananda Basu, Matthieu Gallien, Charles Lesire, Tha...
ICSOFT
2008
13 years 10 months ago
Defining and Prototyping a Life-cycle for Dynamic Service Composition
Abstract. Since the Internet has become a commodity in both wired and wireless environments, new applications and paradigms have emerged to explore this highly distributed and wide...
Eduardo Goncalves da Silva, Jorge Martínez ...
MBEES
2007
13 years 10 months ago
Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems
: The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across bu...
Vina Ermagan, To-ju Huang, Ingolf H. Krüger, ...
SWAP
2008
13 years 10 months ago
Uniform Access to Domotic Environments through Semantics
This paper proposes a Domotic OSGi Gateway (DOG) able to expose different domotic networks as a single, technology neutral, home automation system. The adoption of a standard frame...
Dario Bonino, Emiliano Castellina, Fulvio Corno