7288 search results - page 39 / 1458 » On process rate semantics |
113
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The vision of semantic business processes is to enable the integration and inter-operability of business processes across organizational boundaries. Since different orga...
146
click to vote
MKWI
2008
15 years 5 months ago
2008
: Semantic Business Process Management (SBPM) enhances BPM with semantic technologies in order to increase the degree of automation in the BPM lifecycle and help in bridging the ga...
120
click to vote
AUTOMATICA
2005
15 years 4 months ago
2005
In this paper we consider a failure prone, single machine, single part-type, limited inventory, manufacturing system subject to a non-homogeneous Markov failure/repair process wit...
153
click to vote
CONCUR
2001
Springer
15 years 9 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
123
click to vote
MKWI
2008
15 years 5 months ago
2008
: Process modelling has proved to be a powerful instrument to describe and manage the increasingly complex processes within and across enterprises. Yet, it requires a significant a...