4426 search results - page 99 / 886 » Concurrent Constraint Programming |
121
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
We have developed a programming model that integrates concurrency with object-based programming. The model includes features for object definition and instantiation, and it support...
151
click to vote
FLAIRS
2004
15 years 5 months ago
2004
A distributed search algorithm for solving distributed constraint satisfaction problems (DisCSPs) is presented. The proposed algorithm is composed of multiple search processes (SP...
126
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
112
click to vote
FMSD
2002
15 years 3 months ago
2002
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...
149
Voted
WOA
2010
15 years 1 months ago
2010
Abstract--We believe that agent-oriented programming languages and multi-agent programming technologies provide an effective level of abstraction for tackling the design and progra...