Sciweavers

932 search results - page 30 / 187
» Design and Implementation of a Library of Network Protocols ...
Sort
View
CSFW
2007
IEEE
14 years 2 months ago
Secure Implementations for Typed Session Abstractions
mplementations for Typed Session Abstractions Ricardo Corin1,2,3 Pierre-Malo Deni´elou1,2 C´edric Fournet1,2 Karthikeyan Bhargavan1,2 James Leifer1 1 MSR-INRIA Joint Centre 2 Mic...
Ricardo Corin, Pierre-Malo Deniélou, C&eacu...
POPL
2006
ACM
14 years 8 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
MM
2004
ACM
97views Multimedia» more  MM 2004»
14 years 1 months ago
Range multicast routers for large-scale deployment of multimedia application
In this paper, we present the Range Multicast protocol and the implemented prototype. We propose to demonstrate the system at the 2004 ACM Multimedia Conference. Categories and Su...
Ning Jiang, Yao Hua Ho, Kien A. Hua
IJSNET
2008
113views more  IJSNET 2008»
13 years 8 months ago
Reservation-based protocol for monitoring applications using IEEE 802.15.4 sensor networks
: The IEEE 802.15.4 and Zigbee are protocols aimed at low-duty and low-power wireless sensor networks. Continuously monitoring applications such as applications of structural healt...
Vidya Krishnamurthy, Edward Sazonov
CONEXT
2005
ACM
13 years 10 months ago
Modeling, simulation, and emulation of QoS oriented transport mechanisms
The design and development process of communication protocols and real-time systems and particularly transport protocol mechanisms requires adequate methodology and efficient ins...
Guillaume Jourjon, Ernesto Exposito, Laurent Daira...