11168 search results - page 311 / 2234 » Abstract State Processes |
230
click to vote
AICT
2006
IEEE
16 years 1 months ago
2006
IEEE
Web Services are becoming the prominent paradigm for distributed computing and electronic businesses. This makes natural the extension of the concepts at the base of the workflow ...
192
click to vote
ASWEC
2009
IEEE
16 years 9 days ago
2009
IEEE
Large, complex and long-lived software need to be upgraded at runtime. Addition, removal and replacement of a software component are the elementary evolution operations that have ...
194
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
180
click to vote
FLAIRS
2008
15 years 9 months ago
2008
We address the problem of computing an optimal value function for Markov decision processes. Since finding this function quickly and accurately requires substantial computation ef...
205
click to vote
WSC
2008
15 years 9 months ago
2008
One of the key challenges to health care access in Canadian hospitals is growing overcrowding of the Emergency Departments (EDs), leading to the medical personnel overload, and th...