Sciweavers

1812 search results - page 21 / 363
» Dynamic Updating of Software Systems Based on Aspects
Sort
View
UML
2005
Springer
14 years 29 days ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
EMSOFT
2006
Springer
13 years 11 months ago
Multi-level software reconfiguration for sensor networks
In-situ reconfiguration of software is indispensable in embedded networked sensing systems. It is required for re-tasking a deployed network, fixing bugs, introducing new features...
Rahul Balani, Chih-Chieh Han, Ram Kumar Rengaswamy...
EUROMICRO
2009
IEEE
14 years 2 months ago
An Architecture-Based Framework for Managing Adaptive Real-Time Applications
—Real-time systems are increasingly used in dynamic changing environments with variable user needs, hosting real-time applications ranging in number and nature. This paper propos...
Ning Gui, Vincenzo De Florio, Hong Sun, Chris Blon...
ISSTA
2006
ACM
14 years 1 months ago
A regression tests selection technique for aspect-oriented programs
As the Aspect-Oriented Software Development gains popularity, there is growing interest as developing for existing object-oriented software aspects to address the crosscutting pro...
Guoqing Xu
SCANGIS
2001
13 years 8 months ago
A software system for large dynamic maps based on networked geographical databases
Dynamic maps, often in the form of web-maps, are becoming increasingly popular. This article discusses software architectures and individual components to meet the demands of the m...
Asgeir Finnseth, Guðmundur Jökulsson