Sciweavers

3914 search results - page 56 / 783
» Automating SLA modeling
Sort
View
CHI
2002
ACM
16 years 4 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...
117
Voted
MICCAI
2003
Springer
16 years 4 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 10 months ago
Automating the Generation of Platform Specific Models
W. El Hajj Chehade, Ansgar Radermacher, Arnaud Cuc...
78
Voted
FM
2009
Springer
127views Formal Methods» more  FM 2009»
15 years 10 months ago
Automated Property Verification for Large Scale B Models
Michael Leuschel, Jérôme Falampin, Fa...
101
Voted
ICSR
2009
Springer
15 years 10 months ago
Variability in Automation System Models
Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree