Sciweavers

6751 search results - page 467 / 1351
» Engineering Quality Requirements Using Quality Models
Sort
View
229
Voted
KBSE
2005
IEEE
16 years 1 months ago
Automated test generation for engineering applications
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
Songtao Xia, Ben Di Vito, César Muño...
SIGCOMM
2010
ACM
15 years 7 months ago
Reducing energy consumption in IPTV networks by selective pre-joining of channels
IPTV services are the fastest growing television services in the world today. This is a bandwidth intensive service, requiring low latency and tight control of jitter. To guarante...
Fernando M. V. Ramos, Richard J. Gibbens, Fei Song...
BMCBI
2005
92views more  BMCBI 2005»
15 years 7 months ago
A decoy set for the thermostable subdomain from chicken villin headpiece, comparison of different free energy estimators
Background: Estimators of free energies are routinely used to judge the quality of protein structural models. As these estimators still present inaccuracies, they are frequently e...
Federico Fogolari, Silvio C. E. Tosatto, Giorgio C...
173
Voted
PROFES
2004
Springer
16 years 1 months ago
Intelligent Support for Software Release Planning
One of the most prominent issues involved in incremental software development is to decide upon the most appropriate software release plans taking into account all explicit and imp...
Amandeep, Günther Ruhe, Mark Stanford
271
Voted
JISBD
2003
15 years 9 months ago
XSDoc: an Extensible Wiki-based Infrastructure for Framework Documentation
Good quality documentation is crucial for the effective reuse of object-oriented frameworks, and must be adaptable to the needs of different audiences. To satisfy these needs, fra...
Ademar Aguiar, Gabriel David, Manuel Padilha