메뉴 건너뛰기




Volumn 4421 LNCS, Issue , 2007, Pages 18-32

CC-Pi: A constraint-based language for specifying service level agreements

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; QUALITY OF SERVICE; RESOURCE ALLOCATION; SEMANTICS; TRANSLATION (LANGUAGES);

EID: 37149017073     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71316-6_3     Document Type: Conference Paper
Times cited : (118)

References (19)
  • 1
    • 38149016819 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 5
    • 44049090151 scopus 로고    scopus 로고
    • A calculus for concurrent processes with constraints
    • J. F. Diaz, C. Rueda, and F. Valencia. A calculus for concurrent processes with constraints. CLEI Electronic Journal, 1(2), 1998.
    • (1998) CLEI Electronic Journal , vol.1 , Issue.2
    • Diaz, J.F.1    Rueda, C.2    Valencia, F.3
  • 6
    • 0347621639 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.