109 search results - page 16 / 22 » Model-checking Driven Design of Interactive Systems |
HCI
2009
14 years 7 months ago
2009
The popularity of social information systems has been driven by their ability to help users manage, organize and share online resources. Though the research exploring the use of ta...
CMMR
2007
Springer
15 years 3 months ago
2007
Springer
The paper describes an interactive musical system that utilizes a genetic algorithm in an effort to create inspiring collaborations between human musicians and an improvisatory ro...
CAISE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. To cope with the ever increasing diversity of markup languages, programming languages, tool kits and interface development environments, conceptual modeling of user inter...
SIGSOFT
2003
ACM
15 years 2 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
WETICE
2003
IEEE
15 years 2 months ago
2003
IEEE
Computer science and engineering nowadays appears to be challenged (and driven) by technological progress and quantitative growth. Among the technological progress challenges are ...