235 search results - page 14 / 47 » Spatial Logics for Bigraphs |
103
click to vote
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define tw...
SPIN
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
107
click to vote
FOSSACS
2005
Springer
15 years 5 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
EUSFLAT
2009
14 years 10 months ago
2009
-- Relationships between geographically referenced variables are usually spatially heterogeneous and, to account for such variations, local models are necessary. This paper compare...
104
click to vote
ISMAR
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper presents a new user interface methodology for Spatial Augmented Reality systems. The methodology is based on a set of physical tools that are overloaded with logical fu...