109 search results - page 2 / 22 » Model-checking Driven Design of Interactive Systems |
EDOC
2005
IEEE
14 years 1 months ago
2005
IEEE
ENTCS
2007
13 years 7 months ago
2007
APSEC
2006
IEEE
14 years 1 months ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
CHI
2009
ACM
13 years 5 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
JUCS
2008
13 years 7 months ago
2008
: Many methods in the area of Human-Computer Interaction have been developed for deriving user interfaces considering individual users. However, nowadays information systems includ...