Sciweavers

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