1192 search results - page 110 / 239 » Symbolic Query Exploration |
153
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
147
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
In the development of disciplines addressing dynamics, such as Mathematics and Physics, a major role was played by the assumption that processes can be modelled by introducing cer...
178
click to vote
AAAI
2008
15 years 8 months ago
2008
This paper proposes an optimal approach to infinite-state action planning exploiting automata theory. State sets and actions are characterized by Presburger formulas and represent...
185
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
202
click to vote
CGVR
2008
15 years 7 months ago
2008
- In this paper, we describe a 3D modeling program called RMBL3D, Realistic Maps Built like Legos, which manipulates the architectural repetition in building structures to produce ...