6554 search results - page 997 / 1311 » Constraint Logic Programming |
139
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
113
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...
134
click to vote
PRDC
2006
IEEE
15 years 11 months ago
2006
IEEE
On-time data management is becoming a key difficulty faced by the information infrastructure of most organizations. In fact, database applications for critical areas are increasing...
128
click to vote
CGO
2005
IEEE
15 years 10 months ago
2005
IEEE
Many excepting instructions cannot be removed by existing Partial Redundancy Elimination (PRE) algorithms because the ordering constraints must be preserved between the excepting ...
142
Voted
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
Ownership types promise to provide a practical mechanism for enforcing stronger encapsulation by controlling aliasing in objectoriented languages. However, previous ownership type ...