1256 search results - page 57 / 252 » A Model of Interaction in Concurrent and Distributed Systems |
132
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
121
click to vote
ENTCS
2006
15 years 4 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
141
click to vote
ICDCS
2010
IEEE
15 years 8 months ago
2010
IEEE
—Wireless Sensor Network (WSN) applications are typically event-driven. While the source codes of these applications may look simple, they are executed with a complicated concurr...
160
Voted
WSC
2008
15 years 6 months ago
2008
The paper describes an approach for an aggregated animation of a simulation experiment in an interactive 3D environment, visualizing multiple, distributed simulation runs. Althoug...
130
click to vote
IFIP13
2004
15 years 5 months ago
2004
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...