10669 search results - page 271 / 2134 » Software - Implemented Self-healing System |
181
click to vote
SAFECOMP
1998
Springer
15 years 11 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
230
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Software maintenance and evolution is arguably a lengthy and expensive phase in the life cycle of a software system. A critical issue at this phase is change propagation: given a ...
204
click to vote
CL
2006
Springer
15 years 7 months ago
2006
Springer
Many software systems suffer from missing support for behavioral (runtime) composition and configuration of software components. The concern "behavioral composition and confi...
184
click to vote
IJCAT
2008
15 years 7 months ago
2008
: Component-Based Software Development (CBSD) and Aspect-Oriented Software Development (AOSD) are solutions to support software evolution by decomposing a software system into conc...
160
click to vote
NETWORK
2006
15 years 7 months ago
2006
Wireless Sensor Networks (WSNs) are expected to be deployed for long periods of time, and the nodes are likely to need software updates during their lifetime, both for bug fixes a...