Sciweavers

8099 search results - page 388 / 1620
» Higher-Order Task Models
Sort
View
ISORC
1998
IEEE
15 years 11 months ago
Coordinated Atomic Actions in Modelling Objects Cooperation
: Systems are defined by their components and the relationships among their components, hence when modelling systems using an objectoriented (OO) approach, objects alone are insuff...
Rogério de Lemos, Alexander B. Romanovsky
CHI
1992
ACM
15 years 11 months ago
A Computational Model of Skilled Use of a Graphical User Interface
This paper describes a computational model of skilled use of a graphical user interface based on Kintsch's construction-integration theory [4, 8]. The model uses knowledge of...
Muneo Kitajima, Peter G. Polson
AMDO
2006
Springer
15 years 10 months ago
Composition of Complex Motion Models from Elementary Human Motions
An appraisal of human motions and particular motion phases is essential for a good interaction between a human and a humanoid robot. We present a new method for the analysis of hum...
Jörg Moldenhauer, Ingo Boesnach, Thorsten Ste...
FM
2006
Springer
121views Formal Methods» more  FM 2006»
15 years 10 months ago
Properties of Behavioural Model Merging
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
Greg Brunet, Marsha Chechik, Sebastián Uchi...
BIS
2008
92views Business» more  BIS 2008»
15 years 8 months ago
Structural Detection of Deadlocks in Business Process Models
Abstract. A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low ...
Ahmed Awad, Frank Puhlmann