740 search results - page 54 / 148 » A Spatial Logic for Concurrency |
ENTCS
2006
13 years 7 months ago
2006
This paper gives an overview of recent results concerning the modular derivation of (i) modal specification logics, (ii) notions of simulation together with logical characterisati...
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
We solve the open problem of the decidability of Boolean BI logic (BBI), which can be considered as the core of separation and spatial logics. For this, we define a complete phas...
SMC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract—In this paper, a software architecture and knowledge representation scheme that enables the combination and reconfiguration of modular sensor and actuator components is...
GIS
2002
ACM
13 years 7 months ago
2002
ACM
Enterprises in the public and private sectors have been making their large spatial data archives available over the Internet. However, interactive work with such large volumes of ...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
— We analyze the feasibility of distributed spatial multiplexing with limited feedback in a slow-fading interference network with MN non-cooperating single-antenna sources and M ...