7545 search results - page 1119 / 1509 » Coupling Application Design and User Interface Design |
168
click to vote
HT
2003
ACM
15 years 12 months ago
2003
ACM
Metadocuments are documents that consist primarily of references to other documents, and elements within them. Our active browsing web visualization tool generates an evolving ser...
207
Voted
AH
2008
Springer
16 years 1 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
243
click to vote
ICSE
2007
IEEE-ACM
16 years 27 days ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
248
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
We propose a new approach to ensure privacy in location based services, without requiring any support from a"trusted" entity. We observe that users of location based ser...
202
click to vote
MUM
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we suggest a conceptual architecture for music systems, designed to shift the control over a shared urban space to the users themselves, and also to encourage social...