Sciweavers

26957 search results - page 77 / 5392
» Information Systems Modernization
Sort
View
HOTOS
1999
IEEE
14 years 1 months ago
Elephant: The File System That Never Forgets
Modern file systems associate the deletion of a file with the release of the storage associated with that file, and file writes with the irrevocable change of file contents. We pr...
Douglas J. Santry, Michael J. Feeley, Norman C. Hu...
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
14 years 6 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
ENVSOFT
2007
78views more  ENVSOFT 2007»
13 years 9 months ago
CREDOS: A Conservation Reserve Evaluation And Design Optimisation System
A number of spatial decision support systems (SDSSs) are already available for the systematic planning of conservation reserves. These existing systems offer varying levels of int...
Neville D. Crossman, Lyall M. Perry, Brett A. Brya...
ER
2008
Springer
140views Database» more  ER 2008»
13 years 11 months ago
Managing the History of Metadata in Support for DB Archiving and Schema Evolution
Modern information systems, and web information systems in particular, are faced with frequent database schema changes, which generate the necessity to manage them and preserve the...
Carlo Curino, Hyun Jin Moon, Carlo Zaniolo
ISCAS
1999
IEEE
104views Hardware» more  ISCAS 1999»
14 years 1 months ago
Controlling an integrator through data networks: stability in the presence of unknown time-variant delays
The subject of controlling an integrator via a communication network finds many applications in modern control systems. Stability conditions in closed form are derived for the ari...
Peter H. Bauer, Mihail L. Sichitiu, Kamal Premarat...