Sciweavers

6650 search results - page 43 / 1330
» models 2009
Sort
View
FASE
2009
Springer
16 years 15 min ago
Formal Foundation for Pattern-Based Modelling
Paolo Bottoni, Esther Guerra, Juan de Lara
ICSE
2009
IEEE-ACM
15 years 12 months 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»
15 years 12 months ago
On formal models for social verification
Chien-Ju Ho, Kuan-Ta Chen