12052 search results - page 1995 / 2411 » computing 2010 |
163
click to vote
SACMAT
2010
ACM
15 years 9 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
128
click to vote
SIGECOM
2010
ACM
15 years 9 months ago
2010
ACM
Citing recent successes in forecasting elections, movies, products, and other outcomes, prediction market advocates call for widespread use of market-based methods for government ...
157
click to vote
SIGMOD
2010
ACM
15 years 9 months ago
2010
ACM
Uncertain data streams, where data is incomplete, imprecise, and even misleading, have been observed in many environments. Feeding such data streams to existing stream systems pro...
143
click to vote
SIGMOD
2010
ACM
15 years 9 months ago
2010
ACM
It has long been observed that database management systems focus on traditional business applications, and that few people use a database management system outside their workplace...
133
click to vote
SIGMOD
2010
ACM
15 years 9 months ago
2010
ACM
Parameterized queries are commonly used in database applications. In a parameterized query, the same SQL statement is potentially executed multiple times with different parameter ...