26957 search results - page 37 / 5392 » Information Systems Modernization |
CADE
2002
Springer
14 years 9 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. The Library of Babel, described by Jorge Luis Borges, stores an enormous amount of information. The Library exists ab aeterno. Wikipedia, a free online encyclopaedia, bec...
JSAC
2006
13 years 9 months ago
2006
4G systems are expected to support data rates of the order of 100 Mbps in the outdoor environment and 1 Gbps in the indoor/stationary environment. In order to support such large p...
ICIS
2004
13 years 10 months ago
2004
Enterprise systems entail complex organizational interventions. Accurately gauging the impact of any complex information system requires understanding its multidimensionality, and...
HOTOS
1999
IEEE
14 years 1 months ago
1999
IEEE
Most modern I/O systems treat each file access independently. However, events in a computer system are driven by programs. Thus, accesses to files occur in consistent patterns and...