1362 search results - page 166 / 273 » Model Checking Large Network Protocol Implementations |
190
click to vote
SIGCOMM
1998
ACM
15 years 7 months ago
1998
ACM
Several recent proposals for an “active networks” architecture advocate the placement of user-defined computation within the network as a key mechanism to enable a wide range...
175
click to vote
ADHOC
2004
15 years 3 months ago
2004
In this paper, we study a new multicast paradigm for large scale mobile ad hoc networks, namely team multicast. In team multicast the multicast group does not consist of individua...
154
click to vote
CONEXT
2009
ACM
15 years 4 months ago
2009
ACM
We consider the problem of traffic management in small networks with both wireless and wired devices, connected to the Internet through a single gateway. Examples of such networks...
165
click to vote
DSOM
1999
Springer
15 years 7 months ago
1999
Springer
The backup of large data sets is preferably performed automatically outside of regular working hours. In highly structured computer networks, however, faults and exceptions may rel...
111
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Digital watermarking is a promising technology to embed copyright information as unperceivable signals in digital contents. Although various watermarking techniques have been empl...