537 search results - page 98 / 108 » Accountability and automation bias |
160
click to vote
SOSP
2003
ACM
16 years 2 months ago
2003
ACM
Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example,...
141
click to vote
HICSS
2009
IEEE
16 years 26 days ago
2009
IEEE
As semantic web technologies are increasingly used to empower knowledge management systems (KMSs), there is a growing need for mechanisms and automated tools for checking content ...
186
click to vote
WOLLIC
2009
Springer
16 years 20 days ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
167
click to vote
LICS
2008
IEEE
16 years 14 days ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
176
click to vote
HIPEAC
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. Network processors are programmable devices that can process packets at a high speed. A network processor is typified by multithreading and heterogeneous multiprocessing...