3069 search results - page 278 / 614 » Thinking about Technology |
203
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
176
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Participants were observed while searching and browsing the internet for campaign information in a mock-voting situation in three online note-taking conditions: No Notes, Private ...
158
click to vote
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
— The increasing availability of sensing devices has made the possibility of context-aware pervasive computing applications real. However, constructing this software requires ext...
186
click to vote
OZCHI
2009
ACM
16 years 1 months ago
2009
ACM
For many, an interest in Human-Computer Interaction is equivalent to an interest in usability. However, using computers is only one way of relating to them, and only one topic fro...
134
click to vote
IV
2009
IEEE
16 years 1 months ago
2009
IEEE
Re-finding previously viewed Web pages in browsing histories is often a difficult task, due to the incomplete and vague knowledge people have about the information they are seek...