Sciweavers

1937 search results - page 120 / 388
» Starting B Specifications from Use Cases
Sort
View
CIBSE
2008
ACM
15 years 6 months ago
Using Refinement Checking as System Testing
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
Cristiano Bertolini, Alexandre Mota
SIAMAM
2000
95views more  SIAMAM 2000»
15 years 4 months ago
Hopf Bifurcation Subject to a Large Delay in a Laser System
Hopf bifurcation theory for an oscillator subject to a weak feedback but a large delay is investigated for a specific laser system. The problem is motivated by semiconductor laser ...
Athanasios Gavrielides, Didier Pieroux, Thomas Ern...
ESA
2010
Springer
246views Algorithms» more  ESA 2010»
15 years 5 months ago
Estimating the Average of a Lipschitz-Continuous Function from One Sample
We study the problem of estimating the average of a Lipschitz continuous function f defined over a metric space, by querying f at only a single point. More specifically, we explore...
Abhimanyu Das, David Kempe
FASE
2004
Springer
15 years 10 months ago
Systematic Testing of Software Architectures in the C2 Style
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
Henry Muccini, Marcio S. Dias, Debra J. Richardson
CVPR
2008
IEEE
16 years 6 months ago
On errors-in-variables regression with arbitrary covariance and its application to optical flow estimation
Linear inverse problems in computer vision, including motion estimation, shape fitting and image reconstruction, give rise to parameter estimation problems with highly correlated ...
Björn Andres, Claudia Kondermann, Daniel Kond...