276 search results - page 47 / 56 » Model Checking Groupware Protocols |
JSA
2006
13 years 10 months ago
2006
Data-shipping systems that allow inter-transaction caching raise the need of a transactional cache consistency maintenance (CCM) protocol because each client is able to cache a po...
ISCA
2012
IEEE
12 years 24 days ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
SIGSOFT
2005
ACM
14 years 11 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...
ICEIS
2008
IEEE
14 years 4 months ago
2008
IEEE
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
MMMACNS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...