648 search results - page 108 / 130 » The GCHQ Protocol and Its Problems |
WEBDB
1998
Springer
15 years 3 months ago
1998
Springer
In its infancy, the World-Wide Web consisted of a web of largely static hypertext documents. As time progresses it is evolving into a domain which supports almost arbitrary network...
COMMA
2006
15 years 1 months ago
2006
In order for one agent to meet its goals, it will often need to influence another to act on its behalf, particularly in a society in which agents have heterogenous sets of abilitie...
SOSP
1997
ACM
15 years 1 months ago
1997
ACM
Implementing new operating systems is tedious, costly, and often impractical except for large projects. The Flux OSKit addresses this problem in a novel way by providing clean, we...
123
click to vote
CL
2007
Springer
14 years 11 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
109
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
Learning to converge to an efficient, i.e., Pareto-optimal Nash equilibrium of the repeated game is an open problem in multiagent learning. Our goal is to facilitate the learning ...