Volume 14, Number 1, January 1988
Charles R. Symons: Function Point Analysis: Difficulties and Improvements. 2-11- R. Geoff Dromey: Systematic Program Development. 12-29
- Fabio Panzieri, Santosh K. Shrivastava: Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing. 30-37
- Luis-Felipe Cabrera, Edward Hunter, Michael J. Karels, David A. Mosher: User-Process Communication Performance in Networks of Computers. 38-53
- Veljko M. Milutinovic, Jakov J. Crnkovic, Catherine E. Houstis: A Simulation Study of Two Distributed Task Allocation Procedures. 54-61
- Ian F. Akyildiz: On the Exact and Approximate Throughput Analysis of Closed Queueing Networks with Blocking. 62-70
- Mohammad A. Ketabchi, Valdis Berzins: Mathematical Model of Composite Objects and Its Application for Organizing Engineering Databases. 71-84
- Nazim H. Madhavji: Fragtypes: A Basis for Programming Environments. 85-97
- Deepinder P. Sidhu, Carole S. Crall: Executable Logic Specifications for Protocol Service Interfaces. 98-121
- Pei-Jyun Leu, Bharat K. Bhargava: Clarification of Two Phase Locking in Concurrent Transaction Processing. 122-125
- J. Bradley: A Group-Select Operation for Relational Algebra and Implications for Database Machine Design. 126-129
Volume 14, Number 2, February 1988
- Margaret H. Eich: Graph Directed Locking. 133-140
- Thomas L. Casavant, Jon G. Kuhl: A Taxonomy of Scheduling in General-Purpose Distributed Computing Systems. 141-154
- Mike Adler: An Algebra for Data Flow Diagram Process Decomposition. 169-183
- Vasant Dhar, Matthias Jarke: Dependency Directed Reasoning and Learning in Systems Maintenance Support. 211-227
- Arturo I. Concepcion, Bernard P. Zeigler: DEVS Formalism: A Framework for Hierarchical Model Development. 228-241
- Joobin Choobineh, Michael V. Mannino, Jay F. Nunamaker, Benn R. Konsynski: An Expert Database Design System Based on Analysis of Forms. 242-253
- C. T. Baker: Effects of Field Service on Software Reliability. 254-258
- David Gray: The Formal Specification of a Small Bookshop Information System. 263-272
Volume 14, Number 3, March 1988
- Sudhir Aggarwal, Daniel Barbará, Kalman Z. Meth: A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency. 280-290
- David P. Anderson: Automated Protocol Implementation with RTAG. 291-300
- Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham: PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. 301-316
- E. Jane Cameron, David M. Cohen, B. Gopinath, William M. Keese II, Linda A. Ness, Prem Uppaluru, John R. Vollaro: The IC* Model of Parallel Computation and Programming Environment. 317-326
- Ching-Hua Chow, Simon S. Lam: PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols. 327-338
- Claude Jard, Jean-François Monin, Roland Groz: Development of Véda, a Prototyping Tool for Distributed Algorithms. 339-352
- Simon S. Lam: Protocol Conversion. 353-362
- Süleyman Sevinc, Bernard P. Zeigler: Entity Structure Based Design Methodology: A LAN Protocol Example. 375-383
- Son T. Vuong, Allen C. Lau, R. Isaac Chan: Semiautomatic Implementation of Protocols Using an Estelle-C Compiler. 384-393
- Yaoxue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi: An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph. 394-404
Volume 14, Number 4, April 1988
- Stephen S. Yau, Wonmo Hong: Verification of Concurrent Control Flow in Distributed Computer Systems. 405-417
- Ian F. Akyildiz: Mean Value Analysis for Blocking Queueing Networks. 418-428
- Heather Alexander: Comments on "Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches". 438-439
- Wojciech Cellary, Zbyszko Królikowski, Tadeusz Morzy: Other Comments on "Optimization Algorithms for Distributed Queries". 439-441
- Barbara G. Ryder: Experiments in Optimizing FP. 444-454
- Karsten Schwan, Rajiv Ramnath, Sridhar Vasudevan, David M. Ogle: A Language and System for the Construction and Tuning of Parallel Programs. 455-471
- Bharat Jayaraman: Semantics of EqL. 472-480
- Tadao Murata, Du Zhang: A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs. 481-497
- Teodor Rus: Parsing Languages by Pattern Matching. 498-511
- Domenico Ferrari: Forword to the Special Section on Papers from the 1987 ACM SIMETRICS Conference on Measurement and Modeling of Computer Systems. 521
- Philip Heidelberger, M. Seetha Lakshmi: A Performance Comparison of Multimicro and Mainframe Database Architectures. 522-531
- Randolph D. Nelson, Donald F. Towsley, Asser N. Tantawi: Performance Analysis of Parallel Processing Systems. 532-540
- Daniel A. Reed, Allen D. Malony, Bradley D. McCredie: Parallel Discrete Event Simulation Using Shared Memory. 541-553
Volume 14, Number 5, May 1988
- Willis K. King: Guest Editor's Introduction: Microprogramming. 558
- Werner Damm: A Microprogramming Logic. 559-574
- Robert A. Mueller, Michael R. Duda, Philip H. Sweany, Jack S. Walicki: Horizon: A Retargetable Compiler for Horizontal Microarchitectures. 575-583
- Robert I. Winner: Naming and Binding in a vertical Migration Environment. 599-607
- Jack A. Orenstein, Frank Manola: PROBE Spatial Data Modeling and Query Processing in an Image Database Application. 611-629
- Thomas Joseph, Alfonso F. Cardenas: PICQUERY: A High Level Query Language for Pictorial Database Management. 630-638
- Nick Roussopoulos, Christos Faloutsos, Timos K. Sellis: An Efficient Pictorial Database System for PSQL. 639-650
- Ying Cheng, S. Sitharama Iyengar, Rangasami L. Kashyap: A New Method of Image Compression using Irreducible Covers of Maximum Rectangles. 651-658
- A. Unnikrishnan, Priti Shankar, Y. V. Venkatesh: Threaded Linear Hierarchical Quadtree for Computation of Geometric Properties of Binary Images. 659-665
- Minoru Tanaka, Tadao Ichikawa: A Visual User Interface for Map Information Retrieval Based on Semantic Significance. 666-670
- Lil Mohan, Rangasami L. Kashyap: An Object-Oriented Knowledge Representation for Spatial Information. 675-681
- Shi-Kuo Chang, C. W. Yan, Donald C. Dimitroff, Timothy Arndt: An Intelligent Image Database System. 681-688
Volume 14, Number 6, June 1988
- Maria Heloisa (Lolo) Penedo, William E. Riddle: Guest Editors' Introduction Software Engineering Environment Architectures. 689-696
- Michal Young, Richard N. Taylor, Dennis B. Troup: Software Environment Architectures and User Interface Facilities. 697-708
- Axel van Lamsweerde, Bruno Delcourt, Emmanuelle Delor, Marie-Claire Schayes, Robert Champagne: Generic Lifecycle Support in the ALMA Environment. 720-741
- Patricia A. Oberndorf: The Common Ada Programming Support Environment (APSE) Interface Set (CAIS). 742-748
- Jayashree Ramanathan, Soumitra Sarkar: Providing Customized Assistance for Software Lifecycle Approaches. 749-757
- Victor R. Basili, H. Dieter Rombach: The TAME Project: Towards Improvement-Oriented Software Environments. 758-773
- Gene Fisher: An Overview of a Graphical Multilanguage Applications Environment. 774-786
- Alessandro Giacalone, Scott A. Smolka: Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems. 787-802
- Robert M. Herndon Jr., Valdis Berzins: The Realizable Benefits of a Language Prototyping Language. 803-809
- K. H. Kim: Programmer-Transparent Coordination of Recovering Concurrent Processes: Philosophy and Rules for Efficient Implementation. 810-821
- Branislav Meandzija: Archetype: A Unified Method for the Design and Implementation of Protocol Architectures. 822-837
- Krishna P. Mikkilineni, Stanley Y. W. Su: An Evaluation of Relational Join Algorithms in a Pipelined Query Processing Environment. 838-848
- Thomas G. Moher: PROVIDE: A Process Visualization and Debugging Environment. 849-857
- Abha Moitra, S. Sitharama Iyengar, Farokh B. Bastani, I-Ling Yen: Multilevel Data Structures: Models and Performance. 858-867
- Simeon C. Ntafos: A Comparison of Some Structural Testing Strategies. 868-874
Volume 14, Number 7, July 1988
- Benjamin W. Wah: Guest Editor's Introduction The Third International Conference on Data Engineering. 877-878
- Rakesh Agrawal: Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries. 879-885
- Bao-Chyuan Jenq, Walter H. Kohler, Donald F. Towsley: A Queueing Network Model for a Distributed Database Testbed System. 908-921
- Michael Kifer, Eliezer L. Lozinskii: SYGRAF: Implementing Logic Programs in a Database Style. 922-935
- Calton Pu, Jerre D. Noe, Andrew Proudfoot: Regeneration of Replicated Objects: A Technique and Its Eden Implementation. 936-945
- Steven A. Demurjian, David K. Hsiao: Towards a Better Understanding of Data Models Through the Multilingual Database System. 946-958
- Mimi Kao, Nick Cercone, Wo-Shun Luk: Providing Quality Responses with Natural Language Interfaces: The Null Value Problem. 959-984
- Toshihide Ibaraki, Tiko Kameda, Naoki Katoh: Cautious Transaction Schedulers for Database Concurrency Control. 997-1009
- Herman Lam, Stanley Y. W. Su, Nageshwar R. Koganti: A Physical Database Design Evaluation System for CODASYL Databases. 1010-1022
- Jan Stelovsky, Hirotsugo Sugaya: A System for Specification and Rapid Prototyping of Application Command Languages. 1023-1032
- Neil C. Rowe: Absolute Bounds on Set Intersection and Union Sizes from Distribution Information. 1033-1048
- Kyle Siegrist: Reliability of Systems with Markov Transfer of Control. 1049-1053
Volume 14, Number 8, August 1988
- John R. North: Guest Editor's Introduction Selected Papers from COMPSAC '86. 1957-1058
- Yoshiaki Kakuda, Yasushi Wakahara, Masamitsu Norigoe: An Acyclic Expansion Algorithm for Fast Protocol Validation. 1059-1070
- Mostafa A. Bassiouni: Single-Site and Distributed Optimistic Protocols for Concurrency Control. 1071-1080
- Kathryn C. Kinsley, Charles E. Hughes: Evaluating Database Update Schemes: A Methodology and Its Applications to Distributive Systems. 1081-1089
- Yu Wang: A Distributed Specification Model and Its Prototyping. 1090-1097
- Takao Tenma, Hideaki Tsubotani, Minoru Tanaka, Tadao Ichikawa: A System for Generating Language-Oriented Editors. 1098-1109
- Mark Edel: The Tinkertoy Graphical Programming Environment. 1110-1115
- Bina Ramamurthy, Austin Melton: A Synthesis of Software Science Measures and the Cyclomatic Number. 1116-1121
- Sol M. Shatz: Towards Complexity Metrics for Ada Tasking. 1122-1127
- Stephen S. Yau, Robin A. Nicholl, Jeffrey J. P. Tsai, Sying-Syang Liu: An Integrated Life-Cycle Model for Software Maintenance. 1128-1144
- Chee Fen Yu, Benjamin W. Wah: Learning Dominance Relations in Combinatorial Search Problems. 1155-1175
- Stephen J. Hartley: An Analysis of Some Problems in Managing Virtual Memory Systems with Fast Secondary Storage Devices. 1176-1187
- Richard C. Waters: Program Translation via Abstraction and Reimplementation. 1207-1228
- Gregor von Bochmann: Delay-Independent Design for Distributed Systems. 1229-1237
- Michael L. Scott, Raphael A. Finkel: A Simple Mechanism for Type Security Across Compilation Units. 1238-1239
Volume 14, Number 9, September 1988
- Bogdan Korel: PELAS - Program Error-Locating Assistant System. 1253-1260
- Tze-Jie Yu, Vincent Yun Shen, Hubert E. Dunsmore: An Analysis of Several Software Defect Models. 1261-1270
- Ted Tenny: Program Readability: Procedures Versus Comments. 1271-1279
- Levent V. Orman: Functional Development of Database Applications. 1280-1292
- Pasquale Rullo, Domenico Saccà: An Automatic Physical Designer for Network Model Databases. 1293-1306
- Philip S. Yu, Simonetta Balsamo, Yann-Hang Lee: Dynamic Transaction Routing in Distributed Database Systems. 1307-1318
- Songnian Zhou: A Trace-Driven Simulation Study of Dynamic Load Balancing. 1327-1341
- Chee Fen Yu, Benjamin W. Wah: Efficient Branch-and-Bound Algorithms on a Two-Level Memory System. 1342-1356
- Elaine J. Weyuker: Evaluating Software Complexity Measures. 1357-1365
- John Stephen Davis, Richard J. LeBlanc: A Study of the Applicability of Complexity Measures. 1366-1372
- John T. Nosek, Ruth B. Schwartz: User Validation of Information System Requirements: Some Empirical Results. 1372-1375
- Simon S. Lam: Correction to "Protocol Conversion". 1376
Volume 14, Number 10, October 1988
- Christos Faloutsos: Gray Codes for Partial Match and Range Queries. 1381-1393
- Connie U. Smith: Applying Synthesis Principles to Create Responsive Software Systems. 1394-1408
- Joep L. W. Kessels: PHILAN: A LAN Providing a Reliable Message Service for Distributed Processing. 1424-1431
- Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen: A Class of Inherently Fault Tolerant Distributed Programs. 1432-1442
- Ahmed K. Elmagarmid, Neelam Soundararajan, Ming T. Liu: A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof. 1443-1452
- Alan M. Davis, Edward H. Bersoff, Edward R. Comer: A Strategy for Comparing Alternative Software Development Life Cycle Models. 1453-1461
- Kyle Siegrist: Reliability of Systems with Markov Transfer of Control, II. 1478-1481
- Michal Young, Richard N. Taylor: Combining Static Concurrency Analysis with Symbolic Execution. 1499-1511
- Stewart N. Weiss, Elaine J. Weyuker: An Extended Domain-Bases Model of Software Reliability. 1512-1524
Volume 14, Number 11, November 1988
- Ian F. Akyildiz, Albrecht Sieber: Approximate Analysis of Load Dependent General Queueing Networks. 1537-1545
- Narain H. Gehani, William D. Roome: Rendezvous Facilities: Concurrent C and the Ada Language. 1546-1553
- Nicoletta De Francesco, Gigliola Vaglini: Description of a Tool for Specifying and Prototyping Concurrent Programs. 1554-1564
- Deepinder P. Sidhu, Juan Aristizabal: Constructing Submodule Specifications and Network Protocols. 1565-1577
- Thomas L. Casavant, Jon G. Kuhl: Effects of Response and Stability on Scheduling in Distributed Computing Systems. 1578-1588
- Carlos Urias Munoz: An Approach to Software Product Testing. 1589-1596
- Stefano Ceri, Stefano Crespi-Reghizzi, Andrea Di Maio, Luigi Lavazza: Software Prototyping by Relational Techniques: Experiences with Program Construction Systems. 1597-1609
- Georg Lausen: Modeling and Analysis of the Behavior of Information Systems. 1610-1620
- Andrea Maggiolo-Schettini, Margherita Napoli, Genoveffa Tortora: Web Structures: A Tool for Representing and Manipulating Programs. 1621-1639
- Stephen J. Hartley: Compile-Time Program Restructuring in Multiprogrammed Virtual Memory Systems. 1640-1644
- Ken S. Lew, Tharam S. Dillon, Kevin E. Forward: Software Complexity and Its Impact on Software Reliability. 1645-1655
- Krishna P. Mikkilineni, Yuan-Chieh Chow, Stanley Y. W. Su: Petri-Net-Based Modeling and Evaluation of Pipelined Processing of Concurrent Database Queries. 1656-1667
- Ghassan Z. Qadah, Keki B. Irani: The Join Alogorithms on a Shared-Memory Multiprocessor Database Machine. 1668-1683
- Don S. Batory, J. R. Barnett, J. F. Garza, K. P. Smith, K. Tsukuda, B. C. Twichell, T. E. Wise: GENESIS: An Extensible Database Management System. 1711-1730
- Chao-Chih Yang, Guang Li, Peter A. Ng: An Improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme. 1731-1738
Volume 14, Number 12, December 1988
- Richard W. Selby, Adam A. Porter: Learning from Examples: Generation and Evaluation of Decision Trees for Software Resource Analysis. 1743-1757
- Lee D. Erman, Jay S. Lark, Frederick Hayes-Roth: ABE: An Environment for Engineering Intelligent Systems. 1758-1770
- Eric Schoen, Reid G. Smith, Bruce G. Buchanan: Design of Knowledge-Based Systems with a Knowledge-Based Assistant. 1771-1791
- Keith L. Clark: PARLOG and Its Applications. 1792-1804
- Jayantha A. Herath, Yoshinori Yamaguchi, Nobuo Saito, Toshitsugu Yuba: Dataflow Computing Models, Languages, and Machines for Intelligence Computations. 1805-1828
- Dan I. Moldovan, Chung-I Wu: A Hierarchical Knowledge Based System for Airplane Classification. 1829-1834
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team