7527 search results - page 1487 / 1506 » Design and implementation of the KioskNet system |
GIS
2007
ACM
15 years 1 months ago
2007
ACM
Spatial join is an important yet costly operation in spatial databases. In order to speed up the execution of a spatial join, the input tables are often indexed based on their spa...
GRID
2007
Springer
15 years 1 months ago
2007
Springer
The global inter-networking infrastructure that has become essential for contemporary day-to-day computing and communication tasks, has also enabled the deployment of several large...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
This paper reports on the development of a utility-based mechanism for managing sensing and communication in cooperative multi-sensor networks. The specific application considered...
ICCD
2000
IEEE
15 years 1 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
101
click to vote
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...