37 search results - page 2 / 8 » Symbolic negotiation revisited |
WAIM
2004
Springer
14 years 4 months ago
2004
Springer
This paper presents an architecture and a methodology for agent-based Web service discovery and automated composition. We assume that Web services are described with declarative sp...
DALT
2004
Springer
14 years 4 months ago
2004
Springer
AISC
2010
Springer
14 years 3 months ago
2010
Springer
We provide a perspective on the current state and possible future of links between symbolic mathematical computing and artificial intelligence, on the occasion of the 10th biennial...
CORR
1999
Springer
13 years 10 months ago
1999
Springer
Most debuggers are notoriously machine-dependent, but some recent research prototypes achieve varying degrees of machine-independence with novel designs. Cdb, a simple source-leve...
PLDI
2004
ACM
14 years 4 months ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...