1206 search results - page 56 / 242 » Concurrent Abstract Predicates |
102
click to vote
IJCAI
2003
15 years 1 months ago
2003
There is controversy as to whether explicit support for PDDL-like axioms and derived predicates is needed for planners to handle real-world domains effectively. Many researchers h...
118
Voted
COORDINATION
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Although coordination of concurrent objects is a fundamental aspect of object-oriented concurrent programming, there is only little support specification and abstraction ...
115
click to vote
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
101
Voted
ECOOP
2005
Springer
15 years 6 months ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
113
Voted
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...