2786 search results - page 82 / 558 » A Practical Technique for Process Abstraction |
133
click to vote
IFM
2010
Springer
15 years 3 days ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
BPM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Reference process models capture common practices in a given domain and variations thereof. Such models are intended to be configured in a specific setting, leading to in...
106
click to vote
ISPW
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract. Explicitly defining a software process model is widely recognized as a good software engineering practice. However, having a defined process does not necessarily mean tha...
109
click to vote
ISPASS
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— Network processing is becoming an increasingly important paradigm as the Internet moves towards an architecture with more complex functionality inside the network. Mode...
114
click to vote
ADBIS
2009
Springer
15 years 8 months ago
2009
Springer
The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiting times f...