TACS
2001
Springer
13 years 9 months ago
2001
Springer
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our lo...
VLDB
2004
ACM
13 years 10 months ago
2004
ACM
Traditional databases have focused on the issue of reducing I/O cost as it is the bottleneck in many operations. As databases become increasingly accepted in areas such as Geograp...
ICCSA
2007
Springer
13 years 10 months ago
2007
Springer
Next generation of GIS software should be able to manipulate and analyse complex situations of real world phenomena. One of the desired components in such software or system is the...
GIS
2008
ACM
14 years 5 months ago
2008
ACM
It has been pointed out repeatedly that spatial operations must be extended to include support for 3D and moving objects. The attempt to code by hand each spatial operation for ea...
GIS
2008
ACM
14 years 5 months ago
2008
ACM
Multi-dimensional spatial data are obtained when a number of data acquisition devices are deployed at different locations to measure a certain set of attributes of the study subje...