12981 search results - page 2132 / 2597 » Model Checking (Abstract) |
186
click to vote
SIGMOD
2001
ACM
16 years 7 months ago
2001
ACM
We study the problem of generating e cient, equivalent rewritings using views to compute the answer to a query. We take the closed-world assumption, in which views are materialize...
187
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
175
click to vote
PDP
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract—As computing capabilities have increased, the coupling of computational models has become an increasingly viable and therefore important way of improving the physical ï¬...
195
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—As a promising solution to manage the huge workload of large-scale VoD services, managed peer-assisted CDN systems, such as P4P [25] has attracted attention. Although th...
173
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Recent humanoid control investigations have emphasized the importance of controlling whole-body angular momentum throughout a movement task. For typical movement tasks,...