1325 search results - page 91 / 265 » A Scaling Result for Explosive Processes |
181
click to vote
CSFW
2002
IEEE
15 years 9 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
156
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Attack graphs are important tools for analyzing security vulnerabilities in enterprise networks. Previous work on attack graphs has not provided an account of the scalability of t...
162
click to vote
AIRWEB
2008
Springer
15 years 6 months ago
2008
Springer
Online social media draws heavily on active reader participation, such as voting or rating of news stories, articles, or responses to a question. This user feedback is invaluable ...
170
Voted
EOR
2007
15 years 4 months ago
2007
Credit scoring is a method of modelling potential risk of credit applications. Traditionally, logistic regression, linear regression and discriminant analysis are the most popular...
196
click to vote
SIGIR
2011
ACM
14 years 7 months ago
2011
ACM
As the Internet grows explosively, search engines play a more and more important role for users in effectively accessing online information. Recently, it has been recognized that ...