13534 search results - page 2580 / 2707 » Modelling Human-Computer Interaction |
ICSE
2010
IEEE-ACM
13 years 6 months ago
2010
IEEE-ACM
In a multi-developer project, team collaboration is essential for the success of the project. When team members are spread across different locations, informal interactions are lo...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...
TACAS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
WDAG
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Cooperation, a necessity for any peer-to-peer (P2P) cooperative service, is often achieved by rewarding good behavior now with the promise of future benefits. However, in...
ATAL
2009
Springer
13 years 6 months ago
2009
Springer
This paper is motivated by some recent, intriguing research results involving agent-organized networks (AONs). In AONs, nodes represent agents, and collaboration between nodes are...