Sciweavers

3914 search results - page 56 / 783
» Automating SLA modeling
Sort
View
104
Voted
CHI
2002
ACM
16 years 2 months ago
Automating CPM-GOMS
CPM-GOMS is a modeling method that combines the task decomposition of a GOMS analysis with a model of human resource usage at the level of cognitive, perceptual, and motor operati...
Bonnie E. John, Alonso H. Vera, Michael Matessa, M...
110
Voted
MICCAI
2003
Springer
16 years 3 months ago
Automated Model-Based Segmentation of the Left and Right Ventricles in Tagged Cardiac MRI
Albert Montillo, Dimitris N. Metaxas, Leon Axel
ICECCS
2009
IEEE
118views Hardware» more  ICECCS 2009»
15 years 9 months ago
Automating the Generation of Platform Specific Models
W. El Hajj Chehade, Ansgar Radermacher, Arnaud Cuc...
FM
2009
Springer
127views Formal Methods» more  FM 2009»
15 years 9 months ago
Automated Property Verification for Large Scale B Models
Michael Leuschel, Jérôme Falampin, Fa...
90
Voted
ICSR
2009
Springer
15 years 9 months ago
Variability in Automation System Models
Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree