-
1
-
-
38149016819
-
A fuzzy approach for negotiating quality of services
-
To appear
-
A. Bacciu, A. Botta, and H. Melgratti. A fuzzy approach for negotiating quality of services. In Proc. TGC '06. To appear.
-
Proc. TGC '06
-
-
Bacciu, A.1
Botta, A.2
Melgratti, H.3
-
2
-
-
0031095278
-
Semiring-based constraint satisfaction and optimization
-
S. Bistarelli, U. Montanari, and F. Rossi. Semiring-based constraint satisfaction and optimization. Journal of the ACM, 44(2):201-236, 1997.
-
(1997)
Journal of the ACM
, vol.44
, Issue.2
, pp. 201-236
-
-
Bistarelli, S.1
Montanari, U.2
Rossi, F.3
-
3
-
-
33748307458
-
Soft concurrent constraint programming
-
S. Bistarelli, U. Montanari, and F. Rossi. Soft concurrent constraint programming. ACM Trans. Comput. Logic, 7(3):563-589, 2006.
-
(2006)
ACM Trans. Comput. Logic
, vol.7
, Issue.3
, pp. 563-589
-
-
Bistarelli, S.1
Montanari, U.2
Rossi, F.3
-
4
-
-
24644520040
-
A process calculus for QoS-aware applications
-
Springer
-
R. De Nicola, G. Ferrari, U. Montanari, R. Pugliese, and E. Tuosto. A process calculus for QoS-aware applications. In Proc. COORDINATION'05, volume 3454 of Led. Notes in Comput. Sci. Springer, 2005.
-
(2005)
Proc. COORDINATION'05, volume 3454 of Led. Notes in Comput. Sci
-
-
De Nicola, R.1
Ferrari, G.2
Montanari, U.3
Pugliese, R.4
Tuosto, E.5
-
6
-
-
0347621639
-
The WSLA framework: Specifying and monitoring service level agreements for web services
-
A. Keller and H. Ludwig. The WSLA framework: Specifying and monitoring service level agreements for web services. Jour. Net. and Sys. Manag., 11(1):57-81, 2003.
-
(2003)
Jour. Net. and Sys. Manag
, vol.11
, Issue.1
, pp. 57-81
-
-
Keller, A.1
Ludwig, H.2
-
7
-
-
44049113210
-
A calculus of mobile processes, I and II
-
l-40,41-77
-
R. Milner, J. Parrow, and J. Walker. A calculus of mobile processes, I and II. Inform, and Comput, 100(1):l-40,41-77, 1992.
-
(1992)
Inform, and Comput
, vol.100
, Issue.1
-
-
Milner, R.1
Parrow, J.2
Walker, J.3
-
8
-
-
0016050041
-
Networks of constraints: Fundamental properties and application to picture processing
-
U. Montanari. Networks of constraints: fundamental properties and application to picture processing. Information Science, 1:95-132, 1974.
-
(1974)
Information Science
, vol.1
, pp. 95-132
-
-
Montanari, U.1
-
9
-
-
23844436038
-
Structured coalgebras and minimal hd-automata for the picalculus
-
U. Montanari and Pistore M. Structured coalgebras and minimal hd-automata for the picalculus. Theoret. Comput. Sci, 340(3):539-576, 2005.
-
(2005)
Theoret. Comput. Sci
, vol.340
, Issue.3
, pp. 539-576
-
-
Montanari, U.1
Pistore, M.2
-
10
-
-
0026120001
-
Constraint relaxation may be perfect
-
U. Montanari and F. Rossi. Constraint relaxation may be perfect. Artif. Intell, 48(2): 143170, 1991.
-
(1991)
Artif. Intell
, vol.48
, Issue.2
, pp. 143170
-
-
Montanari, U.1
Rossi, F.2
-
12
-
-
0036989084
-
On the expressive power of temporal concurrent constraint programming languages
-
ACM
-
M. Nielsen, C. Palamidessi, and F. Valencia. On the expressive power of temporal concurrent constraint programming languages. In Proc. PPDP'02. ACM, 2002.
-
(2002)
Proc. PPDP'02
-
-
Nielsen, M.1
Palamidessi, C.2
Valencia, F.3
-
13
-
-
85031146080
-
The fusion calculus: Expressiveness and symmetry in mobile processes
-
IEEE, Computer Society Press
-
J. Parrow and B. Victor. The fusion calculus: Expressiveness and symmetry in mobile processes. In Proc. LICS'98. IEEE, Computer Society Press, 1998.
-
(1998)
Proc. LICS'98
-
-
Parrow, J.1
Victor, B.2
-
14
-
-
37149024170
-
-
V. Saraswat and P. Lincoln. Higher-order linear concurrent constraint programming, 1992. Technical Report, Xerox Pare.
-
V. Saraswat and P. Lincoln. Higher-order linear concurrent constraint programming, 1992. Technical Report, Xerox Pare.
-
-
-
-
15
-
-
0002128610
-
Concurrent constraint programming
-
ACM Press
-
V. Saraswat and M. Rinard. Concurrent constraint programming. In Proc. POPL'90. ACM Press, 1990.
-
(1990)
Proc. POPL'90
-
-
Saraswat, V.1
Rinard, M.2
-
16
-
-
0000942116
-
Semantic foundations of concurrent constraint programming
-
ACM Press
-
V. Saraswat, M. Rinard, and P. Panangaden. Semantic foundations of concurrent constraint programming. In Proc. POPL'91. ACM Press, 1991.
-
(1991)
Proc. POPL'91
-
-
Saraswat, V.1
Rinard, M.2
Panangaden, P.3
|