Sciweavers

6650 search results - page 53 / 1330
» models 2009
Sort
View
OOPSLA
2009
Springer
16 years 3 days ago
The 9th OOPSLA workshop on domain-specific modeling
Juha-Pekka Tolvanen, Jeff Gray, Matti Rossi, Jonat...
RELMICS
2009
Springer
16 years 3 days ago
A Model of Internet Routing Using Semi-modules
John N. Billings, Timothy G. Griffin
SPIN
2009
Springer
16 years 3 days ago
Experience with Model Checking Linearizability
Martin T. Vechev, Eran Yahav, Greta Yorsh
MM
2009
ACM
141views Multimedia» more  MM 2009»
16 years 2 days ago
Mining city landmarks from blogs by graph modeling
Rongrong Ji, Xing Xie, Hongxun Yao, Wei-Ying Ma