1992 search results - page 120 / 399 » Model Based Testing with Labelled Transition Systems |
120
click to vote
CAV
2001
Springer
15 years 7 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
150
click to vote
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
133
click to vote
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
122
click to vote
CCS
2004
ACM
15 years 8 months ago
2004
ACM
Misuse-based intrusion detection systems rely on models of attacks to identify the manifestation of intrusive behavior. Therefore, the ability of these systems to reliably detect ...
113
Voted
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
We formulate a layered model for object detection and multi-class segmentation. Our system uses the output of a bank of object detectors in order to define shape priors for suppo...