1445 search results - page 231 / 289 » Abstract Interpretation of Logic Programs |
PEPM
1993
ACM
15 years 1 months ago
1993
ACM
Applications of partial evaluation have so far mainly focused on generation of compilers from interpreters for programming languages. We partially evaluate a simple general LR(k) ...
AUSAI
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. SharedPlans is an agent teamwork model that provides a formalization of the conditions under which a group of agents has a collaborative plan. This paper describes a gene...
103
click to vote
VW
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. In this paper, we present the project Urbi et Orbi, a framework to dynamically manage distributed virtual environments (DVEs). This framework relies on a dedicated script...
102
click to vote
VLDB
1987
ACM
15 years 1 months ago
1987
ACM
FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...
SPIN
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...