5377 search results - page 73 / 1076 » Programming Languages For Interactive Computing |
CPP
2011
12 years 9 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
WOLLIC
2009
Springer
14 years 3 months ago
2009
Springer
ISORC
2007
IEEE
14 years 3 months ago
2007
IEEE
CHI
2006
ACM
14 years 9 months ago
2006
ACM
People come to online communities seeking information, encouragement, and conversation. When a community responds, participants benefit and become more committed. Yet interactions...
UAIS
2002
13 years 8 months ago
2002
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...