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ženo v:
Podrobná bibliografie
Vydáno v:Constraints : an international journal Ročník 18; číslo 4; s. 535 - 578
Hlavní autoři: Olarte, Carlos, Rueda, Camilo, Valencia, Frank D.
Médium: Journal Article
Jazyk:angličtina
Vydáno: Boston Springer US 01.10.2013
Springer
Springer Verlag
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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