1397 search results - page 95 / 280 » Manufacturing Modeling using Process Nets with Resources |
156
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
146
click to vote
WSC
1997
15 years 5 months ago
1997
This paper gives an overview of business process modeling with SIMPROCESS, its applications, unique features, basic and advanced modeling constructs, and benefits. 1 WHAT IS SIMPR...
182
click to vote
RTAS
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
122
click to vote
COMPLEX
2009
Springer
15 years 11 months ago
2009
Springer
: Development of capital intensive systems, such as offshore oil platforms or other industrial infrastructure, generally requires a significant amount of capital investment under v...
150
click to vote
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...