63 search results - page 13 / 13 » Proving Atomicity: An Assertional Approach |
116
click to vote
ALIFE
2005
14 years 11 months ago
2005
We consider complex systems that are composed of many interacting elements, evolving under some dynamics. We are interested in characterizing the ways in which these elements may b...
105
click to vote
SCP
1998
14 years 11 months ago
1998
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...
PODC
2009
ACM
16 years 5 days ago
2009
ACM
Imitating successful behavior is a natural and frequently applied approach to trust in when facing scenarios for which we have little or no experience upon which we can base our d...