2747 search results - page 256 / 550 » Network externalities in software systems |
101
click to vote
ISPASS
2009
IEEE
15 years 7 months ago
2009
IEEE
Modern network devices employ deep packet inspection to enable sophisticated services such as intrusion detection, traffic shaping, and load balancing. At the heart of such servi...
115
click to vote
DEBS
2011
ACM
14 years 4 months ago
2011
ACM
When it comes to reliability in distributed publish/subscribe systems, there are two main categories of systems: reliable systems and best-effort systems. The former category giv...
87
Voted
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
— Wireless community networks, where users share wireless bandwidth is attracting tremendous interest from academia and industry. Companies such as FON have been successful in at...
106
Voted
DSN
2006
IEEE
15 years 6 months ago
2006
IEEE
The Solaris 10 Operating System includes a number of new features for predictive self-healing. One such feature is the ability of the Fault Management software to diagnose memory ...
DSN
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...