10038 search results - page 1759 / 2008 » Model Checking for Managers |
151
click to vote
SAC
2009
ACM
15 years 12 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...
174
click to vote
SAC
2009
ACM
15 years 12 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
131
click to vote
SAC
2009
ACM
15 years 12 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...
151
click to vote
KDD
2009
ACM
15 years 12 months ago
2009
ACM
As the number and size of large timestamped collections (e.g. sequences of digitized newspapers, periodicals, blogs) increase, the problem of efficiently indexing and searching su...
138
click to vote
KDD
2009
ACM
15 years 12 months ago
2009
ACM
The relationship between financial incentives and performance, long of interest to social scientists, has gained new relevance with the advent of web-based “crowd-sourcing” mo...