13791 search results - page 2613 / 2759 » Modeling Web Interactions |
154
click to vote
IAT
2010
IEEE
15 years 1 months ago
2010
IEEE
When its human operator cannot continuously supervise (much less teleoperate) an agent, the agent should be able to recognize its limitations and ask for help when it risks making...
170
Voted
ICSE
2010
IEEE-ACM
15 years 1 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...
119
Voted
SIGSOFT
2010
ACM
15 years 1 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...
168
Voted
TACAS
2010
Springer
15 years 1 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...
120
Voted
WDAG
2010
Springer
15 years 1 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...