Sciweavers

2740 search results - page 442 / 548
» Typing the Specialization Interface
Sort
View
133
Voted
PUC
2010
121views more  PUC 2010»
15 years 2 months ago
Expressing and interpreting emotional movements in social games with robots
This paper provides a framework for recording, analyzing and modeling of 3 dimensional emotional movements for embodied game applications. To foster embodied interaction, we need i...
Emilia I. Barakova, Tino Lourens
114
Voted
TCS
2010
15 years 1 months ago
Arrows for secure information flow
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
Peng Li, Steve Zdancewic
124
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
Designing Benchmarks for P2P Systems
In this paper we discuss requirements for peer-to-peer (P2P) benchmarking, and we present two exemplary approaches to benchmarks for Distributed Hashtables (DHT) and P2P gaming ove...
Max Lehn, Tonio Triebel, Christian Gross, Dominik ...
123
Voted
CHI
2010
ACM
15 years 1 months ago
The life and times of files and information: a study of desktop provenance
In the field of Human-Computer Interaction, provenance refers to the history and genealogy of a document or file. Provenance helps us to understand the evolution and relationships...
Carlos Jensen, Heather Lonsdale, Eleanor Wynn, Jil...
131
Voted
GROUP
2010
ACM
15 years 1 months ago
Everyday favors: a case study of a local online gift exchange system
This paper focuses on online gift exchange in a setting where online and offline interactions are tightly intertwined and most of the exchanges require face-to-face interaction to...
Emmi Suhonen, Airi Lampinen, Coye Cheshire, Judd A...