Sciweavers

2227 search results - page 264 / 446
» Reversibility and Models for Concurrency
Sort
View
WECWIS
2003
IEEE
82views ECommerce» more  WECWIS 2003»
14 years 4 months ago
Property Propagation Rules for Prioritizing and Synchronizing Trading Activities
With the growing number of marketplaces and trading partners in the e–commerce environment, software tools designed to act on behalf of human traders are increasingly used to au...
Yain-Whar Si, David Edmond, Arthur H. M. ter Hofst...
CRYPTO
2001
Springer
153views Cryptology» more  CRYPTO 2001»
14 years 3 months ago
Universally Composable Commitments
d Abstract) Ran Canetti and Marc Fischlin Abstract. We propose a new security measure for commitment protocols, called Universally Composable (UC) Commitment. The measure guarantee...
Ran Canetti, Marc Fischlin
WDAG
1994
Springer
104views Algorithms» more  WDAG 1994»
14 years 2 months ago
Fast Increment Registers
We give an optimal, wait-free implementation of an increment register. An increment register is a concurrent object consisting of an integer-valued register with an increment oper...
Soma Chaudhuri, Mark R. Tuttle
ATAL
2010
Springer
13 years 12 months ago
Agent interaction, multiple perspectives, and swarming simulation
Agents in a multi-agent system do not act in a vacuum. The outcome of their efforts depends on the environment in which they seek to act, and in particular on the efforts of other...
H. Van Dyke Parunak, Robert Bisson, Sven A. Brueck...
ENTCS
2006
115views more  ENTCS 2006»
13 years 10 months ago
Distributed Reactive XML
XML-centric models of computation have been proposed as an answer to the demand for interoperability, heterogeneity and openness in coordination models. We present a prototype imp...
Thomas T. Hildebrandt, Henning Niss, Martin Olsen,...