23036 search results - page 19 / 4608 » Sketching informal presentations |
149
click to vote
IFIP
2010
Springer
15 years 26 days 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...
174
click to vote
AMT
2009
Springer
16 years 18 days 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...
148
click to vote
WAIM
2005
Springer
15 years 11 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...
176
click to vote
CHI
2007
ACM
16 years 6 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' ...