Sciweavers

860 search results - page 61 / 172
» Towards a UML for Interactive Systems
Sort
View
ROBOCUP
2007
Springer
159views Robotics» more  ROBOCUP 2007»
16 years 8 days ago
Model Checking Hybrid Multiagent Systems for the RoboCup
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...
CHI
2010
ACM
16 years 1 months ago
Video playdate: toward free play across distance
We present an empirical investigation of video-mediated free play between 13 pairs of friends (ages 7 and 8). The pairs spent 10 minutes playing with each of four different protot...
Svetlana Yarosh, Kori M. Inkpen, A. J. Bernheim Br...
INTERACT
2007
15 years 7 months ago
Towards a Physiological Model of User Interruptability
User interruptability has become an important topic of study in Human-Computer Interaction (HCI). However, automatically determining the availability of users is still problematic....
Daniel Chen, Jamie Hart, Roel Vertegaal
POPL
2012
ACM
14 years 1 months ago
Deciding choreography realizability
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
Samik Basu, Tevfik Bultan, Meriem Ouederni
CHI
2010
ACM
15 years 9 months ago
Informal interactions in nonprofit networks
Nonprofit organizations often need to excel in coordinating with other organizations and must do so in a variety of contexts and levels from the informal to the formal. Their abil...
Jennifer Stoll, W. Keith Edwards, Elizabeth D. Myn...