3378 search results - page 91 / 676 » A universe of binding and computation |
HICSS
2010
IEEE
15 years 4 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...
CRYPTO
2007
Springer
15 years 4 months ago
2007
Springer
This work describes a mode of operation, TET, that turns a regular block cipher into a length-preserving enciphering scheme for messages of (almost) arbitrary length. When using a...
AUIC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper provides an insight into the usability of our Universal Interaction Controller (UIC), a user interface device designed to support interactions in ubiquitous computing e...
HICSS
2000
IEEE
15 years 2 months ago
2000
IEEE
The potential of Computer-Mediated Communication (CMC) to enable new forms of social interaction and foster democratisation of decision making has raised much interest but has bee...
107
click to vote
AMAST
2006
Springer
15 years 1 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...