687 search results - page 26 / 138 » Specification and Verification of Model Transformations Usin... |
101
Voted
ACTA
2006
15 years 16 days ago
2006
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
88
Voted
FORMATS
2004
Springer
15 years 4 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
134
click to vote
AMAST
2004
Springer
15 years 4 months ago
2004
Springer
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
103
click to vote
IEE
2007
15 years 12 days ago
2007
Software development techniques are continuously evolving with the goal of solving the main problems that still affect the building and maintenance of software systems: time, cost...
83
Voted
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...