3446 search results - page 389 / 690 » A Reasoning Algorithm for pD* |
168
click to vote
ICLP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
179
click to vote
RR
2007
Springer
16 years 25 days ago
2007
Springer
The most promising feature of the Web services platform is its ability to form new (composite) services by combining the capabilities of already existing (component) services. The ...
148
click to vote
SGAI
2007
Springer
16 years 25 days ago
2007
Springer
Argumentation has proved to be a very influential reasoning mechanism particularly in the context of multi agent systems. In this paper we introduce PADUA (Protocol for Argumenta...
159
click to vote
WEBI
2007
Springer
16 years 25 days ago
2007
Springer
Different ontologies used in semantic web services fields raise numerous interoperation and communication problems with respect to service discovery, composition, and execution. ...
202
click to vote
WWIC
2007
Springer
16 years 25 days ago
2007
Springer
Mobile Ad Hoc networks (MANETs) are susceptible to having their effective operation compromised by a variety of security attacks. Nodes may misbehave either because they are malici...