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

Ir al contenido principal Ir al menú de navegación principal Ir al pie de página del sitio

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

Publicado: 1998-06-26

Editorial

Letter from the Editor

Esteban Feuerstein
- HTML

Papers

Carta del Presidente de SADIO

Dante Ramos
- HTML
- HTML
Structural Testing of Active DataBases

Martín Balzamo, Martina Marré, Daniel Yankelevich

1-20
- PDF
New Results on Fair Multi-threaded Paging

Alejandro Strejilevich de Loma

21-36
- PDF
The intrinsic complexity of parametric elimination methods

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

37-51
- PDF
Some Issues in Using Formal Methods for the Development of Reactive Systems

Pablo Argón, Olivier Roux

52-75
- PDF
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
Telescope: An Object-Oriented Architecture for Visualization Systems

Ricardo Orosco

88-101
- PDF
L-rigid Databases and the Expressibility of Incomplete Relational Query Languages

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

Martina Marré
- PDF