382 search results - page 20 / 77 » Rule-based static analysis of network protocol implementatio... |
CN
2008
15 years 1 months ago
2008
The concept of synergy between broadcasting and telecommunication networks has been strengthened by the emergence of multi-modal terminals, which are used in a broadcast environme...
MASCOTS
2007
15 years 3 months ago
2007
Abstract— Opportunistic Networks (ONs) are a newly emerging type of Delay Tolerant Network (DTN) systems that opportunistically exploit unplanned contacts among nodes to share in...
145
click to vote
DSN
2011
IEEE
14 years 1 months ago
2011
IEEE
—Aggressive technology scaling causes chip multiprocessors increasingly error-prone. Core-level faulttolerant approaches bind two cores to implement redundant execution and error...
121
click to vote
ISVC
2010
Springer
15 years 3 days ago
2010
Springer
We extend our previous work on the exploration of static metabolic networks to evolving, and therefore dynamic, pathways. We apply our visualization software to data from a simulat...
102
click to vote
ICDCS
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we present a real-time communication protocol for sensor networks, called SPEED. The protocol provides three types of real-time communication services, namely, real...