368 search results - page 8 / 74 » The Role of Verification in Interactive Systems Design |
HCI
2009
13 years 5 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...
CHI
2003
ACM
14 years 7 months ago
2003
ACM
Despite recent advances in natural language question answering technology, the problem of designing effective user interfaces has been largely unexplored. We conducted a user stud...
HUC
1999
Springer
13 years 11 months ago
1999
Springer
This paper considers the role of network connectivity in supporting context-sensitive applications. A range of context-sensitive applications are analysed with respect to connectiv...
AGENTS
1999
Springer
13 years 11 months ago
1999
Springer
This paper presents a methodology for agent-oriented analysis and design. The methodology is general, in that it is applicable to a wide range of multi-agent systems, and comprehe...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...