Sciweavers

1390 search results - page 180 / 278
» A Methodology for Requirements Engineering Process Developme...
Sort
View
SIGSOFT
2003
ACM
16 years 19 days ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
ECBS
1999
IEEE
138views Hardware» more  ECBS 1999»
15 years 4 months ago
Multi-Domain Surety Modeling and Analysis for High Assurance Systems
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
James Davis, Jason Scott, Janos Sztipanovits, Marc...
MICCAI
2004
Springer
16 years 23 days ago
Bone Motion Analysis from Dynamic MRI: Acquisition and Tracking
For diagnosis, preoperative planning and postoperative guides, an accurate estimate of joints kinematics is required. We bring together MRI developments and new image processing me...
Benjamin Gilles, Rosalind Perrin, Nadia Magnenat-T...
DATE
2006
IEEE
95views Hardware» more  DATE 2006»
15 years 6 months ago
An effective technique for minimizing the cost of processor software-based diagnosis in SoCs
The ever increasing usage of microprocessor devices is sustained by a high volume production that in turn requires a high production yield, backed by a controlled process. Fault d...
Paolo Bernardi, Ernesto Sánchez, Massimilia...
ISMIR
2004
Springer
126views Music» more  ISMIR 2004»
15 years 5 months ago
Tools and Architecture for the Evaluation of Similarity Measures : Case Study of Timbre Similarity
The systematic testing of the very many parameters and algorithmic variants involved in the design of high-level music descriptors at large, and similarity measure in particular, ...
Jean-Julien Aucouturier, François Pachet