Volume 19,
Number 1,
January 1993
Volume 19,
Number 2,
February 1993
- Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte:
Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications.
89-107
Electronic Edition (IEEE Computer Society DL) BibTeX
- Yennun Huang, Satish K. Tripathi:
Resource Allocation for Primary-Site Fault-Tolerant Systems.
108-119
Electronic Edition (IEEE Computer Society DL) BibTeX
- Alex Delis, Nick Roussopoulos:
Performance Comparison of Three Modern DBMS Architectures.
120-138
Electronic Edition (IEEE Computer Society DL) BibTeX
- Jia Xu:
Multiprocessor Scheduling of Processes with Release Times, Deadlines, Precedence, and Exclusion Relations.
139-154
Electronic Edition (IEEE Computer Society DL) BibTeX
- Kun-Lung Wu, W. Kent Fuchs:
Rapid Transaction-Undo Recovery Using Twin-Page Storage Management.
155-164
Electronic Edition (IEEE Computer Society DL) BibTeX
- Gernot Richter, Bruno Maffeo:
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language.
165-180
Electronic Edition (IEEE Computer Society DL) BibTeX
- P. Venkat Rangan:
Trust Requirements and Performance of a Fast Subtransprot-Level Protocol for Secure Communication.
181-186
Electronic Edition (IEEE Computer Society DL) BibTeX
- Ashok K. Agrawala, Bijendra N. Jain:
Deterministic Model and Transient Analysis of Virtual Circuits.
187-197
Electronic Edition (IEEE Computer Society DL) BibTeX
- Michael Young, David L. Levine, Richard N. Taylor:
Comments on ``Temporal Logic-Based Deadlock Analysis for Ada''.
198-200
Electronic Edition (IEEE Computer Society DL) BibTeX
Volume 19,
Number 3,
March 1993
- Phyllis G. Frankl, Elaine J. Weyuker:
A Formal Analysis of the Fault-Detecting Ability of Testing Methods.
202-213
Electronic Edition (IEEE Computer Society DL) BibTeX
- Emden R. Gansner, Eleftherios Koutsofios, Stephen C. North, Kiem-Phong Vo:
A Technique for Drawing Directed Graphs.
214-230
Electronic Edition (IEEE Computer Society DL) BibTeX
- Josephine Micallef, Gail E. Kaiser:
Support Algorithms for Incremental Attribute Evaluation of Asynchronous Subtree Replacements.
231-252
Electronic Edition (IEEE Computer Society DL) BibTeX
- Dar-Tzen Peng, Kang G. Shin:
Optimal Scheduling of Cooperative Tasks in a Distributed System Using an Enumerative Method.
253-267
Electronic Edition (IEEE Computer Society DL) BibTeX
- John Plaice, William W. Wadge:
A New Approach to Version Control.
268-276
Electronic Edition (IEEE Computer Society DL) BibTeX
- Gruia-Catalin Roman, Rose F. Gamble, William E. Ball:
Formal Derivation of Rule-Based Programs.
277-296
Electronic Edition (IEEE Computer Society DL) BibTeX
- Jacob P. Ukelson, John D. Gould, Stephen J. Boies:
User Navigation in Computer Applications.
297-306
Electronic Edition (IEEE Computer Society DL) BibTeX
- Norman Y. Foo:
Comments on ``Defining Software by Continuous Smooth Functions''.
307-309
Electronic Edition (IEEE Computer Society DL) BibTeX
- Jia Xu, David Lorge Parnas:
Correction to ``On Satisfying Timing Constraints in Hard-Real-Time Systems''.
310
Electronic Edition (IEEE Computer Society DL) BibTeX
Volume 19,
Number 4,
April 1993
Volume 19,
Number 5,
May 1993
Volume 19,
Number 6,
June 1993
- Debra J. Richardson, Margaret C. Thompson:
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection.
533-553
Electronic Edition (IEEE Computer Society DL) BibTeX
- Erling Vagn Sørensen, Jens Nordahl, Niels Herman Hansen:
From CSP Models to Markov Models.
554-570
Electronic Edition (IEEE Computer Society DL) BibTeX
- Parameswaran Ramanathan, Kang G. Shin:
Use of Common Time Base for Checkpointing and Rollback Recovery in a Distributed System.
571-583
Electronic Edition (IEEE Computer Society DL) BibTeX
- Mary Jean Harrold, Brian A. Malloy:
A Unified Interprocedural Program Representation for a Maintenance Environment.
584-593
Electronic Edition (IEEE Computer Society DL) BibTeX
- Nabil R. Adam, Rajiv Tewari:
Regeneration with Virtual Copies for Distributed Computing Systems.
594-602
Electronic Edition (IEEE Computer Society DL) BibTeX
- Tarek K. Abdel-Hamid, Kishore Sengupta, Daniel Ronan:
Software Project Control: An Experimental Investigation of Judgment with Fallible Information.
603-612
Electronic Edition (IEEE Computer Society DL) BibTeX
- Herman C. Rao, Larry L. Peterson:
Accessing Files in an Internet: The Jade File System.
613-624
Electronic Edition (IEEE Computer Society DL) BibTeX
- Andrew Kay, Joy N. Reed:
A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange.
625-639
Electronic Edition (IEEE Computer Society DL) BibTeX
- Moheb R. Girgis:
Corrigendum for ``Constraint-Based Automatic Test Data Generation''. (R. A. De Millo and A. J. Offutt, IEEE Trans. Software Eng. vol. 17. no. pp 900-910, Sept. 1991.).
640
Electronic Edition (IEEE Computer Society DL) BibTeX
- Gerardo Canfora, Aniello Cimitile, Ugo de Carlini:
Correction to ``A Logic-Based Approach to Reverse Engineering Tools Production''.
640
Electronic Edition (IEEE Computer Society DL) BibTeX
->TSE 18(12):
1053-1064 (1992)
Volume 19,
Number 7,
July 1993
- Fabio Grandi, Maria Rita Scalas:
Block Access Estimation for Clustered Data Using a Finite LRU Buffer.
641-660
Electronic Edition (IEEE Computer Society DL) BibTeX
- Raimo Rask, Petteri Laamanen, Kalle Lyytinen:
Simulation and Comparison of Albrecht's Function Point and DeMarco's Function Bang Metrics in a CASE Environment.
661-671
Electronic Edition (IEEE Computer Society DL) BibTeX
- Jit Biswas, James C. Browne:
Data Structures for Parallel Resource Management.
672-686
Electronic Edition (IEEE Computer Society DL) BibTeX
- Markos Z. Tsoukalas, Joe W. Duran, Simeon C. Ntafos:
On Some Reliability Estimation Problems in Random and Partition Testing.
687-697
Electronic Edition (IEEE Computer Society DL) BibTeX
- Sampath Rangarajan, Pankaj Jalote, Satish K. Tripathi:
Capacity of Voting Systems.
698-706
Electronic Edition (IEEE Computer Society DL) BibTeX
- Andrew Sears:
Layout Appropriateness: A Metric for Evaluating User Interface Widget Layout.
707-719
Electronic Edition (IEEE Computer Society DL) BibTeX
- Connie U. Smith, Lloyd G. Williams:
Software Performance Engineering: A Case Study Including Performance Comparison with Design Alternatives.
720-741
Electronic Edition (IEEE Computer Society DL) BibTeX
- Allen S. Parrish, Stuart H. Zweben:
Clarifying Some Fundamental Concepts in Software Testing.
742-746
Electronic Edition (IEEE Computer Society DL) BibTeX
Volume 19,
Number 8,
August 1993
Volume 19,
Number 9,
September 1993
- Mohan Ahuja, Timothy Carlson, Ashwani Gahlot:
Passive-space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing.
845-855
Electronic Edition (IEEE Computer Society DL) BibTeX
- David Lorge Parnas:
Predicate Logic for Software Engineering.
856-862
Electronic Edition (IEEE Computer Society DL) BibTeX
- Albert Mo Kim Cheng, James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang:
Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella.
863-885
Electronic Edition (IEEE Computer Society DL) BibTeX
- Paul Helman, Gunar E. Liepins:
Statistical Foundations of Audit Trail Analysis for the Detection of Computer Misuse.
886-901
Electronic Edition (IEEE Computer Society DL) BibTeX
- Ing-Ray Chen, Sayed Atef Banawan:
Modeling and Analysis of Concurrent Maintenance Policies for Data Structures Using Pointers.
902-911
Electronic Edition (IEEE Computer Society DL) BibTeX
- Elaine J. Weyuker:
More Experience with Data Flow Testing.
912-919
Electronic Edition (IEEE Computer Society DL) BibTeX
- Daniel I. Katcher, Hiroshi Arakawa, Jay K. Strosnider:
Engineering and Analysis of Fixed Priority Schedulers.
920-934
Electronic Edition (IEEE Computer Society DL) BibTeX
- John J. Shilling:
Incremental LL(1) Parsing in Language-Based Editors.
935-940
Electronic Edition (IEEE Computer Society DL) BibTeX
Volume 19,
Number 10,
October 1993
- Jeffery A. Solheim, John H. Rowland:
An Empirical Study of Testing and Integration Strategies Using Artificial Software Systems.
941-949
Electronic Edition (IEEE Computer Society DL) BibTeX
- Luis-Felipe Cabrera, John McPherson, Peter M. Schwarz, James C. Wyllie:
Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and Experience.
950-961
Electronic Edition (IEEE Computer Society DL) BibTeX
- Phyllis G. Frankl, Elaine J. Weyuker:
Provable Improvements on Branch Testing.
962-975
Electronic Edition (IEEE Computer Society DL) BibTeX
- Bin Qin:
Meet Real-Time Requirements of Parallel Programs and Maximally Utilize System Resources.
976-981
Electronic Edition (IEEE Computer Society DL) BibTeX
- Philip S. Yu, Daniel M. Dias:
Performance Analysis of Concurrency Control Using Locking with Deferred Blocking.
982-996
Electronic Edition (IEEE Computer Society DL) BibTeX
- Alberto Del Bimbo, Maurizio Campanai, Paolo Nesi:
A Three-Dimensional Iconic Environment for Image Database Querying.
997-1011
Electronic Edition (IEEE Computer Society DL) BibTeX
Volume 19,
Number 11,
November 1993
Special Issue on Software Reliability
- Farokh B. Bastani:
Forword: Software Reliability.
1013-1014
Electronic Edition (IEEE Computer Society DL) BibTeX
- Anish Arora, Mohamed G. Gouda:
Closure and Convergence: A Foundation of Fault-Tolerant Computing.
1015-1027
Electronic Edition (IEEE Computer Society DL) BibTeX
- Lionel C. Briand, Victor R. Basili, Christopher J. Hetmanski:
Developing Interpretable Models with Optimized Set Reduction for Identifying High-Risk Software Components.
1028-1044
Electronic Edition (IEEE Computer Society DL) BibTeX
- Scott A. Vander Wiel, Lawrence G. Votta:
Assessing Software Designs Using Capture-Recapture Methods.
1045-1054
Electronic Edition (IEEE Computer Society DL) BibTeX
- Jarir K. Chaar, Michael J. Halliday, Inderpal S. Bhandari, Ram Chillarege:
In-Process Evaluation for Software Inspection and Test.
1055-1070
Electronic Edition (IEEE Computer Society DL) BibTeX
- Lorrie A. Tomek, Jogesh K. Muppala, Kishor S. Trivedi:
Modeling Correlation in Software Recovery Blocks.
1071-1086
Electronic Edition (IEEE Computer Society DL) BibTeX
- Yashwant K. Malaiya, Anneliese von Mayrhauser, Pradip K. Srimani:
An Examination of Fault Exposure Ratio.
1087-1094
Electronic Edition (IEEE Computer Society DL) BibTeX
- Norman F. Schneidewind:
Software Reliability Model with Optimal Selection of Failure Data.
1095-1104
Electronic Edition (IEEE Computer Society DL) BibTeX
- Wei-lun Kao, Ravishankar K. Iyer, Dong Tang:
FINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior under Faults.
1105-1118
Electronic Edition (IEEE Computer Society DL) BibTeX
- Oded Berman, Noushin Ashrafi:
Optimization Models for Reliability of Modular Software Systems.
1119-1123
Electronic Edition (IEEE Computer Society DL) BibTeX
Volume 19,
Number 12,
December 1993
- Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi:
Process Model Evolution in the SPADE Environment.
1128-1144
Electronic Edition (IEEE Computer Society DL) BibTeX
- Maria Letizia Jaccheri, Reidar Conradi:
Techniques for Process Model Evolution in EPOS.
1145-1156
Electronic Edition (IEEE Computer Society DL) BibTeX
- Inderpal S. Bhandari, Michael J. Halliday, Eric Tarver, David Brown, Jarir K. Chaar, Ram Chillarege:
A Case Study of Software Process Improvement During Development.
1157-1170
Electronic Edition (IEEE Computer Society DL) BibTeX
- Wei Kuan Shih, Jane W.-S. Liu, C. L. Liu:
Modified Rate-Monotonic Algorithm for Scheduling Periodic Jobs with Deferred Deadlines.
1171-1179
Electronic Edition (IEEE Computer Society DL) BibTeX
Copyright © Sun May 17 00:30:42 2009
by Michael Ley (ley@uni-trier.de)
