7099 search results - page 326 / 1420 » Context for models of concurrency |
198
Voted
ECCV
2008
Springer
16 years 9 months ago
2008
Springer
Abstract. This paper presents a novel framework for detecting abnormal pedestrian and vehicle behaviour by modelling cross-correlation among different co-occurring objects both loc...
228
click to vote
SPIN
2009
Springer
16 years 2 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
216
click to vote
WOTUG
2008
15 years 9 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
192
click to vote
DEDS
1998
15 years 7 months ago
1998
In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...
251
click to vote
TON
2002
15 years 7 months ago
2002
Abstract--The capacity of ad hoc wireless networks is constrained by the mutual interference of concurrent transmissions between nodes. We study a model of an ad hoc network where ...