5378 search results - page 856 / 1076 » Base Logics in Argumentation |
AOSE
2005
Springer
14 years 4 months ago
2005
Springer
This paper synthesizes two trends in the engineering of agent-based systems. One, modern agent-oriented methodologies deal with the key aspects of software development including re...
ICN
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Scalable group key management solutions are crucial for supporting Internet applications that are based on a group communication model. Many solutions have been proposed ...
ITRUST
2005
Springer
14 years 3 months ago
2005
Springer
Business Processes for Web Services are the new paradigm for lightweight enterprise integration. They cross organizational boundaries, are provided by entities that see each other ...
IFIP
2004
Springer
14 years 3 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
INEX
2004
Springer
14 years 3 months ago
2004
Springer
Exploiting the structure of a document allows for more powerful information retrieval techniques. In this article a basic approach is discussed for the retrieval of XML document f...