505 search results - page 48 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— We consider a distributed system modeled as a possibly large network of automata. Planning in this system consists in selecting and organizing actions in order to reach a goal ...
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
In a peer-to-peer inference system, there is no centralized control or hierarchical organization: each peer is equivalent in functionality and cooperates with other peers in order...
109
click to vote
ECBS
2007
IEEE
15 years 3 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
ICAC
2005
IEEE
15 years 5 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
ECCV
2008
Springer
16 years 1 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...