Vol. 1 (1998): Electronic Journal of SADIO (EJS) Vol. 1 (1998)

Ver Vol. 1 (1998): Electronic Journal of SADIO (EJS) Vol. 1 (1998)

Editor
Dr. Esteban Feuerstein (Universidad de Buenos Aires (UBA), Argentina)

Publicado: 1998-06-01

Editorial

Letter from the Editor

Esteban Feuerstein
- HTML

Papers

Carta del Presidente de SADIO

Dante Ramos
- HTML
- HTML (Inglés)
Structural Testing of Active DataBases

Martín Balzamo, Martina Marré, Daniel Yankelevich

1-20
- PDF (Inglés)
New Results on Fair Multi-threaded Paging

Alejandro Strejilevich de Loma

21-36
- PDF (Inglés)
The intrinsic complexity of parametric elimination methods

J. Heintz, G. Matera, L.M. Pardo, R. Wachenchauzer

37-51
- PDF (Inglés)
Some Issues in Using Formal Methods for the Development of Reactive Systems

Pablo Argón, Olivier Roux

52-75
- PDF (Inglés)
Permutation of Sparse Matrices to a Specific Lower BTF using Graph Decompositions

Ignacio Ponzoni, Mabel C. Sánchez, Nélida B. Brignole

76-87
- PDF (Inglés)
Telescope: An Object-Oriented Architecture for Visualization Systems

Ricardo Orosco

88-101
- PDF (Inglés)
L-rigid Databases and the Expressibility of Incomplete Relational Query Languages

José María Turull Torres
- PDF (Inglés)
Program Flow Analysis for Reducing and Estimating the Cost of Test Coverage Criteria

Martina Marré
- PDF (Inglés)