314 search results - page 5 / 63 » Concurrently Decomposable Constraint Systems |
75
Voted
FSTTCS
2007
Springer
15 years 5 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
111
Voted
ECOOPW
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
104
Voted
ESOP
2008
Springer
15 years 1 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...
CL
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
97
Voted
ZUM
2000
Springer
15 years 3 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...