6608 search results - page 1135 / 1322 » On the Completeness of Model Checking |
172
click to vote
SAC
2009
ACM
16 years 1 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...
163
click to vote
SAC
2009
ACM
16 years 1 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...
181
click to vote
SAC
2009
ACM
16 years 1 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...
196
click to vote
SENSYS
2009
ACM
16 years 1 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...
175
click to vote
CSE
2009
IEEE
16 years 1 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...