3082 search results - page 73 / 617 » Deviation Analysis: A New Use of Model Checking |
186
Voted
SIGGRAPH
1996
ACM
15 years 9 months ago
1996
ACM
We present a new approach for modeling and rendering existing architectural scenes from a sparse set of still photographs. Our modeling approach, which combines both geometry-base...
160
click to vote
NIPS
2003
15 years 7 months ago
2003
We present an analysis of concentration-of-expectation phenomena in layered Bayesian networks that use generalized linear models as the local conditional probabilities. This frame...
178
click to vote
SMI
2010
IEEE
15 years 3 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
140
click to vote
ADAEUROPE
2003
Springer
15 years 9 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
139
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...