Sciweavers

647 search results - page 81 / 130
» Supporting Changes in Structure in Causal Model Construction
Sort
View
PODC
2009
ACM
14 years 8 months ago
Max registers, counters, and monotone circuits
A method is given for constructing a max register, a linearizable, wait-free concurrent data structure that supports a write operation and a read operation that returns the larges...
James Aspnes, Hagit Attiya, Keren Censor
POPL
1995
ACM
13 years 11 months ago
Default Timed Concurrent Constraint Programming
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
CIKM
1994
Springer
13 years 12 months ago
Analytical Version Control Management in a Hypertext System
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...
Antonina Dattolo, Antonio Gisolfi
JUCS
2008
137views more  JUCS 2008»
13 years 7 months ago
Context-Oriented Programming with the Ambient Object System
In this paper we present AmOS, the Ambient Object System that underlies the Ambience programming language. AmOS implements a computation model that supports highly dynamic behaviou...
Sebastián González, Kim Mens, Alfred...
HICSS
2006
IEEE
89views Biometrics» more  HICSS 2006»
14 years 1 months ago
Towards Creative Environments: Conclusions from Creative Space
In recent papers and a book [1], [2], we have investigated diverse types of knowledge creation processes based on the concept of Creative Space (a metamodel of knowledge creation ...
Andrzej P. Wierzbicki, Yoshiteru Nakamori