8928 search results - page 423 / 1786 » Modeling Current Events |
200
click to vote
ICCS
2007
Springer
16 years 28 days 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...
174
click to vote
ISIPTA
2005
IEEE
16 years 11 days 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...
149
click to vote
APN
2005
Springer
16 years 9 days 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...
161
click to vote
EPEW
2005
Springer
16 years 9 days 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...
151
click to vote
ISCIS
2004
Springer
16 years 4 days 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...