7092 search results - page 1042 / 1419 » Parallelizing constraint programs |
171
click to vote
SOFSEM
2005
Springer
16 years 8 days ago
2005
Springer
The tier aspect model addresses Aspect Oriented Programming (AOP) in the context of database applications. It is a new technique of separation of concerns through tiers implemented...
259
click to vote
FAABS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
165
click to vote
ICWE
2004
Springer
16 years 4 days ago
2004
Springer
Delivering high quality web applications complying with severe project delivery time constraints is still an elusive goal for a software process. In many software projects, develop...
217
click to vote
MOZ
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative a...
185
click to vote
PRICAI
2004
Springer
16 years 4 days ago
2004
Springer
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...