780 search results - page 4 / 156 » Correctness of Component-Based Adaptation |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
ASIAN
2006
Springer
13 years 11 months ago
2006
Springer
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
ICSR
2009
Springer
13 years 5 months ago
2009
Springer
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...
IEEEARES
2006
IEEE
14 years 1 months ago
2006
IEEE
The raising need for e-government applications leads to many new approaches in this sector. To fulfill the requirement for a flexible government-to-government (G2G) software sys...
CIMCA
2008
IEEE
14 years 2 months ago
2008
IEEE
An early prediction of resource utilization and its impact on system performance and reliability can reduce the overall system cost, by allowing early correction of detected probl...