1974 search results - page 174 / 395 » A Library System for Small-Scale Library |
177
Voted
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
HiStar is a new operating system designed to minimize the amount of code that must be trusted. HiStar provides strict information flow control, which allows users to specify preci...
154
click to vote
WSDM
2010
ACM
16 years 4 months ago
2010
ACM
A fundamental premise of tagging systems is that regular users can organize large collections for browsing and other tasks using uncontrolled vocabularies. Until now, that premise...
190
Voted
LPNMR
2007
Springer
16 years 1 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
192
Voted
ICFEM
2005
Springer
16 years 14 days ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
173
Voted
USENIX
2003
15 years 8 months ago
2003
Recent efforts aimed at improving the scalability of the JavaTM platform have focused primarily on the safe collocation of multiple applications in the virtual machine. This is of...