Sciweavers

1829 search results - page 282 / 366
» Towards Validation of Requirements Models
Sort
View
FASE
2004
Springer
16 years 4 days ago
Consistent Adaptation and Evolution of Class Diagrams during Refinement
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
Alexander Egyed
WCRE
2009
IEEE
16 years 1 months ago
SQUAD: Software Quality Understanding through the Analysis of Design
—Object-oriented software quality models usually use metrics of classes and of relationships among classes to assess the quality of systems. However, software quality does not de...
Foutse Khomh
BMCBI
2007
122views more  BMCBI 2007»
15 years 6 months ago
TAP score: torsion angle propensity normalization applied to local protein structure evaluation
Background: Experimentally determined protein structures may contain errors and require validation. Conformational criteria based on the Ramachandran plot are mainly used to disti...
Silvio C. E. Tosatto, Roberto Battistutta
BMCBI
2007
105views more  BMCBI 2007»
15 years 6 months ago
VaxiJen: a server for prediction of protective antigens, tumour antigens and subunit vaccines
Background: Vaccine development in the post-genomic era often begins with the in silico screening of genome information, with the most probable protective antigens being predicted...
Irini A. Doytchinova, Darren R. Flower
ASIACRYPT
2010
Springer
15 years 4 months ago
Improved Single-Key Attacks on 8-Round AES-192 and AES-256
Abstract. AES is the most widely used block cipher today, and its security is one of the most important issues in cryptanalysis. After 13 years of analysis, related-key attacks wer...
Orr Dunkelman, Nathan Keller, Adi Shamir