FMCO
2003
Springer
14 years 4 months ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
PG
2003
IEEE
14 years 4 months ago
2003
IEEE
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
RE
2004
Springer
14 years 4 months ago
2004
Springer
There has been significant recent interest, within the Aspect-Oriented Software Development (AOSD) community, in representing crosscutting concerns at various stages of the softwa...
ASM
2005
ASM
14 years 5 months ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
VL
2005
IEEE
14 years 5 months ago
2005
IEEE
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...
ICSEA
2006
IEEE
14 years 5 months ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
ICRA
2007
IEEE
14 years 5 months ago
2007
IEEE
— Hierarchical state machines have proven to be a powerful tool for controlling autonomous robots due to their flexibility and modularity. For most real robot implementations, h...
COMPSAC
2007
IEEE
14 years 5 months ago
2007
IEEE
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...
ASWEC
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
MODELS
2009
Springer
14 years 6 months ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...