851 search results - page 144 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
ATAL
2003
Springer
14 years 4 months ago
2003
Springer
Agents based on reactive planning architectures use pre-specified plans as behaviour specifications. Normative agents are motivated by norms in their behaviour: obligations motiva...
APAQS
2001
IEEE
14 years 2 months ago
2001
IEEE
Integration testing has always been a challenge especially if the system under test is large with many subsystems and interfaces. This paper proposes an approach to design End-toE...
ITS
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. It is common to think of a "learner model" as a global description of a student's understanding of domain content. We propose a notion of learner model whe...
ATAL
2008
Springer
14 years 27 days ago
2008
Springer
nts have recently emerged as a valuable abstraction for characterizing interactions among autonomous agents at the level of their business relationships. Traditionally, interopera...
IKE
2004
14 years 8 days ago
2004
In Geoscience domain, large amounts of data are accessible, however they vary in formats and are stored at various organizations leading to problems of data discovery, data intero...