1992 search results - page 159 / 399 » Model Based Testing with Labelled Transition Systems |
125
Voted
FSKD
2006
Springer
15 years 7 months ago
2006
Springer
Information security evaluation of software-intensive systems typically relies heavily on the experience of the security professionals. Obviously, automated approaches are needed ...
136
Voted
MAM
2008
15 years 3 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
111
Voted
ICWL
2009
Springer
15 years 8 months ago
2009
Springer
The authors present an approach for implementing a system for the assessment of medical competences using a haptic simulation device. Based on Competence based Knowledge Space Theo...
108
click to vote
ICDT
2007
ACM
15 years 9 months ago
2007
ACM
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...
126
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Knowledge compilation [6, 5, 14, 8] consists in transforming a problem offline into a form which is tractable online. In this paper, we introduce new structures, based on the notio...