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
• 
  Jack Kent, Hector Garcia-Molina: Optimizing Shadow Recovery Algorithms. 155-168
• 
  Mike Adler: An Algebra for Data Flow Diagram Process Decomposition. 169-183
• 
  Tony T. Lee, Ming-Yee Lai: A Relational Algebraic Approach to Protocol Verification. 184-193
• 
  Jahangir Karimi, Benn R. Konsynski: An Automated Software Design Assistant. 194-210
• 
  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
• 
  R. C. B. Cooper, K. G. Hamilton: Preserving Abstraction in Concurrent Programming. 258-263
• 
  David Gray: The Formal Specification of a Small Bookshop Information System. 263-272
• 
  Vincenzo Ambriola, David Notkin: Reasoning About Interactive Systems. 272-276

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, (Correction: IEEE Trans. Software Eng. 14(9): 1376(1988))
• 
  Robert S. Matthews, K. H. Muralidhar, Steven Sparks: MAP 2.1 Conformance Testing Tools. 363-374
• 
  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
• 
  Klaus R. Dittrich, Raymond A. Lorie: Version Support for Engineering Database Systems. 429-437
• 
  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
• 
  Pei Hsia, Joseph E. Urban: Guest Editors' Introduction: Computer Languages. 442-443
• 
  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
• 
  Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden: A Model of Visibility Control. 512-520
• 
  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
• 
  Alexander Aiken, Alexandru Nicolau: A Development Environment for Horizontal Microcode. 584-594
• 
  Vicki H. Allan, Robert A. Mueller: Compaction with General Timing. 595-599
• 
  Robert I. Winner: Naming and Binding in a vertical Migration Environment. 599-607
• 
  S. Sitharama Iyengar, Rangasami L. Kashyap: Guest Editors' Introduction: Image Databases. 608-610
• 
  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
• 
  Rangachar Kasturi, Juan Alemany: Information Extraction of Paper-Based Maps. 671-675
• 
  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
• 
  Scott E. Hudson, Roger King: The Cactis Project: Database Support for Software Environment. 709-719
• 
  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
• 
  Hector Garcia-Molina, Boris Kogan: Achieving High Availability in Distributed Databases. 886-896
• 
  Michael Stonebraker, Eric N. Hanson, Spyros Potamianos: The POSTGRES Rule Manager. 897-907
• 
  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
• 
  Won Kim, Hong-Tai Chou, Jay Banerjee: Operations and Implementation of Complex Objects. 985-996
• 
  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
• 
  C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash: Support for Reusability in Genesis. 1145-1154
• 
  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
• 
  Scott E. Hudson, Roger King: Semantic Feedback in the Higgens UIMS. 1188-1206
• 
  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

• 
  Daniel Hoffman, Richard T. Snodgrass: Trace Specifications: Methodology and Models. 1243-1252
• 
  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
• 
  Sakti Pramanik, David Vineyard: Optimizing Join Queries in Distributed Databases. 1319-1326
• 
  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
• 
  Luqi, Valdis Berzins, Raymond T. Yeh: A Prototyping Language for Real-Time Software. 1409-1423
• 
  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
• 
  Barry W. Boehm, Philip N. Papaccio: Understanding and Controlling Software Costs. 1462-1477
• 
  Kyle Siegrist: Reliability of Systems with Markov Transfer of Control, II. 1478-1481
• 
  Phyllis G. Frankl, Elaine J. Weyuker: An Applicable Family of Data Flow Testing Criteria. 1483-1498
• 
  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
• 
  Aaron J. Gordon, Raphael A. Finkel: Handling Timing Errors in Distributed Programs. 1525-1535

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
• 
  Jay Banerjee, Won Kim, Sung-Jo Kim, Jorge F. Garza: Clustering a DAG for CAD Databases. 1684-1699
• 
  Doron Rotem, Arie Segev: Algorithms for Multidimensional Partitioning of Static Files. 1700-1710
• 
  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

last updated on Sun May 26 05:27:52 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page