2227 search results - page 253 / 446 » Reversibility and Models for Concurrency |
138
click to vote
COORDINATION
2007
Springer
16 years 6 days ago
2007
Springer
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...
146
click to vote
GPCE
2007
Springer
16 years 6 days ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
185
click to vote
IFM
2005
Springer
15 years 11 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
166
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
168
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
A multi-signature scheme enables a group of signers to produce a compact, joint signature on a common document, and has many potential uses. However, existing schemes impose key s...