788 search results - page 33 / 158 » Design and use of a system-level specification and verificat... |
148
click to vote
FSTTCS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
155
click to vote
CCR
2004
15 years 6 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
167
click to vote
DATE
1997
IEEE
15 years 10 months ago
1997
IEEE
In modern computer systems the performance is dominated by the memory performance. Currently, there is neither a systematic design methodology nor a tool for the design of memory ...
173
click to vote
ICSOC
2004
Springer
15 years 11 months ago
2004
Springer
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...
143
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...