Sciweavers

3996 search results - page 261 / 800
» A Publish
Sort
View
PRDC
2000
IEEE
15 years 10 months ago
Effects of failure correlation on software in operation
Since the early 1970's a number of models have been proposed for estimating software reliability. However, the realism of many of the underlying assumptions and the applicabi...
Katerina Goseva-Popstojanova, Kishor S. Trivedi
187
Voted
VLDB
2000
ACM
108views Database» more  VLDB 2000»
15 years 10 months ago
Panel: Future Directions of Database Research - The VLDB Broadening Strategy, Part 1
This panel introduces and explains the "future directions" and "broadening" discussions at the VLDB Endowment. Panelists are Michael Brodie, Stefano Ceri, Umes...
Hans-Jörg Schek
184
Voted
FPCA
1995
15 years 10 months ago
Abstract Models of Memory Management
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...
J. Gregory Morrisett, Matthias Felleisen, Robert H...
HICSS
1995
IEEE
82views Biometrics» more  HICSS 1995»
15 years 10 months ago
A graph-theoretic data model for genome mapping databases
Graphs are a natural foundation for genome map databases. Mapping and other genomic data can be clearly represented by graphs, and graphs can be stored in a database. Graphs are d...
Mark Graves, Ellen R. Bergeman, Charles B. Lawrenc...
MFCS
1997
Springer
15 years 10 months ago
Dependency-Based Action Refinement
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...
Arend Rensink, Heike Wehrheim