Sciweavers

3938 search results - page 117 / 788
» Interactive Protocols on the Reals
Sort
View
102
Voted
SP
1998
IEEE
116views Security Privacy» more  SP 1998»
15 years 5 months ago
Strand Spaces: Why is a Security Protocol Correct?
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
F. Javier Thayer, Jonathan C. Herzog, Joshua D. Gu...
83
Voted
SIAMCOMP
2010
97views more  SIAMCOMP 2010»
14 years 11 months ago
Designing Network Protocols for Good Equilibria
Designing and deploying a network protocol determines the rules by which end users interact with each other and with the network. We consider the problem of designing a protocol t...
Ho-Lin Chen, Tim Roughgarden, Gregory Valiant
ATAL
2005
Springer
15 years 6 months ago
Protocol synthesis with dialogue structure theory
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
Jarred McGinnis, David Robertson, Christopher Walt...
SEM
2004
Springer
15 years 6 months ago
Service Discovery Protocol Interoperability in the Mobile Environment
The emergence of portable computers and wireless technologies has introduced new challenges for middleware. Mobility brings new requirements and is becoming a key characteristic. M...
Yérom-David Bromberg, Valérie Issarn...
TIDSE
2004
Springer
15 years 6 months ago
Transferring Game Mastering Laws to Interactive Digital Storytelling
The Interactive Dilemma is the inevitable conflict between author’s determinism and interactor’s freedom. There are some approaches that try to tackle it, using strategies and...
Federico Peinado, Pablo Gervás