382 search results - page 55 / 77 » Rule-based static analysis of network protocol implementatio... |
CONEXT
2006
ACM
15 years 7 months ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
129
click to vote
INFOCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— Providing end-to-end data security, i.e., data confidentiality, authenticity, and availability, in wireless sensor networks (WSNs) is a non-trivial task. In addition t...
132
click to vote
BROADNETS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Limited resources and time-varying nature of wireless ad hoc networks demand optimized use of resources across layers. Cross-layer optimization (CLO) for wireless netwo...
113
click to vote
SPAA
2003
ACM
15 years 7 months ago
2003
ACM
In this paper we consider the problem of routing packets to a single destination in a dynamically changing network, where both the network and the packet injections are under adve...
109
click to vote
MOBIDE
1999
ACM
15 years 6 months ago
1999
ACM
Mobile applications increasingly require transaction-like properties, particularly those of recovery. Because there is a lack of abstractions to decompose the machinery of recover...