1992 search results - page 182 / 399 » Model Based Testing with Labelled Transition Systems |
119
click to vote
FUIN
2008
15 years 3 months ago
2008
Abstract. Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails...
161
click to vote
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...
182
Voted
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
We describe a learning based method for recovering 3D human body pose from single images and monocular image sequences. Our approach requires neither an explicit body model nor pr...
112
click to vote
FSKD
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we develop a security design metric that can be used at system design time to build more secure systems. This metric is based on the system-wide approach and adopt a...
155
click to vote
TACAS
2001
Springer
15 years 8 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...