3161 search results - page 94 / 633 » A Discourse on Complexity of Process Models |
103
click to vote
JLP
2006
15 years 3 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
110
click to vote
BPM
2009
Springer
15 years 9 months ago
2009
Springer
The goal of Process Mining is to extract process models from logs of a system. Among the possible models to represent a process, Petri nets is an ideal candidate due to its graphic...
108
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper, invariant sonar texture characterization for seabed classification is addressed from the spatial distribution of image keypoints using log-Gaussian Cox processes. ...
133
click to vote
ICECCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Our approach to the model-driven collaborative design of workflows for bioinformatic applications uses the jABC [6] for model driven mediation and choreography to comp...
134
click to vote
RTSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Real-time systems are growing in complexity and realtime and soft real-time applications are becoming common in general-purpose computing environments. Thus, there is a growing ne...