5326 search results - page 440 / 1066 » On what we can ensure |
223
click to vote
KBSE
2006
IEEE
16 years 27 days ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
144
click to vote
DATE
2005
IEEE
16 years 15 days ago
2005
IEEE
We discuss the problem of Concurrent Error Detection (CED) in a popular class of asynchronous controllers, namely Burst-Mode machines. We first outline the particularities of the...
182
click to vote
SEMWEB
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Coordination is the process of managing the possible interactions between activities and processes; a mechanism to handle such interactions is known as a coordination reg...
202
click to vote
WER
2004
Springer
16 years 7 days ago
2004
Springer
If we are to be successful in the development of the next generation of agent oriented systems we must deal with the critical issue of requirements traceability. Failure to do so w...
173
click to vote
DSN
2002
IEEE
15 years 12 months ago
2002
IEEE
Designing applications with timeliness requirements in environments of uncertain synchrony is known to be a difficult problem. In this paper, we follow the perspective of timing ...