23036 search results - page 19 / 4608 » Sketching informal presentations |
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
SIGIR
2000
ACM
15 years 2 months ago
2000
ACM
AMT
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents an integrative agent model for adaptive human-aware information presentation. Within the agent model, meant to support humans in demanding tasks, a domain model...
WAIM
2005
Springer
15 years 3 months ago
2005
Springer
We address the problem that current Web applications present mainly the content-centric information, but lack cues and browsing mechanisms for online social information. After summ...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
This work draws on studies which explore resistance to the music industry's construal of copying music files as theft. Following a previous ethnography on participants' ...