3082 search results - page 56 / 617 » Deviation Analysis: A New Use of Model Checking |
192
click to vote
SUTC
2010
IEEE
15 years 10 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 ...
163
click to vote
EDCC
1999
Springer
15 years 10 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...
157
click to vote
SPIN
2009
Springer
16 years 16 days 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...
172
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...
174
click to vote
VMCAI
2009
Springer
16 years 23 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...