Searching...
Advanced Search
Publication
1989
Issue No. 4 - April
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
RSS feed for this Publication
Bibliographic References
ASCII Text
BibTex
RefWorks Procite/RefMan/EndNote
IEEE Transactions on Software Engineering
April 1989 (vol. 15 no. 4)
ISSN: 0098-5589
Table of Contents
REGULAR SECTION
Performance characterization of quorum-consensus algorithms for replicated data
(Abstract)
pp. 492,493,494,495,496
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Theory of Attributed Equivalence in Databases with Application to Schema Integration
(Abstract)
pp. 449-463
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Integrated Concurrency-Coherency Controls for Multisystem Data Sharing
(Abstract)
pp. 437-448
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
SPECIAL SECTION ON PETRI NET PERFORMANCE MODELS
Stochastic Petri net analysis of a replicated file system
(Abstract)
pp. 394,395,396,397,398,399,400,401
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Stochastic Petri Net Representation of Discrete Event Simulations
(Abstract)
pp. 381-393
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Necessary and Sufficient Ergodicity Condition for Open Synchronized Queueing Networks
(Abstract)
pp. 367-380
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Macroscopic Profile of Program Compilation and Linking
(Abstract)
pp. 427-436
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Time-by-Example Query Language for Historical Databases
(Abstract)
pp. 464-478
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Guest Editors' Introduction: Special Section on Petri Net Performance Models
(Abstract)
M.K. Molloy
T. Murata
M.K. Vernon
pp. 365-366
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
Distributed System Software Design Paradigm with Application to Computer Networks
(Abstract)
N.F. Schneidewind
pp. 402-412
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Formal Methods for Protocol Testing: A Detailed Study
(Abstract)
D.P. Sidhu
T.K. Leung
pp. 413-426
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Generalized Expert System for Database Design
(Abstract)
A. Dogac
B. Yuruten
S. Spaccapietra
pp. 479-491
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Comments on 'Axiomatizing Software Test Data Adequacy' by E.J. Weyuker
(PDF)
S.H. Zweben
J.S. Gourlay
pp. 496-500
ABSTRACT
PDF
Author's Reply
(PDF)
E.J. Weyuker
pp. 501
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Print and Online Advertising Opportunities
