505 search results - page 32 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
106
click to vote
RTAS
2006
IEEE
15 years 5 months ago
2006
IEEE
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...
CAV
2009
Springer
15 years 6 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
126
click to vote
JMM2
2006
14 years 11 months ago
2006
This paper presents an efficient, robust and fully automatic real-time system for 3D object pose tracking in image sequences. The developed application integrates two main componen...
122
click to vote
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
Distributed systems can often be modeled as a collection of distributed (system) variables whose values are constrained by a set of constraints. In distributed multi-agent systems...
120
click to vote
EPIA
2001
Springer
15 years 4 months ago
2001
Springer
Organisations can be defined as a set of entities regulated by mechanisms of social order and created by more or less autonomous actors to achieve common goals. Multi-agent systems...