Sciweavers

4356 search results - page 367 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
GI
2009
Springer
15 years 11 months ago
Constraint Functional Multicore Programming
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
Petra Hofstedt, Florian Lorenzen
CHI
1999
ACM
15 years 11 months ago
Chat Circles
Although current online chat environments provide new opportunities for communication, they are quite constrained in their ability to convey many important pieces of social inform...
Fernanda B. Viégas, Judith S. Donath
E4MAS
2006
Springer
15 years 10 months ago
Environment as Active Support of Interaction
Indirect interactions have been shown to be of interest in MultiAgent Systems (MAS), in the simulation area as well as in real apns. The environment is also emerging as a first-ord...
Julien Saunier, Flavien Balbo, Fabien Badeig
AMAST
2008
Springer
15 years 8 months ago
Simulation Using Orchestration
d Abstract) David Kitchin, Evan Powell, and Jayadev Misra The University of Texas at Austin The real world is inherently concurrent and temporal. For simulating physical phenomena ...
David Kitchin, Evan Powell, Jayadev Misra
FORTE
2003
15 years 8 months ago
Behavioural Contracts for a Sound Assembly of Components
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
Cyril Carrez, Alessandro Fantechi, Elie Najm