1992 search results - page 102 / 399 » Model Based Testing with Labelled Transition Systems |
108
Voted
ACSD
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
120
Voted
BMVC
1998
15 years 4 months ago
1998
The segmentation of pixels belonging to different moving elements within a cinematographic image sequence underpins a range of post-production special effects. In this work, the s...
119
click to vote
TAP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
122
click to vote
CSSC
2008
15 years 3 months ago
2008
Common software release procedures based on statistical techniques try to optimise the trade-off between further testing costs and costs due to remaining errors. We propose new so...
230
click to vote
VLDB
2008
ACM
16 years 3 months ago
2008
ACM
Abstract In this article, we present a comprehensive approach for privacy preserving access control based on the notion of purpose. In our model, purpose information associated wit...