Sciweavers

158 search results - page 15 / 32
» Requirement Analysis Evolution through Patterns
Sort
View
MMAS
2010
Springer
13 years 2 months ago
Gyrokinetic Vlasov Equation in Three Dimensional Setting. Second Order Approximation
One of the main applications in plasma physics concerns the energy production through thermo-nuclear fusion. The controlled fusion requires the confinement of the plasma into a bo...
Mihai Bostan
MICCAI
2000
Springer
13 years 11 months ago
Robust 3D Segmentation of Anatomical Structures with Level Sets
This paper is focused on the use of the level set formalism to segment anatomical structures in 3D images (ultrasound ou magnetic resonance images). A closed 3D surface propagates...
C. Baillard, Christian Barillot
BCS
2008
13 years 9 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002
JSW
2008
130views more  JSW 2008»
13 years 7 months ago
A Constraint-Driven Executable Model of Dynamic System Reconfiguration
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
D'Arcy Walsh, Francis Bordeleau, Bran Selic
BMCBI
2006
129views more  BMCBI 2006»
13 years 8 months ago
EGenBio: A Data Management System for Evolutionary Genomics and Biodiversity
Background: Evolutionary genomics requires management and filtering of large numbers of diverse genomic sequences for accurate analysis and inference on evolutionary processes of ...
Laila A. Nahum, Matthew T. Reynolds, Zhengyuan O. ...