Sciweavers

469 search results - page 13 / 94
» Process Algebras for Collective Dynamics
Sort
View
IANDC
2010
125views more  IANDC 2010»
14 years 9 months ago
A thread calculus with molecular dynamics
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
Jan A. Bergstra, C. A. Middelburg
ESAW
2004
Springer
15 years 5 months ago
Cooperative Agent Model Instantiation to Collective Robotics
The general aim of our work is to provide tools, methods and models to adaptive multi-agent systems designers. These systems consist in several interacting agents and have to optim...
Gauthier Picard
137
Voted
CONCUR
1998
Springer
15 years 4 months ago
Algebraic Techniques for Timed Systems
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
Albert Benveniste, Claude Jard, Stephane Gaubert
KBS
2000
86views more  KBS 2000»
14 years 11 months ago
Those "psychological tools" inside the design process
: In this paper we present an interaction-oriented approach to the process of designing a document for the end-user. We emphasize exchange between subjects and the subjects' r...
Sylvie Grosjean, Pierre Fixmer, Christian Brassac
CSMR
2007
IEEE
15 years 6 months ago
Online Construction of Dynamic Object Process Graphs
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...
Jochen Quante