15777 search results - page 2590 / 3156 » Software Engineering |
141
click to vote
FATES
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
178
click to vote
FOSSACS
2003
Springer
16 years 8 days ago
2003
Springer
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
174
click to vote
FOSSACS
2003
Springer
16 years 8 days ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
174
click to vote
FSTTCS
2003
Springer
16 years 8 days ago
2003
Springer
Given a polygonal path P with vertices p1, p2, . . . , pn and a real number t ≥ 1, a path Q = (pi1 , pi2 , . . . , pik ) is a t-distance-preserving approximation of P if 1 = i1 &...
181
click to vote
FSTTCS
2003
Springer
16 years 8 days ago
2003
Springer
A key idea in cryptography is using hard functions in order to obtain secure schemes. The theory of hard functions (e.g. one-way functions) has been a great success story, and the ...