Sciweavers

1039 search results - page 58 / 208
» The Def-inite Approach to Dependency Analysis
Sort
View
AMR
2007
Springer
139views Multimedia» more  AMR 2007»
15 years 7 months ago
Imagination: Exploiting Link Analysis for Accurate Image Annotation
Abstract. The advent of digital photography calls for effective techniques for managing growing amounts of color images. Systems that only rely on low-level image features are now...
Ilaria Bartolini, Paolo Ciaccia
87
Voted
DSN
2005
IEEE
15 years 7 months ago
Model-Based Failure Analysis of Journaling File Systems
We propose a novel method to measure the dependability of journaling file systems. In our approach, we build models of how journaling file systems must behave under different jo...
Vijayan Prabhakaran, Andrea C. Arpaci-Dusseau, Rem...
WOSP
2005
ACM
15 years 7 months ago
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
Holger Hermanns, David N. Jansen, Yaroslav S. Usen...
MATES
2005
Springer
15 years 7 months ago
LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitati...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...
132
Voted
SCP
2010
123views more  SCP 2010»
14 years 8 months ago
Slicing for architectural analysis
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
Nuno F. Rodrigues, Luís Soares Barbosa