Journal: IEEE Trans. Software Eng.

Volume 19, Issue 2

89 -- 107Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte. Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications
108 -- 119Yennun Huang, Satish K. Tripathi. Resource Allocation for Primary-Site Fault-Tolerant Systems
120 -- 138Alex Delis, Nick Roussopoulos. Performance Comparison of Three Modern DBMS Architectures
139 -- 154Jia Xu. Multiprocessor Scheduling of Processes with Release Times, Deadlines, Precedence, and Exclusion Relations
155 -- 164Kun-Lung Wu, W. Kent Fuchs. Rapid Transaction-Undo Recovery Using Twin-Page Storage Management
165 -- 180Gernot Richter, Bruno Maffeo. Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
181 -- 186P. Venkat Rangan. Trust Requirements and Performance of a Fast Subtransprot-Level Protocol for Secure Communication
187 -- 197Ashok K. Agrawala, Bijendra N. Jain. Deterministic Model and Transient Analysis of Virtual Circuits
198 -- 200Michael Young, David L. Levine, Richard N. Taylor. Comments on Temporal Logic-Based Deadlock Analysis for Ada