Sciweavers

550 search results - page 66 / 110
» An Architecture-Based Software Reliability Model
Sort
View
SIGIR
2006
ACM
14 years 4 months ago
Formal models for expert finding in enterprise corpora
Searching an organization’s document repositories for experts provides a cost effective solution for the task of expert finding. We present two general strategies to expert se...
Krisztian Balog, Leif Azzopardi, Maarten de Rijke
ICSE
2005
IEEE-ACM
14 years 11 months ago
Data structure repair using goal-directed reasoning
Data structure repair is a promising technique for enabling programs to execute successfully in the presence of otherwise fatal data structure corruption errors. Previous research...
Brian Demsky, Martin C. Rinard
SBMF
2009
Springer
105views Formal Methods» more  SBMF 2009»
14 years 5 months ago
Verifying Compiled File System Code
Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
Jan Tobias Mühlberg, Gerald Lüttgen
ISSRE
2000
IEEE
14 years 3 months ago
Module Size Distribution and Defect Density
Data from several projects show a significant relationship between the size of a module and its defect density. Here we address implications of this observation. Does the overall ...
Yashwant K. Malaiya, Jason Denton
TASLP
2010
101views more  TASLP 2010»
13 years 5 months ago
Gaussian Model-Based Multichannel Speech Presence Probability
The knowledge of the target speech presence probability in a mixture of signals captured by a speech communication system is of paramount importance in several applications includi...
Mehrez Souden, Jingdong Chen, Jacob Benesty, Sofi&...