851 search results - page 50 / 171 » History Effects and Verification |
101
click to vote
FMCAD
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
114
click to vote
COLING
2008
15 years 1 months ago
2008
Most studies in statistical or machine learning based authorship attribution focus on two or a few authors. This leads to an overestimation of the importance of the features extra...
IEE
2008
14 years 11 months ago
2008
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
102
click to vote
SEKE
2010
Springer
14 years 10 months ago
2010
Springer
Online auction systems have made remarkable progress in recent years. However, one of the most severe and persistent problems in such systems is shilling behavior, which is a type ...
ESORICS
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. As the number and scope of government regulations and rules mandating trustworthy retention of data keep growing, businesses today are facing a higher degree of regulatio...