508 search results - page 40 / 102 » Parallel Modeling of Fish Interaction |
HPCN
2000
Springer
14 years 21 days ago
2000
Springer
A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such a...
COORDINATION
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
CONCUR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
EMSOFT
2010
Springer
13 years 7 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
ICCL
1994
IEEE
14 years 1 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...