3527 search results - page 431 / 706 » Test Automation in Practice |
167
click to vote
ECCV
2006
Springer
15 years 7 months ago
2006
Springer
Dynamic texture is an extension of texture to the temporal domain. Description and recognition of dynamic textures has attracted growing attention. In this paper, a new method for ...
152
click to vote
FC
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we present two failures in the blind signatures based voting system Votopia [2] which has been tested during the last World Soccer Cup. We then propose a fix which r...
145
click to vote
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
129
click to vote
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
125
click to vote
USS
2008
15 years 6 months ago
2008
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...