Sciweavers

DSN
2009
IEEE
14 years 15 days ago
Dependability in the cloud: Challenges and opportunities
Kaustubh R. Joshi, Guy Bunker, Farnam Jahanian, Aa...
DSN
2009
IEEE
14 years 15 days ago
Fitness-guided path exploration in dynamic symbolic execution
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...
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wo...
DSN
2009
IEEE
14 years 15 days ago
On the effectiveness of structural detection and defense against P2P-based botnets
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...
Duc T. Ha, Guanhua Yan, Stephan Eidenbenz, Hung Q....
DSN
2009
IEEE
14 years 15 days ago
Maximizing system lifetime by battery scheduling
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...
Marijn R. Jongerden, Boudewijn R. Haverkort, Henri...
DSN
2009
IEEE
14 years 15 days ago
I-JVM: a Java Virtual Machine for component isolation in OSGi
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...
Nicolas Geoffray, Gaël Thomas, Gilles Muller,...
DSN
2009
IEEE
14 years 15 days ago
System safety as an emergent property in composite systems
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...
Jennifer Black, Philip Koopman
DSN
2009
IEEE
14 years 15 days ago
Fluid modeling and control for server system performance and availability
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...
Luc Malrait, Sara Bouchenak, Nicolas Marchand
DSN
2009
IEEE
14 years 15 days ago
System log pre-processing to improve failure prediction
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 ...
Ziming Zheng, Zhiling Lan, Byung-Hoon Park, Al Gei...
DSN
2009
IEEE
14 years 15 days ago
Verme: Worm containment in overlay networks
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...
Filipe Freitas, Edgar Marques, Rodrigo Rodrigues, ...
DSN
2009
IEEE
14 years 15 days ago
Data management mechanisms for embedded system gateways
It is becoming increasingly common to connect traditional embedded system networks to the Internet for remote monitoring, high-level control and integration. It is necessary to pr...
Justin Ray, Philip Koopman