154 search results - page 10 / 31 » A Formal Semantics for Protocol Narrations |
106
click to vote
ICNP
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
110
click to vote
SAS
1999
Springer
15 years 6 months ago
1999
Springer
ing Cryptographic Protocols with Tree Automata David Monniaux http://www.di.ens.fr/%7Fmonniaux, Laboratoire d’Informatique, ´Ecole Normale Sup´erieure, 45 rue d’Ulm , 75230 P...
FM
2005
Springer
15 years 7 months ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
148
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
102
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...