1794 search results - page 154 / 359 » GRIDS, Databases, and Information Systems Engineering Resear... |
JUCS
2008
13 years 9 months ago
2008
: Over the last decade, due to the rapid developments in information technology (IT), a new breed of information systems has appeared such as geographic information systems that in...
TOPLAS
2002
13 years 9 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
SIGIR
2003
ACM
14 years 2 months ago
2003
ACM
Distributed search systems are an emerging phenomenon in Web search, in which independent topic-speciļ¬c search engines provide search services, and metasearchers distribute userā...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
Software is a critical enabling technology in nearly all aspects of climate change, from the computational models used by climate scientists to improve our understanding of the im...
VLDB
2004
ACM
14 years 2 months ago
2004
ACM
Audit logs are considered good practice for business systems, and are required by federal regulations for secure systems, drug approval data, medical information disclosure, ļ¬na...