2223 search results - page 162 / 445 » Events in Property Patterns |
126
click to vote
ENTCS
2006
15 years 3 months ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...
113
click to vote
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
166
click to vote
GFKL
2007
Springer
15 years 7 months ago
2007
Springer
Kernel methods offer a flexible toolbox for pattern analysis and machine learning. A general class of kernel functions which incorporates known pattern invariances are invariant d...
120
click to vote
IOLTS
2005
IEEE
15 years 9 months ago
2005
IEEE
As device geometries continue to shrink, single event upsets are becoming of concern to a wider spectrum of system designers. These “soft errors” can be a nuisance or catastro...
142
click to vote
KDD
2010
ACM
15 years 1 months ago
2010
ACM
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...