8874 search results - page 44 / 1775 » A New Implementation of Automath |
73
Voted
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper reports on one of the first efforts to apply Value-Sensitive Design (VSD) to a large-scale real-world software system. We sought to improve informed consent in Web-base...
105
Voted
SRDS
2000
IEEE
15 years 5 months ago
2000
IEEE
The concept of unreliable failure detector was introduced by Chandra and Toueg [2] as a mechanism that provides information about process failures. Depending on the properties the...
83
Voted
USENIX
2001
15 years 2 months ago
2001
The 2000 Usenix Technical Conference included a presentation outlining the state of the X rendering environment and the capabilities necessary to bring X into the modern world. Du...
102
Voted
USENIX
2004
15 years 2 months ago
2004
The X Window System is the de facto standard graphical environment for Linux and Unix hosts, and is usable on nearly any class of computer one could find today. Its success is par...
123
Voted
JCC
2008
15 years 18 days ago
2008
: For the new parallel implementation of electronic structure methods in ACES III (Lotrich et al., in preparation) the present state-of-the-art algorithms for the evaluation of ele...