3082 search results - page 121 / 617 » Deviation Analysis: A New Use of Model Checking |
212
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
149
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
Techniques for informationhidinghave become increasingly more sophisticated and widespread. With high-resolution digital images as carriers, detecting hidden messages has become c...
141
click to vote
PE
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we present a new approach to derive heavy-traffic asymptotics for polling models. We consider the classical cyclic polling model with exhaustive or gated service at ...
157
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
Use-cases often capture the expected behaviors of a system and its components. During requirements analysis, it is important to understand and model the relationship among differe...
172
click to vote
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...