2477 search results - page 322 / 496 » First-Order Interactive Programming |
151
click to vote
TSE
2011
14 years 9 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
115
click to vote
CHI
2011
ACM
14 years 5 months ago
2011
ACM
MobileASL, a software program enabling sign-language video on mobile devices over conventional U.S. cellular networks, was evaluated in a three-week field study during the summer ...
188
click to vote
HCI
2011
14 years 5 months ago
2011
While virtual worlds have evolved to provide a good medium for social communication, they are very primitive in their social and affective communication design. The social communic...
107
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
117
click to vote
CHI
2009
ACM
16 years 2 months ago
2009
ACM
Intelligent Tutoring Systems (ITSs) have been shown to have dramatic impact on student learning [9]. However, these gains have been mostly in topics in which the interface has bee...