1974 search results - page 174 / 395 » A Library System for Small-Scale Library |
106
click to vote
OSDI
2006
ACM
16 years 2 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...
WSDM
2010
ACM
15 years 11 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...
124
click to vote
LPNMR
2007
Springer
15 years 8 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...
127
click to vote
ICFEM
2005
Springer
15 years 7 months 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...
110
click to vote
USENIX
2003
15 years 3 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...