3 search results - page 1 / 1 » LARS: A Logic-Based Framework for Analyzing Reasoning over S... |
TIME
2007
IEEE
14 years 12 days ago
2007
IEEE
Transaction-time temporal databases and query languages provide a solid framework for analyzing properties of queries over data streams. In this paper we focus on issues connected...
EMSOFT
2009
Springer
14 years 21 days ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
GIS
2007
ACM
14 years 7 months ago
2007
ACM
We consider the problem of extracting a river network and a watershed hierarchy from a terrain given as a set of irregularly spaced points. We describe TerraStream, a "pipeli...