55 search results - page 2 / 11 » Causality and the Spatial-Temporal Ordering of Events in Mob... |
APN
2011
Springer
12 years 11 months ago
2011
Springer
In prime event structures with binary conflicts (pes-bc)3 a branching cell [1] is a subset of events closed under downward causality and immediate conflict relations. This means ...
PTS
2003
13 years 8 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
ENTCS
2002
13 years 7 months ago
2002
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
PADS
2003
ACM
14 years 19 days ago
2003
ACM
Wireless networks’ models differ from wired ones at least in the innovative dynamic effects of host-mobility and open-broadcast nature of the wireless medium. Topology changes d...
PERCOM
2008
ACM
14 years 1 months ago
2008
ACM
Mass causality incidents generate a sequence of response events from the emergency services, requiring the allocation and use of resources in a timely fashion. In this paper we de...