Sciweavers

2403 search results - page 65 / 481
» Using the WinWin Spiral Model: A Case Study
Sort
View
JSS
2006
78views more  JSS 2006»
15 years 27 days ago
An empirical study of process-related attributes in segmented software cost-estimation relationships
Parametric software effort estimation models consisting on a single mathematical relationship suffer from poor adjustment and predictive characteristics in cases in which the hist...
Juan Jose Cuadrado-Gallego, Miguel-Ángel Si...
DISOPT
2011
175views Education» more  DISOPT 2011»
14 years 4 months ago
Strengthening lattice-free cuts using non-negativity
In recent years there has been growing interest in generating valid inequalities for mixedinteger programs using sets with 2 or more constraints. In particular, Andersen et al. (2...
Ricardo Fukasawa, Oktay Günlük
ISIPTA
2003
IEEE
120views Mathematics» more  ISIPTA 2003»
15 years 6 months ago
Towards a Chaotic Probability Model for Frequentist Probability: The Univariate Case
We adopt the same mathematical model of a set M of probability measures as is central to the theory of coherent imprecise probability. However, we endow this model with an objecti...
Pablo Ignacio Fierens, Terrence L. Fine
TSE
1998
131views more  TSE 1998»
15 years 18 days ago
Experiences Using Lightweight Formal Methods for Requirements Modeling
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
Steve M. Easterbrook, Robyn R. Lutz, Richard Covin...
AINA
2008
IEEE
15 years 7 months ago
An Analytical Study of Wireless Error Models for Bluetooth Networks
Data transmission over wireless networks is challenging due to the occurrence of burst errors, and packet loss caused by such errors seriously limits the maximum achievable throug...
Hao-Hsiang Hung, Ling-Jyh Chen