1922 search results - page 18 / 385 » Systems biology, models, and concurrency |
EDCC
2010
Springer
15 years 2 months ago
2010
Springer
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
We present the design of a computation engine for a real-time laparoscopic surgery simulator. Since this simulator requires realistic real-time and real-world behaviour, a physica...
CRYPTO
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We present a lower bound on the number of rounds required by Concurrent Zero-Knowledge proofs for languages in NP. It is shown that in the context of Concurrent Zero-Know...
CMSB
2009
Springer
15 years 4 months ago
2009
Springer
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more...
CONCURRENCY
2004
14 years 9 months ago
2004
The heterogeneous and dynamic nature of Grid environments place new demands on models and paradigms for parallel programming. In this work we discuss how ALua, a programming syste...