1931 search results - page 255 / 387 » Why we blog |
141
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Online communities can help people form productive relationships. Unfortunately, this potential is not always fulfilled: many communities fail, and designers don't have a sol...
163
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
We first present in this paper why peripheral awareness is important in the context of Air Traffic Controller interfaces. Controllers are often working under a high working load, ...
157
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...
274
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
Databases are increasingly being used to store information covered by heterogeneous policies, which require support for access control with great flexibility. This has led to incr...
124
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Preparations for Y2K reminded the software engineering community of the extent to which long-lived software systems are embedded in our daily environments. As systems are maintain...