314 search results - page 6 / 63 » Concurrently Decomposable Constraint Systems |
ICLP
1995
Springer
13 years 11 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
IICS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
ICLP
2003
Springer
14 years 24 days ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
ATVA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
KBSE
2003
IEEE
14 years 26 days ago
2003
IEEE
Database application programs are often designed to be executed concurrently by many clients. By grouping related database queries into transactions, DBMS systems can guarantee th...