Sciweavers

9018 search results - page 41 / 1804
» 3D-Brain Model Software
Sort
View
FOSSACS
2010
Springer
15 years 1 months ago
Model Checking Is Static Analysis of Modal Logic
Flemming Nielson, Hanne Riis Nielson
KBSE
2010
IEEE
15 years 1 months ago
Automated model grouping
Michael Becker, Volker Gruhn
100
Voted
COMPSAC
2010
IEEE
14 years 10 months ago
Variability Modeling for Product Line Viewpoints Integration
Nan Niu, Juha Savolainen, Yijun Yu
SIGSOFT
2010
ACM
15 years 1 months ago
Climate change: a grand software challenge
Software is a critical enabling technology in nearly all aspects of climate change, from the computational models used by climate scientists to improve our understanding of the im...
Steve M. Easterbrook