3193 search results - page 575 / 639 » A Security Risk Analysis Model for Information Systems |
ICCD
1995
IEEE
14 years 17 days ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
WWW
2003
ACM
14 years 9 months ago
2003
ACM
This paper presents the notion of Semantic Associations as complex relationships between resource entities. These relationships capture both a connectivity of entities as well as ...
ICDM
2007
IEEE
14 years 3 months ago
2007
IEEE
Recently, the web has rapidly emerged as a great source of financial information ranging from news articles to personal opinions. Data mining and analysis of such financial info...
SIGIR
2009
ACM
14 years 3 months ago
2009
ACM
Recommender Systems, based on collaborative filtering (CF), aim to accurately predict user tastes, by minimising the mean error achieved on hidden test sets of user ratings, afte...
CIKM
2008
Springer
13 years 11 months ago
2008
Springer
In a corpus of jokes, a human might judge two documents to be the "same joke" even if characters, locations, and other details are varied. A given joke could be retold w...