126 search results - page 20 / 26 » A Model Checking Approach to Protocol Conversion |
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Although mental states have its own place in the definition of message semantics, social commitments have emerged as a complementing element to circumvent the limitations of usin...
FOSSACS
2001
Springer
14 years 1 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
ICALP
2010
Springer
13 years 10 months ago
2010
Springer
d Abstract) Benny Applebaum1 , Yuval Ishai2 , and Eyal Kushilevitz3 1 Computer Science Department, Weizmann Institute of Science 2 Computer Science Department, Technion and UCLA 3 ...
CIA
2004
Springer
14 years 2 months ago
2004
Springer
We are investigating how to provide intelligent, pervasive support of group of people within so-called “smart environments”. Our current main assumption, based on literature in...