Sciweavers

913 search results - page 77 / 183
» Formal Agent Development: Framework to System
Sort
View
AOSE
2007
Springer
15 years 8 months ago
Refining Goal Models by Evaluating System Behaviour
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
Mirko Morandini, Loris Penserini, Anna Perini, Ang...
140
Voted
CL
2000
Springer
15 years 8 months ago
Multi-dimensional Dynamic Logic Programming
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
João Alexandre Leite, José Jú...
134
Voted
ECAI
2006
Springer
15 years 7 months ago
Computational Opinions
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
Felix A. Fischer, Matthias Nickles
ATAL
2004
Springer
15 years 9 months ago
Demonstration of the Secure Wireless Agent Testbed (SWAT)
We will demonstrate the Secure Wireless Agent Testbed (SWAT), a unique facility developed at Drexel University to study integration, networking and information assurance for next-...
Gustave Anderson, Andrew Burnheimer, Vincent A. Ci...
ER
2007
Springer
108views Database» more  ER 2007»
15 years 10 months ago
A Framework Supporting the Utilization of Domain Knowledge Embedded in Software
Software systems embed in them knowledge about the domain in which they operate. However, this knowledge is “latent”. Making such knowledge accessible could be of great value ...
Eran Rubin, Yair Wand