3082 search results - page 56 / 617 » Deviation Analysis: A New Use of Model Checking |
181
click to vote
SUTC
2010
IEEE
15 years 9 months ago
2010
IEEE
— Extensive research has been performed to study selfish data caching in ad hoc networks using game-theoretic analysis. However, due to the caching problem’s theoretical root ...
158
click to vote
EDCC
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...
150
click to vote
SPIN
2009
Springer
16 years 14 hour ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
161
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we introduce a new task model that is specifically targeted towards representing stream processing applications. Examples of such applications are those involved in...
166
click to vote
VMCAI
2009
Springer
16 years 7 days ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...