Volume 27,
Number 1,
October 1994
Volume 27,
Number 2,
November 1994
- Robert L. Glass:
Editor's corner My readers write: Some thoughts on formal methods.
71-72
Electronic Edition (link) BibTeX
- M. Portman, Hussein S. M. Zedan:
The development of imprecise real-time systems.
73-83
Electronic Edition (link) BibTeX
- Waqar Hague, Johnny S. Wong:
Distributed real-time nested transactions.
85-95
Electronic Edition (link) BibTeX
- Carlo Ghezzi, Sandro Morasca, Mauro Pezzè:
Validating timing requirements for time basic net specifications.
97-117
Electronic Edition (link) BibTeX
- Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche:
On reusing ATNet modules in protocol specification.
119-128
Electronic Edition (link) BibTeX
- Wuu Yang:
How to merge program texts.
129-135
Electronic Edition (link) BibTeX
- S. Mansoor Sarwar, James A. Davis:
New families of combinators for efficient list manipulation.
137-146
Electronic Edition (link) BibTeX
- Paul R. Wilson, Sheetal V. Kakkad, Shubhendu S. Mukherjee:
Anomalies and adaptation in the analysis and development of prepaging policies.
147-153
Electronic Edition (link) BibTeX
Volume 27,
Number 3,
December 1994
- Keith E. Humenik, Yelena Yesha:
Guest editors' corner.
157-158
Electronic Edition (link) BibTeX
- Kia Makki, Niki Pissinou:
A new storage organization for temporal data bases.
159-169
Electronic Edition (link) BibTeX
- Claudia Bauzer Medeiros, Márcia Jacobina Andrade:
Implementing integrity control in active data bases.
171-181
Electronic Edition (link) BibTeX
- Lin Padgham, Jonas Löwgren:
A user interface management approach for object-oriented data base applications.
183-193
Electronic Edition (link) BibTeX
- Niki Pissinou, Kia Makki:
A coherent architecture for a temporal object data base management system.
195-205
Electronic Edition (link) BibTeX
- Aarthi Prasad, E. K. Park:
Reuse system: An artificial intelligence - based approach.
207-221
Electronic Edition (link) BibTeX
- Michael Siegel, Stuart E. Madnick, Edward Sciore:
Context interchange in a client-server architecture.
223-232
Electronic Edition (link) BibTeX
- Carel A. van den Berg, Martin L. Kersten:
Analysis of a dynamic query optimization technique for multijoin queries.
233-241
Electronic Edition (link) BibTeX
- Susan V. Vrbsky, Jane W.-S. Liu:
Producing approximate answers to set- and single-valued queries.
243-251
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:11:39 2009
by Michael Ley (ley@uni-trier.de)