1362 search results - page 164 / 273 » Model Checking Large Network Protocol Implementations |
157
click to vote
SIGMETRICS
2011
ACM
14 years 6 months ago
2011
ACM
Cloud computing, social networking and information networks (for search, news feeds, etc) are driving interest in the deployment of large data centers. TCP is the dominant Layer 3...
132
click to vote
ICCCN
2007
IEEE
15 years 9 months ago
2007
IEEE
— Low rate DoS attacks are emerging threats to the TCP traffic, and the VoIP traffic in the Internet. They are hard to detect as they intelligently send attack traffic inside the...
137
click to vote
JUCS
2002
15 years 2 months ago
2002
: ATM virtual path (VP) contains bundles of virtual channels (VCs). A VP layer network can be used as a server layer network of VC layer networks and each VC layer network can be a...
151
click to vote
PERCOM
2011
ACM
14 years 7 months ago
2011
ACM
—In this work we study the problem of query privacy in large scale sensor networks. Motivated by a novel trust model in which clients query networks owned by trusted entities but...
118
click to vote
IDA
2003
Springer
15 years 8 months ago
2003
Springer
Because uncertain reasoning is often intractable, it is hard to reason with a large amount of knowledge. One solution to this problem is to specify a set of possible models, some s...