1744 search results - page 298 / 349 » A Proof-Carrying File System |
126
click to vote
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
Ubiquitous application software usually has multiple QoS requirements, such as situationawareness, real-time, and security, which make the application software development complic...
114
click to vote
JCDL
2003
ACM
15 years 9 months ago
2003
ACM
Although the OAI-PMH specification is focused on making it straightforward for data providers to expose metadata, practice shows that in certain significant situations deployment ...
125
click to vote
SAC
2003
ACM
15 years 9 months ago
2003
ACM
Semantic Web shows us the potential infrastructure of the next generation Web. Web information will be understandable to machines in this infrastructure. Our research work1 has th...
124
click to vote
SIGUCCS
2003
ACM
15 years 9 months ago
2003
ACM
Customers of public computing sites and faculty who use the public computer classrooms to teach want diversity in computing. Inevitably, there’s a group that does not want to te...
143
click to vote
IFL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...