6274 search results - page 122 / 1255 » Proofs, Programs, Processes |
141
click to vote
STACS
2009
Springer
15 years 7 months ago
2009
Springer
ABSTRACT. This paper gives a brief overview of computation models for data stream processing, and it introduces a new model for multi-pass processing of multiple streams, the so-ca...
119
click to vote
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
126
click to vote
AAAI
1994
15 years 4 months ago
1994
We present a method of representing some classes of default theories as normal logic programs. The main point is that the standard semantics (i.e. SLDNF-resolution) computes answe...
142
click to vote
CADE
2003
Springer
16 years 3 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
123
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we show that an arbitrary propositional theory, when interpreted under the answer sets semantics (called Equilibrium Logic for this general syntax), can always be re...