Sciweavers

10447 search results - page 1723 / 2090
» The Philosophy of Computer Science
Sort
View
EMSOFT
2011
Springer
14 years 6 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
CSCW
2012
ACM
14 years 2 months ago
Investigating effects of visual and tactile feedback on spatial coordination in collaborative handheld systems
Mobile and handheld devices have become platforms to support remote collaboration. But, their small form-factor may impact the effectiveness of the visual feedback channel often u...
Koji Yatani, Darren Gergle, Khai N. Truong
CSCW
2012
ACM
14 years 2 months ago
Shepherding the crowd yields better work
Micro-task platforms provide massively parallel, ondemand labor. However, it can be difficult to reliably achieve high-quality work because online workers may behave irresponsibly...
Steven Dow, Anand Pramod Kulkarni, Scott R. Klemme...
CSCW
2012
ACM
14 years 2 months ago
CoRED: browser-based Collaborative Real-time Editor for Java web applications
While the users of completed applications are heavily moving from desktop to the web browser, the majority of developers are still working with desktop IDEs such as Eclipse or Vis...
Janne Lautamäki, Antti Nieminen, Johannes Kos...
CHI
2009
ACM
16 years 7 months ago
Adaptive brain-computer interface
Passive brain-computer interfaces are designed to use brain activity as an additional input, allowing the adaptation of the interface in real time according to the user's men...
Audrey Girouard
« Prev « First page 1723 / 2090 Last » Next »