507 search results - page 54 / 102 » The relation between protocols and games |
HCI
2007
14 years 11 months ago
2007
State-of-the-art computer graphics can give autonomous agents a compelling appearance as animated virtual characters. Typically the agents are directly responsible for controlling ...
TCS
2008
14 years 9 months ago
2008
We investigate the decidability of observational equivalence and approximation in Reynolds' "Syntactic Control of Interference" (SCI), a prototypical functionalimpe...
TAMODIA
2008
14 years 11 months ago
2008
Abstract. The successful application of ubiquitous computing in crisis management requires a thorough understanding of the mechanisms that extract information from sensors and comm...
STOC
1994
ACM
15 years 1 months ago
1994
ACM
Shannon's Coding Theorem shows that in order to reliably transmit a message of T bits over a noisy communication channel, only a constant slowdown factor is necessary in the ...
CAV
2007
Springer
15 years 1 months ago
2007
Springer
In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) righ...