2838 search results - page 372 / 568 » Verifying Controlled Components |
100
click to vote
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
Frameworks and libraries change their APIs during evolution. Migrating an application to the new API is tedious and disrupts the development process. Although some tools and techn...
SSS
2005
Springer
15 years 6 months ago
2005
Springer
This work presents several approaches for designing the memory management component of self stabilizing operating systems. We state the requirements which a memory manager should ...
84
Voted
VIZSEC
2005
Springer
15 years 6 months ago
2005
Springer
We have designed an interactive visualization framework for the automated trust negotiation (ATN) protocol and we have implemented a prototype of the visualizer in Java. This fram...
91
Voted
CF
2004
ACM
15 years 6 months ago
2004
ACM
This paper presents a fault tolerant design technique for the clockless wave pipeline. The specific architectural model investigated in this paper is the two-phase clockless asyn...
100
click to vote
ISSTA
2004
ACM
15 years 6 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...