37 search results - page 2 / 8 » Symbolic negotiation revisited |
131
Voted
WAIM
2004
Springer
15 years 6 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...
91
Voted
DALT
2004
Springer
15 years 6 months ago
2004
Springer
115
Voted
AISC
2010
Springer
15 years 5 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...
98
Voted
CORR
1999
Springer
15 years 22 days 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...
120
Voted
PLDI
2004
ACM
15 years 6 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...