1393 search results - page 219 / 279 » Virtual-Channel Flow Control |
119
click to vote
ESORICS
2009
Springer
15 years 6 months ago
2009
Springer
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
122
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
This paper studies scalable data delivery algorithms in mobile ad hoc sensor networks with node and link failures. Many algorithms have been developed for data delivery and fusion...
116
click to vote
HYBRID
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
119
click to vote
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we present a series of distributed algorithms for coverage verification in sensor networks with no location information. We demonstrate how, in the absence of locali...
133
Voted
NETWORKING
2008
15 years 3 months ago
2008
Currently emerging standard routing protocols for MANETs do not perform well in presence of malicious nodes that intentionally drop data traffic but otherwise behave correctly with...