Sciweavers

917 search results - page 76 / 184
» Application reviews
Sort
View
ECOOPW
2003
Springer
15 years 10 months ago
.NET: The Programmer's Perspective
Report about the ECOOP 2003 workshop WS 03, “.NET: The Programmer’s Perspective”.  Much of the push behind Microsoft's new .NET technology has been directed at such ...
Hans-Jürgen Hoffmann
CADE
1990
Springer
15 years 8 months ago
A Theorem Prover for a Computational Logic
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
Robert S. Boyer, J. Strother Moore
ESAW
2008
Springer
15 years 6 months ago
Specifying Open Agent Systems: A Survey
Abstract. Electronic markets, dispute resolution and negotiation protocols are three types of application domain that can be viewed as open agent systems. Members of such systems a...
Alexander Artikis, Jeremy V. Pitt
AOIS
2004
15 years 6 months ago
Agents as Catalysts for Mobile Computing
Agent-Oriented Programming (AOP) offers an alternative and radical approach to the development of information systems in various domains. However, one domain that AOP has only mini...
Gregory M. P. O'Hare, Michael J. O'Grady, Rem W. C...
FLAIRS
2001
15 years 6 months ago
The Benefits of Multi-Agent Systems in Spatial Reasoning
This paper presents arguments for the application of a multiagent approach to spatial reasoning, and it is shown how spatial reasoning benefits from an agent-based implementation....
Christian Kray