1992 search results - page 98 / 399 » Model Based Testing with Labelled Transition Systems |
110
click to vote
JCIT
2008
15 years 3 months ago
2008
Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditi...
110
click to vote
IFIP
2009
Springer
15 years 9 months ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
100
click to vote
VL
1999
IEEE
15 years 7 months ago
1999
IEEE
Recently a new metaphor for diagramming, the intelligent diagram has emerged. This new metaphor provides an excellent basis for diagram beautification since it automatically colle...
128
click to vote
ERLANG
2008
ACM
15 years 5 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
122
click to vote
CORR
1999
Springer
15 years 2 months ago
1999
Springer
We present a technique for automatic induction of slot annotations for subcategorization frames, based on induction of hidden classes in the EM framework of statistical estimation...