42 search results - page 5 / 9 » A General Framework for Probabilistic Characterizing Formula... |
DSN
2008
IEEE
14 years 1 months ago
2008
IEEE
Internet Threat Monitoring (ITM) systems are a widely deployed facility to detect, analyze, and characterize dangerous Internet threats such as worms and distributed denial-of-ser...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...
KDD
2004
ACM
14 years 7 months ago
2004
ACM
The primary goal of Web usage mining is the discovery of patterns in the navigational behavior of Web users. Standard approaches, such as clustering of user sessions and discoveri...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
An important drawback to the popular Belief, Desire, and Intentions (BDI) paradigm is that such systems include no element of learning from experience. In particular, the so-calle...
CSFW
2002
IEEE
14 years 12 days ago
2002
IEEE
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...