1528 search results - page 107 / 306 » Implementing Generalized Operator Overloading |
109
Voted
SOSP
2007
ACM
15 years 11 months ago
2007
ACM
As users interact with the world and their peers through their computers, it is becoming important to archive and later search the information that they have viewed. We present De...
124
Voted
ECSQARU
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
132
click to vote
ISW
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Applications typically rely on the operating system to enforce access control policies such as MAC, DAC, or other policies. However, in the face of a compromised operatin...
136
click to vote
STORAGESS
2005
ACM
15 years 8 months ago
2005
ACM
Data integrity is a fundamental aspect of storage security and reliability. With the advent of network storage and new technology trends that result in new failure modes for stora...
114
click to vote
SIGOPSE
2000
ACM
15 years 7 months ago
2000
ACM
Recently there has been a renewed interest in the application of economic models to the management of computational resources. Most of this interest is focused on pricing models f...