Sciweavers

1937 search results - page 99 / 388
» Starting B Specifications from Use Cases
Sort
View
173
Voted
TSE
2010
197views more  TSE 2010»
14 years 11 months ago
A Genetic Algorithm-Based Stress Test Requirements Generator Tool and Its Empirical Evaluation
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
Vahid Garousi
DOCENG
2010
ACM
15 years 5 months ago
Linking data and presentations: from mapping to active transformations
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...
Olivier Beaudoux, Arnaud Blouin
190
Voted
IFIP
2010
Springer
14 years 11 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
AUSDM
2008
Springer
224views Data Mining» more  AUSDM 2008»
15 years 6 months ago
Customer Event Rate Estimation Using Particle Filters
Estimating the rate at which events happen has been studied under various guises and in different settings. We are interested in the specific case of consumerinitiated events or t...
Harsha Honnappa
IROS
2007
IEEE
148views Robotics» more  IROS 2007»
15 years 11 months ago
Trajectory recovery and 3D mapping from rotation-compensated imagery for an airship
— On this paper, inertial orientation measurements are exploited to compensate the rotational degrees of freedom for an aerial vehicle carrying a perspective camera, taking a seq...
Luiz G. B. Mirisola, Jorge Dias, Anibal T. de Alme...