1362 search results - page 187 / 273 » Model Checking Large Network Protocol Implementations |
158
click to vote
FAST
2007
15 years 4 months ago
2007
Data ONTAP GX is a clustered Network Attached File server composed of a number of cooperating filers. Each filer manages its own local file system, which consists of a number of d...
124
click to vote
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper is on the construction of a fault-tolerant and responsive server subsystem in an application context where the subsystem is accessed through an asynchronous network by ...
128
click to vote
CCS
2011
ACM
14 years 3 months ago
2011
ACM
A significant and growing class of location-based mobile applications aggregate position data from individual devices at a server and compute aggregate statistics over these posi...
150
click to vote
MOBICOM
2004
ACM
15 years 8 months ago
2004
ACM
Significant progress has been made towards making ad hoc networks secure and DoS resilient. However, little attention has been focused on quantifying DoS resilience: Do ad hoc ne...
152
click to vote
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
We consider extending decision support facilities toward large sophisticated networks, upon which multidimensional attributes are associated with network entities, thereby forming...