563 search results - page 4 / 113 » An Observational Model for Spatial Logics |
GEOINFORMATICA
2007
13 years 10 months ago
2007
FOSSACS
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
ICC
2007
IEEE
14 years 5 months ago
2007
IEEE
—Rate adaptation, as a challenging issue for wireless purpose. Relatively little attention has been paid on identifying network design, has been an active research topic for year...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relat...
APN
2008
Springer
14 years 23 days ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...