Sciweavers

6650 search results - page 43 / 1330
» models 2009
Sort
View
FASE
2009
Springer
16 years 29 days ago
Formal Foundation for Pattern-Based Modelling
Paolo Bottoni, Esther Guerra, Juan de Lara
ICSE
2009
IEEE-ACM
16 years 28 days ago
From system specifications to component behavioral models
Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvid...
KDD
2009
ACM
161views Data Mining» more  KDD 2009»
16 years 28 days ago
On formal models for social verification
Chien-Ju Ho, Kuan-Ta Chen