2687 search results - page 440 / 538 » Formal Analysis of PKCS |
187
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—A P2PTV system allows users to watch live video streams redistributed by other users via a peer-to-peer (P2P) network. In an ideal world, each peer in a P2P network would be abl...
205
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
275
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper introduces a new model, i.e. state-coupled replicator dynamics, expanding the link between evolutionary game theory and multiagent reinforcement learning to multistate ...
173
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
Serendipity has a long tradition in the history of science as having played a key role in many significant discoveries. Computer scientists, valuing the role of serendipity in dis...
159
click to vote
GROUP
2009
ACM
16 years 1 months ago
2009
ACM
A collaborative system must perform both processing and transmission tasks. We present a policy for scheduling these tasks on a single core that is inspired by studies of human pe...