7640 search results - page 274 / 1528 » Event Database Processing |
135
Voted
FAC
2008
15 years 3 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
258
Voted
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Solid state drives perform random reads more than 100x faster than traditional magnetic hard disks, while offering comparable sequential read and write bandwidth. Because of their...
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
There has been a growing interest in improving the publication processes for database research papers. This panel reports on recent changes in those processes and presents an init...
128
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
Due to the existence of uncertain data in a wide spectrum of real applications, uncertain query processing has become increasingly important, which dramatically differs from handl...
129
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. The payoff received by the controller can be evaluated in different ways, dep...