837 search results - page 143 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
CASES
2008
ACM
13 years 9 months ago
2008
ACM
Performance evaluation of embedded software is essential in an early development phase so as to ensure that the software will run on the embedded device's limited computing r...
GIS
2005
ACM
14 years 8 months ago
2005
ACM
Databases of moving objects are important for air traffic control, ground traffic, and battlefield configurations. We introduce the (historical and spatial) range close-pair query...
HIPC
2009
Springer
13 years 5 months ago
2009
Springer
Stream computing research is moving from terascale to petascale levels. It aims to rapidly analyze data as it streams in from many sources and make decisions with high speed and a...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
We study small distributed work groups capturing, managing, and reusing knowledge in a collaborative activity. We conceive this process as adaptation of a group to an activity and...
EDBT
2010
ACM
13 years 11 months ago
2010
ACM
The specification of schema mappings has proved to be time and resource consuming, and has been recognized as a critical bottleneck to the large scale deployment of data integrati...