Sciweavers

8347 search results - page 310 / 1670
» Performance testing of software systems
Sort
View
KBSE
2008
IEEE
15 years 10 months ago
Type-Checking Software Product Lines - A Formal Approach
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Christian Kästner, Sven Apel
HICSS
2006
IEEE
120views Biometrics» more  HICSS 2006»
15 years 10 months ago
Reconciling the Irreconcilable? A Software Development Approach that Combines Agile with Formal
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...
José Gonçalo A. Oliveira Basto da Si...
ICASSP
2011
IEEE
14 years 8 months ago
Effective background data selection in SVM speaker recognition for unseen test environment: More is not always better
This study focuses on determining a procedure to select effective negative examples for development of improved Support Vector Machine (SVM) based speaker recognition. Selection o...
Jun-Won Suh, Yun Lei, Wooil Kim, John H. L. Hansen
ICECCS
1998
IEEE
123views Hardware» more  ICECCS 1998»
15 years 8 months ago
Applying Slicing Technique to Software Architectures
Software architecture is receiving increasingly attention as a critical design level for software systems. As software architecture design resources (in the form of architectural ...
Jianjun Zhao
CIKM
2006
Springer
15 years 8 months ago
Investigating the exhaustivity dimension in content-oriented XML element retrieval evaluation
INEX, the evaluation initiative for content-oriented XML retrieval, has since its establishment defined the relevance of an element according to two graded dimensions, exhaustivit...
Paul Ogilvie, Mounia Lalmas