2891 search results - page 6 / 579 » More or Less Elaborate |
VRML
2005
ACM
15 years 3 months ago
2005
ACM
KBSE
2002
IEEE
15 years 2 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
VRML
1999
ACM
15 years 2 months ago
1999
ACM
SIGUCCS
1993
ACM
15 years 2 months ago
1993
ACM
DEXA
2008
Springer
14 years 11 months ago
2008
Springer
Recently, a variety of workflow patterns has been proposed focusing on specific aspects like control flow, data flow, and resource assignments. Though these patterns are relevant f...