2048 search results - page 190 / 410 » The Tale of Two Projects - Abstract |
149
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
142
click to vote
ICIAP
2007
ACM
15 years 10 months ago
2007
ACM
This paper advises the use of k-dimensional size functions for comparison and retrieval in the context of multidimensional shapes, where by shape we mean something in two or highe...
125
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
The objective of this paper is to describe the use of a probabilistic approach to Web effort estimation by means of a Bayesian Network. A Bayesian Network is a model that embodies ...
150
click to vote
XPU
2007
Springer
15 years 9 months ago
2007
Springer
The number of defects is an important indicator of software quality. Agile software development methods put an explicit requirement on automation and permanently low defect rates. ...
132
click to vote
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
— The optimization of classification systems is often confronted by the solution over-fit problem. Solution over-fit occurs when the optimized classifier memorizes the traini...