1454 search results - page 227 / 291 » Stateful traits and their formalization |
164
click to vote
ICLP
2004
Springer
16 years 5 days ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
186
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
159
click to vote
IFM
2004
Springer
16 years 5 days ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
187
click to vote
ISER
2004
Springer
16 years 5 days ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
198
click to vote
VLDB
2004
ACM
16 years 4 days ago
2004
ACM
We address the problem of computing approximate answers to continuous sliding-window joins over data streams when the available memory may be insufficient to keep the entire join...