10682 search results - page 265 / 2137 » A Graph Based Process Representation for Process Modeling |
120
click to vote
ICECCS
2006
IEEE
15 years 8 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...
150
click to vote
COORDINATION
2006
Springer
15 years 5 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
107
click to vote
IASTEDSE
2004
15 years 3 months ago
2004
This paper presents a development process with particular focus on non-functional properties. The process is built around the concept of measurements at different levels of abstra...
128
click to vote
AI
2008
Springer
15 years 2 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
110
click to vote
PKDD
2010
Springer
15 years 10 days ago
2010
Springer
Mining Meets Abstract Interpretation J. Carmona and J. Cortadella Universitat Polit`ecnica de Catalunya, Spain The discovery of process models out of system traces is a problem tha...