Sciweavers

77016 search results - page 99 / 15404
» Modeling
Sort
View
POPL
2002
ACM
16 years 2 months ago
Types as models: model checking message-passing programs
Sagar Chaki, Sriram K. Rajamani, Jakob Rehof
ICEIS
2009
IEEE
15 years 9 months ago
Toward a Quality Model for CBSE - Conceptual Model Proposal
María A. Reyes, Maryoly Ortega, Marí...
66
Voted
IWANN
2009
Springer
15 years 9 months ago
Modelling Dengue Epidemics with Autoregressive Switching Markov Models (AR-HMM)
Madalina Olteanu, Esther García-Garaluz, Mi...
81
Voted
CDC
2008
IEEE
136views Control Systems» more  CDC 2008»
15 years 9 months ago
Cascade structural model approximation of identified state space models
Bo Wahlberg, Henrik Sandberg