832 search results - page 107 / 167 » Characteristic Patterns for LTL |
123
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
The design of existing mobile phone technology has emphasised the primacy of person-to-person communication for voice, SMS and image-based communication. It may be contrasted with...
236
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Deduction modulo is a theoretical framework for reasoning modulo a congruence on propositions. Computational steps are thus removed from proofs, thus allowing a clean separatation...
234
click to vote
VLDB
2003
ACM
16 years 4 months ago
2003
ACM
We enunciate the need for watermarking database relations to deter data piracy, identify the characteristics of relational data that pose unique challenges for watermarking, and de...
237
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
Self-tuning is a cost-effective and elegant solution to the important problem of configuring a database to the characteristics of the query load. Existing techniques operate in an...
165
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
StreaMon is the adaptive query processing engine of the STREAM prototype Data Stream Management System (DSMS) [4]. A fundamental challenge in many DSMS applications (e.g., network...