759 search results - page 67 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
DSN
2005
IEEE
14 years 2 months ago
2005
IEEE
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...
ECCV
2004
Springer
14 years 2 months ago
2004
Springer
An automatic tool is developed to identify microbiological data types using computer-vision and statistical modeling techniques. In bacteriophage (phage) typing, representative pro...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—Many systems employ caches to improve performance. While isolated caches have been studied in-depth, multicache systems are not well understood, especially in networks w...
NAACL
2003
13 years 10 months ago
2003
We introduce two probabilistic models that can be used to identify elementary discourse units and build sentence-level discourse parse trees. The models use syntactic and lexical ...
CHARME
2005
Springer
14 years 2 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...