Sciweavers

8196 search results - page 49 / 1640
» Computational Modeling and Complexity Science
Sort
View
66
Voted
CAD
2006
Springer
15 years 2 months ago
A new modeling interface for the pen-input displays
Dae Hyun Kim, Myoung-Jun Kim
132
Voted
SOFSEM
2010
Springer
15 years 9 months ago
Model-Driven Software Product Line Testing: An Integrated Approach
Andy Schürr, Sebastian Oster, Florian Markert
87
Voted
RELMICS
2009
Springer
15 years 9 months ago
A Model of Internet Routing Using Semi-modules
John N. Billings, Timothy G. Griffin
SPIN
2009
Springer
15 years 9 months ago
Experience with Model Checking Linearizability
Martin T. Vechev, Eran Yahav, Greta Yorsh