780 search results - page 5 / 156 » Correctness of Component-Based Adaptation |
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
HASE
2002
IEEE
14 years 19 days ago
2002
IEEE
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
OTM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The creation of distributed applications requires sophisticated compositions, as various components — supporting application logic or non-functional requirements — mu...
IEEEPACT
2007
IEEE
14 years 2 months ago
2007
IEEE
The allocation of lock objects to critical sections in concurrent programs affects both performance and correctness. Recent work explores automatic lock allocation, aiming primari...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...