368 search results - page 3 / 74 » The Role of Verification in Interactive Systems Design |
JOT
2007
13 years 5 months ago
2007
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
DATE
2004
IEEE
13 years 9 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
CSCW
1996
ACM
13 years 10 months ago
1996
ACM
Many collaborative and communicative environments use notions of "space" and spatial organisation to facilitate and structure interaction. We argue that a focus on spati...
CEEMAS
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. The notions of role and organization have often been emphasized in several agent oriented methodologies. Sadly, the notion of interaction has seldom been reified in these...
INTERACT
1997
13 years 7 months ago
1997
In order for global software to be marketed successfully, the design of interfaces should accommodate users’ cultural differences. This study examines users’ culturally specifi...