3575 search results - page 347 / 715 » Modeling Concurrency with Geometry |
199
click to vote
SPIN
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
240
click to vote
SECON
2007
IEEE
16 years 1 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
167
click to vote
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
219
click to vote
CCIA
2005
Springer
16 years 1 months ago
2005
Springer
We propose an hybrid and probabilistic classification of image regions belonging to scenes primarily containing natural objects, e.g. sky, trees, etc. as a first step in solving ...
218
click to vote
ICALP
2005
Springer
16 years 1 months ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...