454 search results - page 71 / 91 » Modeling and analysis of multi-agent systems using petri net... |
170
click to vote
COORDINATION
2006
Springer
15 years 7 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...
205
click to vote
TCSB
2010
15 years 2 months ago
2010
Biomodel engineering is the science of designing, constructing and analyzing computational models of biological systems. It forms a systematic and powerful extension of earlier mat...
129
click to vote
PKDD
2010
Springer
15 years 2 months 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...
197
click to vote
BDIM
2008
IEEE
15 years 10 months ago
2008
IEEE
—Knowing the dependencies among computing assets and services provides insights into the computing and business landscape, therefore, facilitating low-risk timely changes in supp...
123
click to vote
BPM
2009
Springer
15 years 10 months ago
2009
Springer
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and o...