3092 search results - page 400 / 619 » Where are you pointing |
172
click to vote
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
171
click to vote
EUROCRYPT
2005
Springer
15 years 11 months ago
2005
Springer
We revisit the following question: what are the minimal assumptions needed to construct statistically-hiding commitment schemes? Naor et al. show how to construct such schemes bas...
164
click to vote
FATES
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
162
click to vote
FSTTCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We consider a generalization of the set cover problem, in which elements are covered by pairs of objects, and we are required to find a minimum cost subset of objects th...
161
click to vote
GW
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In the last decade speech processing has been applied in commercially available products. One of the key reasons for its success is the identification and use of an unde...