740 search results - page 109 / 148 » A Spatial Logic for Concurrency |
DAS
2010
Springer
13 years 5 months ago
2010
Springer
Repetition of layout structure is prevalent in document images. In document design, such repetition conveys the underlying logical and functional structure of the data. For exampl...
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope...
SIGMOD
2004
ACM
14 years 8 months ago
2004
ACM
This paper introduces the Scalable INcremental hash-based Algorithm (SINA, for short); a new algorithm for evaluating a set of concurrent continuous spatio-temporal queries. SINA ...
ICS
2007
Tsinghua U.
14 years 1 months ago
2007
Tsinghua U.
Grid Workflows are emerging as practical programming models for solving large e-scientific problems on the Grid. However, it is typically assumed that the workflow components eith...
GIS
2004
ACM
14 years 8 months ago
2004
ACM
Motivated by the increasing need to handle complex multidimensional data in location-based data warehouses, this paper proposes a powerful data model that is able to capture the c...