2687 search results - page 440 / 538 » Formal Analysis of PKCS |
170
click to vote
INFOCOM
2009
IEEE
16 years 22 days 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...
191
Voted
TPHOL
2009
IEEE
16 years 22 days 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...
254
click to vote
ATAL
2009
Springer
16 years 20 days 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 ...
154
click to vote
CANDC
2009
ACM
16 years 18 days 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...
133
Voted
GROUP
2009
ACM
16 years 18 days 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...