Sciweavers

4759 search results - page 470 / 952
» Software Development Based on Software Pattern Evolution
Sort
View
166
Voted
KBSE
2003
IEEE
15 years 11 months ago
Automation for Exception Freedom Proofs
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
Bill J. Ellis, Andrew Ireland
METRICS
1997
IEEE
15 years 10 months ago
Assessing Feedback Of Measurement Data: Relating Schlumberger Rps Practice To Learning Theory
Schlumberger RPS successfully applies software measurement to support their software development projects. It is proposed that the success of their measurement practices is mainly...
Rini van Solingen, Egon Berghout, Erik Kooiman
COLING
2000
15 years 7 months ago
Toward a Scoring Function for Quality-Driven Machine Translation
We describe how we constructed an automatic scoring function for machine translation quality; this function makes use of arbitrarily many pieces of natural language processing sof...
Douglas A. Jones, Gregory M. Rusk
SOFTWARE
2002
15 years 6 months ago
Facing Fault Management as It Is, Aiming for What You Would Like It to Be
Telecommunication systems are built with extensive redundancy and complexity to ensure robustness and quality of service. Such systems requires complex fault identification and man...
Roy Sterritt
SCFBM
2008
119views more  SCFBM 2008»
15 years 5 months ago
Permutation - based statistical tests for multiple hypotheses
Background: Genomics and proteomics analyses regularly involve the simultaneous test of hundreds of hypotheses, either on numerical or categorical data. To correct for the occurre...
Anyela Camargo, Francisco Azuaje, Haiying Wang, Hu...