2687 search results - page 99 / 538 » Formal Analysis of PKCS |
134
click to vote
ICWE
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. This paper presents an approach for monitoring several important aspects related to user behaviour during the execution of Web tasks1 . The approach includes the tracking...
187
Voted
CAV
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. The underground malware-based economy is flourishing and it is evident that the classical ad-hoc signature detection methods are becoming insufficient. Malware authors ...
155
click to vote
ICWSM
2009
15 years 1 months ago
2009
A particularly challenging task for recommender systems (RSs) is deciding whether to recommend an item that received a variety of high and low scores from its users. RSs that inco...
142
click to vote
BCB
2010
14 years 11 months ago
2010
Biclustering is a very popular method to identify hidden co-regulation patterns among genes. There are numerous biclustering algorithms designed to undertake this challenging task...
126
Voted
FCA
2005
Springer
15 years 9 months ago
2005
Springer
About ten years ago, the first serious applications of concept lattices in software analysis were published. Today, a wide range of applications of concept lattices in static and...