Sciweavers

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