5855 search results - page 392 / 1171 » Test generation and minimization with |
171
click to vote
SOUPS
2005
ACM
16 years 12 days ago
2005
ACM
Secure email has struggled with signifcant obstacles to adoption, among them the low usability of encryption software and the cost and overhead of obtaining public key certificat...
156
click to vote
AAECC
2007
Springer
16 years 1 months ago
2007
Springer
We consider a generalization of the codes defined by norm and trace functions on finite fields introduced by Olav Geil. The codes in the new family still satisfy Geil’s dualit...
174
click to vote
WSCG
2001
15 years 8 months ago
2001
We present a visualization system allowing non-programmers to visualize, explore, and analyze unknown multivariate data by designing an appropriate glyph representation with minim...
184
click to vote
INFORMS
2010
15 years 4 months ago
2010
use for constraint solving, abstract interpretation, spatial databases, and theorem proving. In this paper we develop new incremental algorithms for UTVPI constraint satisfaction a...
197
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...