6614 search results - page 259 / 1323 » Semantics of Information as Interactive Computation |
144
click to vote
TGC
2005
Springer
16 years 5 days ago
2005
Springer
Protocol narrations are an informal means to describe, in an idealistic manner, the functioning of cryptographic protocols as a single intended sequence of cryptographic message ex...
171
click to vote
EKAW
2004
Springer
16 years 2 days ago
2004
Springer
Motivated by the need to extend features of semantic matchmaking between request and offer descriptions, a model is presented that exploits recently proposed non-standard inference...
186
click to vote
KCAP
2003
ACM
15 years 12 months ago
2003
ACM
Our research aims at interactive document viewers that can select and highlight relevant text passages on demand. Another related objective is the generation of topic-specific su...
177
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
144
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
This design theatre experience explores the use of choreographic improvisation exercises to reflect on the structures of interaction in a mobile, co-located group. The design tech...