963 search results - page 110 / 193 » Formal Analysis of BPMN Models Using Event-B |
124
click to vote
AMI
2008
Springer
15 years 3 months ago
2008
Springer
For an ambient intelligent agent to support a human in demanding tasks it is important to be aware of the progress made in a given workflow. It would be possible to interact with t...
117
click to vote
WSC
2004
15 years 2 months ago
2004
Stochastic Petri nets (SPNs) have proven to be a powerful and enduring graphically-oriented framework for modelling and performance analysis of complex systems. This tutorial focu...
119
click to vote
ACRI
2006
Springer
15 years 7 months ago
2006
Springer
Robotic systems are usually built as independent agents that collaborate to accomplish a specific task. Analysis of robot path planning consists of route planning and path generati...
125
click to vote
DSVIS
1997
Springer
15 years 5 months ago
1997
Springer
Much of the work reported in the first three DSVIS conferences has concentrated on techniques and languages for specifying and developing interactive systems. In this paper, we ar...
JLP
2006
15 years 1 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 ...