Sciweavers

548 search results - page 59 / 110
» Using Games As a Means for Collaboration
Sort
View
ISSTA
2004
ACM
15 years 5 months ago
Optimal strategies for testing nondeterministic systems
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
Lev Nachmanson, Margus Veanes, Wolfram Schulte, Ni...
SIGCSE
2008
ACM
161views Education» more  SIGCSE 2008»
14 years 11 months ago
Improving retention and graduate recruitment through immersive research experiences for undergraduates
Research experiences for undergraduates are considered an effective means for increasing student retention and encouraging undergraduate students to continue on to graduate school...
Teresa A. Dahlberg, Tiffany Barnes, Audrey Rorrer,...
CHI
2003
ACM
16 years 5 days ago
PhotoPhone entertainment
We demonstrate two complementary interaction techniques for electronic large displays that are designed for cameraequipped mobile phones. The first one enables the direct selectio...
Johan Thoresson
CLIMA
2011
13 years 11 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
ECSCW
2001
15 years 1 months ago
Spaces of practice
This paper compares the properties of physical and digital workspaces in the context of a prototype of a collaborative virtual environment that has been developed with reference to...
Monika Büscher, Preben Mogensen, Dan Shapiro