507 search results - page 3 / 102 » The relation between protocols and games |
ISAS
2004
Springer
13 years 10 months ago
2004
Springer
Restart is an application-level mechanism to speed up the completion of tasks that are subject to failures or unpredictable delays. In this paper we investigate if restart can be b...
ATVA
2007
Springer
13 years 11 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
MSWIM
2005
ACM
13 years 11 months ago
2005
ACM
There have been various secure routing protocols proposed for mobile ad hoc networks. Most of these protocols are analyzed by two standard techniques: simulation and security anal...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. The task of verifying the compatibility between interacting web services has traditionally been limited to checking the compatibility of the interaction protocol in terms...
EUROSSC
2008
Springer
13 years 7 months ago
2008
Springer
Augmented tabletop games support players by sensing the context of game figures (i.e., position and/or orientation) and then using this information to display additional game infor...