2227 search results - page 228 / 446 » Reversibility and Models for Concurrency |
DSL
1997
15 years 2 months ago
1997
The World-Wide Web is rich in content and services, but access to these resources must be obtained mostly through manual browsers. We would like to be able to write programs that ...
97
Voted
PROCOMET
1998
15 years 2 months ago
1998
We develop a theory of bisimulations in the join-calculus. We introduce a refined operational model that makes interactions with the environment explicit, and discuss the impact o...
106
Voted
WSC
1998
15 years 2 months ago
1998
This study details the synergistic application of ergonomic analysis, discrete-process simulation, and statistical analysis to the problems of determining the optimum design for a...
WSC
1997
15 years 1 months ago
1997
A new scheme for interactively testing what-if and alternative scenarios in parallel simulations is presented. Potential branches or choices can be specified interactively and in...
104
Voted
TAAS
2008
15 years 16 days ago
2008
characterization of indulgence in an abstract computing model that encompasses various communication and resilience schemes. We use our characterization to establish several result...