2858 search results - page 313 / 572 » Logics with Aggregate Operators |
188
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
—As traditional and mission-critical relational database workloads migrate to the cloud in the form of Databaseas-a-Service (DaaS), there is an increasing motivation to provide p...
222
click to vote
SIGMETRICS
2012
ACM
13 years 9 months ago
2012
ACM
Latency has become an important metric for network monitoring since the emergence of new latency-sensitive applications (e.g., algorithmic trading and high-performance computing)....
157
click to vote
JLP
2006
15 years 6 months ago
2006
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
260
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
The SLG-WAM of XSB Prolog soundly implements the Well-Founded Semantics (WFS) for logic programs, but in a few pathological cases its engine treats atoms as undefined that are true...
164
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...