In this paper, the specification of Verity, a webbased instructional tool, is presented. Verity is intended to be used as a learning assistant and self-assessment tool, more than ...
Sergiu Dascalu, Daniela Saru, Ryan Simpson, Justin...
This case describes how Siemens Power Corporation, a Richland, Washington (USA), based manufacturer of nuclear fuel assemblies, came to adopt and implement SAP's R/3 applicat...
: Multiagent Systems (MAS) are open, heterogeneous and distributed software systems of autonomous agents. The management of exception differs in MAS from what is known in usual eng...
— Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. This a...
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...