1744 search results - page 235 / 349 » A Proof-Carrying File System |
116
click to vote
SIGCSE
1998
ACM
15 years 4 months ago
1998
ACM
This paper describes our use of a 1970's era PDP-11/10 to support an hour long module which we have incorporated into our computer organization course for the past few semest...
132
click to vote
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
This article describes the status and analyses the challenges of mobile application development, proposed a frame of component-based hierarchical development. Software is divided ...
CLEF
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. The present article describes the system used for the our first participation in the imageCLEF 2009 Photo Annotation task. For the image classification we used four compo...
178
click to vote
AMT
2010
Springer
14 years 11 months ago
2010
Springer
At a time when the quantity of music media surrounding us is rapidly increasing and the access to recordings as well as the amount of music files available on the Internet is const...
142
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we discuss some of the lessons that we have learned working with the Hadoop and Sector/Sphere systems. Both of these systems are cloud-based systems designed to sup...