414 search results - page 51 / 83 » Using Strongest Postconditions to Improve Software Quality |
ASIACRYPT
2009
Springer
14 years 2 days ago
2009
Springer
Abstract. Public-key encryption schemes rely for their IND-CPA security on per-message fresh randomness. In practice, randomness may be of poor quality for a variety of reasons, le...
CGA
2011
13 years 7 days ago
2011
—We describe a graphics system that significantly improves the visual quality of certain types of 3D character motion animated through traditional means by inferring physical pr...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
Software developers writing new software have strong incentives to make their products compliant to standards such as corba, com, and JavaBeans. Standardscompliance facilitates in...
ISSRE
2000
IEEE
14 years 1 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
BIOINFORMATICS
2007
13 years 8 months ago
2007
Motivation: Clustering technique is used to find groups of genes that show similar expression patterns under multiple experimental conditions. Nonetheless, the results obtained by...