18321 search results - page 3547 / 3665 » The benefits of using information systems |
176
click to vote
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
254
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
The past few decades have witnessed a chronic and widening imbalance among processor bandwidth, disk capacity, and access speed of disk. According to Amdhal's law, the perfor...
173
click to vote
EDBT
2008
ACM
2008
ACM
iDataGuard: middleware providing a secure network drive interface to untrusted internet data storage
16 years 6 months ago
In this demonstration, we present the design and features of iDataGuard. iDataGuard is an interoperable security middleware that allows users to outsource their file systems to he...
180
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
183
click to vote
ICS
2010
Tsinghua U.
16 years 3 months ago
2010
Tsinghua U.
Computation in the physical world is restricted by the following spatial locality constraint: In a single unit of time, information can only travel a bounded distance in space. A ...