507 search results - page 78 / 102 » The relation between protocols and games |
EMSOFT
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
SIGMETRICS
1998
ACM
14 years 9 months ago
1998
ACM
We discuss the problem of detecting errors in measurements of the total delay experienced by packets transmitted through a wide-area network. We assume that we have measurements o...
JFP
2010
14 years 8 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
AQUILEIA
2011
13 years 9 months ago
2011
Abstract. Integrated remote sensing and geophysical methods can provide detailed information about buried cultural heritage. We implemented an integrated survey protocol (IREGA, In...
CEC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Fingerprinting is a technique that permits automatic classification of strategies for playing a game. In this study the evolution of strategies for playing the iterate...