1306 search results - page 120 / 262 » A Diagrammatic Approach to Model Completion |
OTM
2009
Springer
15 years 7 months ago
2009
Springer
When automating work, it is often desirable to compensate completed work by undoing the work done by one or more activities. In the context of workflow, where compensation actions...
100
click to vote
ACSD
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
130
click to vote
WSC
2007
15 years 3 months ago
2007
Simulation of dynamic complex systems—specifically, those comprised of large numbers of components with stochastic behaviors—for the purpose of probabilistic risk assessment f...
109
click to vote
GI
2010
Springer
14 years 10 months ago
2010
Springer
With the advent of collaborative business processes that may include different parties, the interaction means between those processes steadily gains more importance. Despite this i...
106
Voted
ASM
2005
ASM
15 years 6 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...