2631 search results - page 6 / 527 » Less is More |
KBSE
2002
IEEE
14 years 16 days 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
13 years 12 months ago
1999
ACM
SIGUCCS
1993
ACM
13 years 11 months ago
1993
ACM
FLAIRS
2008
13 years 10 months ago
2008
DEXA
2008
Springer
13 years 9 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...