6608 search results - page 1220 / 1322 » On the Completeness of Model Checking |
144
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
Time-based, media-centric Web presentations can be described declaratively in the XML world through the development of languages such as SMIL. It is difficult, however, to fully i...
224
Voted
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
We present a complete XPath cost-based optimization and execution framework and demonstrate its effectiveness and efficiency for a variety of queries and datasets. The framework i...
121
click to vote
SIGMOD
2001
ACM
16 years 4 months ago
2001
ACM
Approximating the joint data distribution of a multi-dimensional data set through a compact and accurate histogram synopsis is a fundamental problem arising in numerous practical ...
158
Voted
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
Intermittently connected mobile networks are wireless networks where most of the time there does not exist a complete path from the source to the destination. There are many real ...
131
Voted
MOBISYS
2006
ACM
16 years 3 months ago
2006
ACM
Multihop wireless mesh networks can provide Internet access over a wide area with minimal infrastructure expenditure. In this work, we present a measurement driven deployment stra...