359 search results - page 18 / 72 » Modeling Consensus in a Process Calculus |
DC
2007
13 years 10 months ago
2007
Abstract Many reliable distributed systems are consensusbased and typically operate under two modes: a fast normal mode in failure-free synchronous periods, and a slower recovery m...
LBM
2007
13 years 11 months ago
2007
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the comput...
SSS
2007
Springer
14 years 4 months ago
2007
Springer
We present a modular redesign of TrustedPals, a smartcard-based security framework for solving secure multiparty computation (SMC)[?]. TrustedPals allows to reduce SMC to the probl...
BMCBI
2007
2007
A high-accuracy consensus map of yeast protein complexes reveals modular nature of gene essentiality
13 years 10 months ago
Background: Identifying all protein complexes in an organism is a major goal of systems biology. In the past 18 months, the results of two genome-scale tandem affinity purificatio...
COORDINATION
2006
Springer
14 years 1 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...