8828 search results - page 220 / 1766 » Formal methods in practice |
131
Voted
INFORMATICALT
2007
15 years 5 months ago
2007
Abstract. The aim of this paper is to explore some features of the functional test generation problem, and on the basis of the gained experience, to propose a practical method for ...
148
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
The k-means method is a widely used clustering algorithm. One of its distinguished features is its speed in practice. Its worst-case running-time, however, is exponential, leaving...
115
click to vote
LPAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
168
Voted
IJCSA
2008
15 years 5 months ago
2008
The Graphical Object Query Language (GOQL) is a graphical query language that complies with the ODMG standard and runs on top of the o2 DBMS. The language provides users with the ...
147
click to vote
CHES
2009
Springer
16 years 5 months ago
2009
Springer
Random delays are a countermeasure against a range of side channel and fault attacks that is often implemented in embedded software. We propose a new method for generation of rando...