1521 search results - page 144 / 305 » On Sampled Semantics of Timed Systems |
140
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
131
click to vote
REX
1993
15 years 8 months ago
1993
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
133
click to vote
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
We present a science-centric evaluation of a 19-day sensor network deployment at Reventador, an active volcano in Ecuador. Each of the 16 sensors continuously sampled seismic and ...
136
Voted
EICS
2010
ACM
15 years 6 months ago
2010
ACM
We propose an approach that takes as input a task model, which includes the user's view of the interactive system, and automatically discovers a set of categorized and ranked...
101
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Semantic caching is an important technology for improving the response time of future user queries specified over remote servers. This paper deals with the fundamental query conta...