2979 search results - page 389 / 596 » Modelling secure multiagent systems |
121
click to vote
JCS
2002
15 years 4 months ago
2002
Intrusion detection systems (IDSs) must maximize the realization of security goals while minimizing costs. In this paper, we study the problem of building cost-sensitive intrusion...
113
click to vote
ITP
2010
15 years 8 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
160
click to vote
CRV
2005
IEEE
15 years 10 months ago
2005
IEEE
Face recognition in video has gained wide attention as a covert method for surveillance to enhance security in a variety of application domains (e.g., airports). A video contains ...
139
click to vote
WETICE
2007
IEEE
15 years 10 months ago
2007
IEEE
A new application of tuple-space-based coordination systems is in knowledge communication and representation. This knowledge is being published on the Web (the so-called “Semant...
120
click to vote
AOSE
2005
Springer
15 years 9 months ago
2005
Springer
Requirements elicitation for a software system is a key stage in a successful development. At the same time, it is one of the most challenging, because requirements have to conside...