653 search results - page 95 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
CLIMA
2006
13 years 10 months ago
2006
We present a multi-agent formalism based on extended answer set programming. The system consists of independent agents connected via a communication channel, where knowledge and be...
SIGMOD
2001
ACM
14 years 9 months ago
2001
ACM
Intrusion detection is an essential component of computer security mechanisms. It requires accurate and efficient analysis of a large amount of system and network audit data. It c...
ADVCS
2008
13 years 9 months ago
2008
Reputation is a fundamental instrument of partner selection. Developed within the domain of electronic auctions, reputation technology is being been imported into other applicatio...
FSS
2006
13 years 9 months ago
2006
Among the various extensions to the common [0, 1]-valued truth degrees of "traditional" fuzzy set theory, closed intervals of [0, 1] stand out as a particularly appealin...
ERSA
2006
13 years 10 months ago
2006
High frame rate video capture and image processing is an important capability for applications in defense and homeland security where incoming missiles must be detected in very sh...