2556 search results - page 40 / 512 » The Triconnected Abstraction of Process Models |
115
click to vote
GCC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Due to the complexity and uncertainties, the engineering process requires dynamic collaborations among the heterogeneous systems and human interactions. In this paper, we...
135
click to vote
DMSN
2007
ACM
15 years 5 months ago
2007
ACM
Many sensor network applications monitor continuous phenomena by sampling, and fit time-varying models that capture the phenomena's behaviors. We introduce Pulse, a framework...
120
click to vote
CSL
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
130
click to vote
MODELS
2010
Springer
15 years 12 days ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
130
click to vote
AC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...