Sciweavers

367 search results - page 72 / 74
» Industrial validation of COVAMOF
Sort
View
BCS
2008
13 years 7 months ago
Overcoming Software Fragility with Interacting Feedback Loops and Reversible Phase Transitions
Programs are fragile for many reasons, including software errors, partial failures, and network problems. One way to make software more robust is to design it from the start as a ...
Peter Van Roy
EACL
1993
ACL Anthology
13 years 7 months ago
An Endogeneous Corpus-Based Method for Structural Noun Phrase Disambiguation
In this paper, we describe a method for structural noun phrase disambiguation which mainly relies on the examination of the text corpus under analysis and doesn't need to int...
Didier Bourigault
SAC
2010
ACM
13 years 6 months ago
Graph-based verification of static program constraints
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
CDC
2008
IEEE
217views Control Systems» more  CDC 2008»
13 years 6 months ago
An ensemble Kalman filtering approach to highway traffic estimation using GPS enabled mobile devices
Traffic state estimation is a challenging problem for the transportation community due to the limited deployment of sensing infrastructure. However, recent trends in the mobile pho...
Daniel B. Work, Olli-Pekka Tossavainen, Sebastien ...
BMCBI
2007
97views more  BMCBI 2007»
13 years 5 months ago
A procedure for the estimation over time of metabolic fluxes in scenarios where measurements are uncertain and/or insufficient
Background: An indirect approach is usually used to estimate the metabolic fluxes of an organism: couple the available measurements with known biological constraints (e.g. stoichi...
Francisco Llaneras, Jesús Picó