Sciweavers

2599 search results - page 366 / 520
» A Tool for Supporting Feature-Driven Development
Sort
View
PAKM
1998
15 years 5 months ago
Knowledge Asset Road Maps
This paper describes how AIAI has used the ideas and techniques behind Technology Road Maps in order to provide a framework for developing Knowledge Asset Road Maps to support kno...
Ann Macintosh, Ian Filby, Austin Tate
ATAL
2010
Springer
15 years 5 months ago
AgentC: agent-based testbed for adversarial modeling and reasoning in the maritime domain
We present an agent-based system for modeling, analyzing and reasoning in the maritime domain with the emphasis on detecting, anticipating and preventing illegitimate activities, ...
Michal Jakob, Ondrej Vanek, Stepán Urban, P...
DBSEC
2009
124views Database» more  DBSEC 2009»
15 years 5 months ago
Towards System Integrity Protection with Graph-Based Policy Analysis
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...
Wenjuan Xu, Xinwen Zhang, Gail-Joon Ahn
CORR
2008
Springer
110views Education» more  CORR 2008»
15 years 4 months ago
Justifications for Logic Programs under Answer Set Semantics
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...
Enrico Pontelli, Tran Cao Son, Omar El-Khatib
CSSE
2006
IEEE
15 years 4 months ago
Agile PASSI: An agile process for designing agents
We have been developing robotic multi-agent systems for several years according to a well defined methodology (PASSI) obtaining good results, but day by day needs of a more versati...
Antonio Chella, Massimo Cossentino, Luca Sabatucci...