Sciweavers

3938 search results - page 235 / 788
» Interactive Protocols on the Reals
Sort
View
INFOCOM
2005
IEEE
16 years 5 days ago
A QoS-aware AIMD protocol for time-sensitive applications in wired/wireless networks
Abstract— A TCP-friendly Additive Increase and Multiplicative Decrease (AIMD) protocol is proposed to support timesensitive applications in hybrid wired/wireless networks. By ana...
Lin Cai, Xuemin Shen, Jon W. Mark, Jianping Pan
ASIACRYPT
2008
Springer
15 years 8 months ago
A Modular Security Analysis of the TLS Handshake Protocol
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...
Paul Morrissey, Nigel P. Smart, Bogdan Warinschi
SENSYS
2009
ACM
16 years 1 months ago
The case for a network protocol isolation layer
Network protocols are typically designed and tested individually. In practice, however, applications use multiple protocols concurrently. This discrepancy can lead to failures fro...
Jung Il Choi, Maria A. Kazandjieva, Mayank Jain, P...
SMC
2007
IEEE
16 years 26 days ago
A management of mutual belief for human-robot interaction
Abstract— Human-robot collaborative task achievement requires the robot to reason not only about its current beliefs but also about the ones of its human partner. In this paper, ...
Aurélie Clodic, Maxime Ransan, Rachid Alami...
STORYTELLING
2007
Springer
16 years 21 days ago
Automatic Direction of Interactive Storytelling: Formalizing the Game Master Paradigm
Abstract. During the fast evolution of automatic direction of Interactive Digital Storytelling many description of similar ideas have appeared in the academic literature. System ar...
Federico Peinado, Pablo Gervás