381 search results - page 46 / 77 » Model Checking Is Static Analysis of Modal Logic |
173
click to vote
LICS
2009
IEEE
16 years 16 days ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
157
click to vote
EUROMICRO
2007
IEEE
16 years 7 days ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
198
click to vote
TACAS
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
179
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
181
click to vote
ECCV
2008
Springer
16 years 7 months ago
2008
Springer
Traditionally, facial expression recognition (FER) issues have been studied mostly based on modalities of 2D images, 2D videos, and 3D static models. In this paper, we propose a sp...