Sciweavers

9018 search results - page 41 / 1804
» 3D-Brain Model Software
Sort
View
FOSSACS
2010
Springer
15 years 28 days ago
Model Checking Is Static Analysis of Modal Logic
Flemming Nielson, Hanne Riis Nielson
KBSE
2010
IEEE
15 years 24 days ago
Automated model grouping
Michael Becker, Volker Gruhn
SIGSOFT
2010
ACM
15 years 7 days 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