394 search results - page 56 / 79 » Network-Based Problem Detection for Distributed Systems |
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
COGSR
2011
13 years 2 months ago
2011
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
NDSS
2002
IEEE
14 years 19 days ago
2002
IEEE
Pushback is a mechanism for defending against distributed denial-of-service (DDoS) attacks. DDoS attacks are treated as a congestion-control problem, but because most such congest...
HPDC
2006
IEEE
14 years 1 months ago
2006
IEEE
Replication is a technique commonly used to increase the availability of services in distributed systems, including grid and web services. While replication is relatively easy for...
CONCUR
2000
Springer
14 years 2 days ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...