592 search results - page 18 / 119 » Can Component Service-Based Systems Be Proved Correct |
122
Voted
ISSS
2000
IEEE
15 years 7 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
137
Voted
RTAS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper we propose a dynamic constraint transformation technique for ensuring timing requirements in a distributed real-time system possessing periodically synchronized dist...
111
click to vote
ICTAC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A software program requesting a resource that is not available usually raises an out-of-resource exception. Component software is software that has been assembled from st...
129
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
Reusable components equipped with strict guarantees of quality can help reestablish software development on a stronger footing, by taking advantage of the scaling effect of reuse ...
138
click to vote
EDO
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....