Models and emerging trends of concurrent constraint programming

Concurrent Constraint Programming (CCP) has been used over the last two decades as an elegant and expressive model for concurrent systems. It models systems of agents communicating by posting and querying partial information, represented as constraints over the variables of the system. This covers a...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Constraints : an international journal Ročník 18; číslo 4; s. 535 - 578
Hlavní autori: Olarte, Carlos, Rueda, Camilo, Valencia, Frank D.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Boston Springer US 01.10.2013
Springer
Springer Verlag
Predmet:
Artificial Intelligence
Biological and medical sciences
Computer Science
Fundamental and applied biological sciences. Psychology
General aspects
Logic in Computer Science
Mathematics in biology. Statistical analysis. Models. Metrology. Data processing in biology (general aspects)
Operations Research/Decision Theory
Optimization
Survey
Symbolic Computation
Concurrent constraint programming
Specification
Verification
Concurrency
Cloud computing
Database query
Social network
Distributed system
Distributed computing
Modeling
Biological system
Reactive system
Multiagent system
Trend analysis
Imperfect information
Incomplete information
Concurrent Constraint Programming
ISSN:1383-7133, 1572-9354
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:Concurrent Constraint Programming (CCP) has been used over the last two decades as an elegant and expressive model for concurrent systems. It models systems of agents communicating by posting and querying partial information, represented as constraints over the variables of the system. This covers a vast variety of systems as those arising in biological phenomena, reactive systems, net-centric computing and the advent of social networks and cloud computing. In this paper we survey the main applications, developments and current trends of CCP.
ISSN:1383-7133
1572-9354
DOI:10.1007/s10601-013-9145-3