6608 search results - page 1135 / 1322 » On the Completeness of Model Checking |
147
Voted
SAC
2009
ACM
15 years 11 months ago
2009
ACM
We introduce a new data mining problem: mining truth tables in binary datasets. Given a matrix of objects and the properties they satisfy, a truth table identifies a subset of pr...
128
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we consider minimizing the system-level energy consumption through dynamic voltage scaling for embedded devices, while a) allowing concurrent access to shared objec...
150
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Ubiquitous computing and service-oriented computing enable the development of a new trend of applications that can opportunely interact with services discovered in the surrounding...
167
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
The state of the art congestion control algorithms for wireless sensor networks respond to coarse-grained feedback regarding available capacity in the network with an additive inc...
147
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Interaction with mobile devices that are intended for everyday use is challenging since such systems are continuously optimized towards small outlines. Watches are a particularl...