4190 search results - page 212 / 838 » Implementing commitment-based interactions |
165
click to vote
ENTCS
2006
15 years 6 months ago
2006
Recently, encodings in interaction nets of the call-by-name and call-by-value strategies of the -calculus have been proposed. The purpose of these encodings was to he gap between ...
137
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Updating an operational system is often complex and awkward. In this article, we will explain how the concept of multi-layer interface could facilitate the evolution of operationa...
208
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
In this paper we describe AttrActive Windows, a novel interface for presenting live, interactive, multimedia content on a network of public, digital, bulletin boards. Implementing...
170
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Current approaches to the design of interactive systems emphasize openness, dynamic behavior, and evolution of the system. There is also a growing interest in accounting for human...
223
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...