6704 search results - page 101 / 1341 » Testing Scenario-Based Models |
116
click to vote
PTS
2007
15 years 3 months ago
2007
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
108
click to vote
ICPR
2008
IEEE
16 years 3 months ago
2008
IEEE
One of disadvantages of Hidden Markov Models (HMMs) is its low resistance to unexpected noises among observation sequences. Unexpected noises in a sequence usually "break&quo...
124
click to vote
DEXAW
2008
IEEE
15 years 4 months ago
2008
IEEE
Validation is an essential part of software development, and testing is a practical and widely used approach. The emerging methodology is model-based testing, in which test cases ...
166
click to vote
LICS
2012
IEEE
13 years 4 months ago
2012
IEEE
—Data trees are trees in which each node, besides carrying a label from a finite alphabet, also carries a data value infinite domain. They have been used as an abstraction mode...
IEEEIAS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...