382 search results - page 55 / 77 » Rule-based static analysis of network protocol implementatio... |
119
Voted
CONEXT
2006
ACM
15 years 10 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...
149
Voted
INFOCOM
2006
IEEE
15 years 10 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...
163
click to vote
BROADNETS
2007
IEEE
15 years 11 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...
142
click to vote
SPAA
2003
ACM
15 years 10 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...
133
click to vote
MOBIDE
1999
ACM
15 years 9 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...