1992 search results - page 42 / 399 » Model Based Testing with Labelled Transition Systems |
142
click to vote
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
124
click to vote
UML
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
118
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
130
click to vote
WIOPT
2005
IEEE
15 years 8 months ago
2005
IEEE
Using decentralized reputation systems is a promising approach to ensuring cooperation and fairness in Mobile Ad-Hoc Networks. However, they are vulnerable to liars and robustness...
147
Voted
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
In recent years, large databases of natural images have
become increasingly popular in the evaluation of face and
object recognition algorithms. However, Pinto et al. previously
...