7628 search results - page 162 / 1526 » Spatial P systems |
116
click to vote
ICTAC
2004
Springer
15 years 9 months ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
152
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Despite recent excitement generated by the peer-to-peer (P2P) paradigm and the surprisingly rapid deployment of some P2P applications, there are few quantitative evaluations of P2...
142
click to vote
BDA
2007
15 years 5 months ago
2007
The paper presents a complete framework for spatial indexing support in a distributed setting. We consider a shared-nothing environment where a set of servers provides independent...
244
click to vote
GIS
2005
ACM
16 years 4 months ago
2005
ACM
A necessary step in the implementation of three-dimensional spatial data types for spatial database systems and GIS is the development of robust geometric primitives. The authors ...