155
click to vote
MSS
2000
IEEE
15 years 7 months ago
2000
IEEE
T This paper describes an architecture for a secure file system based on network-attached storage that guarantees end-to-end encryption for all user data. We describe the design of...
114
click to vote
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
The activity of babies and more specifically the posture of babies is an important aspect in their safety and development. In this paper, we studied the automatic classification o...
124
click to vote
MPC
2000
Springer
15 years 7 months ago
2000
Springer
It is possible, but difficult, to reason in Hoare logic about programs which address and modify data structures defined by pointers. The challenge is to approach the simplicity of ...
135
click to vote
ATAL
1997
Springer
15 years 7 months ago
1997
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
108
click to vote
MPC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We present an algorithm for inverse computation in a rstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) i...