632 search results - page 93 / 127 » Explicit Substitutions and Programming Languages |
107
click to vote
PPDP
2000
Springer
15 years 5 months ago
2000
Springer
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...
117
click to vote
ICALP
1998
Springer
15 years 5 months ago
1998
Springer
An architecture is described for designing systems that acquire and manipulate large amounts of unsystematized, or so-called commonsense, knowledge. Its aim is to exploit to the fu...
147
click to vote
LCPC
2000
Springer
15 years 5 months ago
2000
Springer
Embedded systems consisting of the application program ROM, RAM, the embedded processor core, and any custom hardware on a single wafer are becoming increasingly common in applicat...
125
click to vote
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
107
click to vote
SIGECOM
2003
ACM
15 years 7 months ago
2003
ACM
We investigate the problem of matching buyers and sellers in a multi-item multi-unit combinatorial exchange so as to maximize either the surplus (revenue minus cost) or the tradin...