Sciweavers

3914 search results - page 56 / 783
» Automating SLA modeling
Sort
View
CHI
2002
ACM
14 years 8 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...
ICECCS
2009
IEEE
118views Hardware» more  ICECCS 2009»
14 years 2 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»
14 years 2 months ago
Automated Property Verification for Large Scale B Models
Michael Leuschel, Jérôme Falampin, Fa...
ICSR
2009
Springer
14 years 2 months ago
Variability in Automation System Models
Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree