3256 search results - page 579 / 652 » Applications of Formal Methods to System Design and Verifica... |
110
click to vote
SENSYS
2009
ACM
15 years 4 months ago
2009
ACM
Motivated by the needs of precise forest inventory and realtime surveillance for ecosystem management, in this paper we present GreenOrbs [1], a wireless sensor network system and...
DOLAP
2006
ACM
15 years 3 months ago
2006
ACM
Decision support systems (DSS) may be enhanced qualitatively if they are able to also deal with spatial dimensions and measures. Regardless the evident importance of using data wa...
116
click to vote
UBIMOB
2009
ACM
15 years 2 months ago
2009
ACM
Wireless sensor networks are rapidly finding their way through a plethora of new applications like precision farming and forestry, with increasing network scale, system complexit...
162
click to vote
GIS
2004
ACM
15 years 10 months ago
2004
ACM
The R*-tree is a state-of-the-art spatial index structure. It has already found its way into commercial systems. The most important improvement of the R*-tree over the original R-...
PASTE
2010
ACM
14 years 11 months ago
2010
ACM
Packrat parsing is a powerful parsing algorithm presented by Ford in 2002. Packrat parsers can handle complicated grammars and recursive structures in lexical elements more easily...