DSN
2009
IEEE
14 years 6 months ago
2009
IEEE
Fault-tolerant architectures based on physical replication of components are vulnerable to faults that cause the same effect in all replica. Short outages in a power supply shared...
DSN
2009
IEEE
14 years 6 months ago
2009
IEEE
DSN
2009
IEEE
14 years 6 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
DSN
2009
IEEE
14 years 6 months ago
2009
IEEE
Recently, peer-to-peer (P2P) networks have emerged as a covert communication platform for malicious programs known as bots. As popular distributed systems, they allow bots to comm...
DSN
2009
IEEE
14 years 6 months ago
2009
IEEE
The use of mobile devices is limited by the battery lifetime. Some devices have the option to connect an extra battery, or to use smart battery-packs with multiple cells to extend...
DSN
2009
IEEE
14 years 6 months ago
2009
IEEE
The OSGi framework is a Java-based, centralized, component oriented platform. It is being widely adopted as an execution environment for the development of extensible applications...
DSN
2009
IEEE
14 years 6 months ago
2009
IEEE
Decomposition is used to manage system complexity, but is problematic for emergent properties such as system safety. Previously, we introduced Indirect Control Path Analysis (ICPA...
DSN
2009
IEEE
14 years 6 months ago
2009
IEEE
Although server technology provides a means to support a wide range of online services and applications, their ad-hoc configuration poses significant challenges to the performan...
DSN
2009
IEEE
14 years 6 months ago
2009
IEEE
Log preprocessing, a process applied on the raw log before applying a predictive method, is of paramount importance to failure prediction and diagnosis. While existing filtering ...
DSN
2009
IEEE
14 years 6 months ago
2009
IEEE
Topological worms, such as those that propagate by following links in an overlay network, have the potential to spread faster than traditional random scanning worms because they h...