1384 search results - page 190 / 277 » Protocol Models of Human-Computer Interaction |
ICFEM
2003
Springer
15 years 3 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
To contribute to systems that reason about human attention, our work empirically demonstrates how a user's mental workload changes during task execution. We conducted a study...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
This paper introduces a new framework for thinking about tangible interfaces in education, with specific focus on problem domains. Manipulatives are physical objects specifically ...
106
click to vote
IAT
2010
IEEE
14 years 8 months ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
112
click to vote
CN
2004
14 years 9 months ago
2004
This work deals with reconfigurable control functions and protocols for supporting mobile computing applications in heterogeneous wireless systems like cellular networks and WLANs...