6775 search results - page 979 / 1355 » Diagnosis of Active Systems |
167
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
vSked is an interactive and collaborative assistive technology for students with autism, combining visual schedules, choice boards, and a token-based reward system into an integra...
239
click to vote
ACMSE
2011
ACM
14 years 6 months ago
2011
ACM
This paper describes the adaptation of a modern compiler construction course to target an FPGA-based hardware platform used throughout our computer science curriculum. One of the ...
209
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
168
click to vote
COMSNETS
2012
14 years 2 months ago
2012
Abstract—This paper describes Steptacular, an online interactive incentive system for encouraging people to walk more. A trial offering Steptacular to the employees of Accenture-...
161
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
Gamification, the use of game mechanics in non-gaming applications, has been applied to various systems to encourage desired user behaviors. In this paper, we examine patterns of ...