7694 search results - page 447 / 1539 » An Implementation of an Applicative File System |
174
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Today, people use multiple devices to fulfill their information needs. However, designers design each device individually, without accounting for the other devices that users may ...
168
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In the UNIX/Linux environment the kernel can log every command process created by every user using process accounting. This data has many potential uses, including the investigati...
175
click to vote
IPM
2008
15 years 6 months ago
2008
This paper reviews the career and legacy of William (Bill) Goffman, who served as a researcher, Professor, Dean and Emeritus at Case Western Reserve University, Cleveland, Ohio, f...
201
click to vote
ISCA
2008
IEEE
15 years 6 months ago
2008
IEEE
There is an increasing need for new Web server architectures that are application-centric, simple, small, and pervasive in nature. In this paper, we present a novel architecture f...
197
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...