2218 search results - page 204 / 444 » Testing Expressibility Is Hard |
119
Voted
PAM
2012
Springer
13 years 8 months ago
2012
Springer
Network administrators are faced with the increasingly challenging task of monitoring their network’s health in real time, drawing upon diverse and voluminous measurement data fe...
128
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
122
click to vote
ICDE
2012
IEEE
13 years 3 months ago
2012
IEEE
Abstract—This paper revisits the classical problem of multiquery optimization in the context of RDF/SPARQL. We show that the techniques developed for relational and semi-structur...
147
Voted
EDBT
2012
ACM
13 years 3 months ago
2012
ACM
Many stream processing applications require access to a multitude of streaming as well as stored data sources. Yet there is no clear semantics for correct continuous query executi...
82
Voted
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...