878 search results - page 20 / 176 » Interacting Abstract State Machines |
FIW
1997
14 years 11 months ago
1997
Abstract. At the second workshop on feature interactions, we proposed a statebased model for specifying features and proposed reachability-analysis algorithms for detecting various...
Publication
Abstract information refers to information that a user can’t directly obtain just by visualizing the spatial information of objects in a 3D virtual environment (3DVE). This thesi...
76
Voted
JOT
2007
14 years 9 months ago
2007
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...
QSIC
2003
IEEE
15 years 3 months ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
73
Voted
ICTAC
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...