8928 search results - page 423 / 1786 » Modeling Current Events |
155
Voted
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
The autonomic workflow engine enables workflow to be dynamically specified and adapted using Event-Condition-Action rules. A new approach to autonomic execution of workflow process...
144
click to vote
ISIPTA
2005
IEEE
15 years 10 months ago
2005
IEEE
This papers investigates the computation of lower/upper expectations that must cohere with a collection of probabilistic assessments and a collection of judgements of epistemic in...
118
Voted
APN
2005
Springer
15 years 10 months ago
2005
Springer
In the framework of the study and analysis of new flight procedures, we propose a new Petri net-based formalism to represent both continuous and discrete evolutions and uncertaint...
127
Voted
EPEW
2005
Springer
15 years 10 months ago
2005
Springer
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...
121
click to vote
ISCIS
2004
Springer
15 years 10 months ago
2004
Springer
Partial order methods, such as the stubborn set method and the priority method, reduce verification effort by exploiting irrelevant orders of events. We show how the stubborn set...