Advances in Computing and Information - ICCI '90

1. An environment for information system prototyping: A system simulation approach

   • Kung-Chao Liu

   Pages 185-195

2. A logic-free method for modular composition of specifications

   • Victor Yodaiken

   Pages 196-205

3. On real-time program specification description with a data model-based language

   • Katsumi Okamoto, Masaaki Hashimoto

   Pages 206-215

4. DINAS: Computer-assisted system for multi-criteria transportation and location analyses

   • Wlodzimierz Ogryczak, Krzysztof Studzinski, Krystian Zorychta

   Pages 216-224

5. Logic programming for software testing

   • Sanjay Khanna

   Pages 225-234

6. Block concatenated code word surrogate file for partial match retrieval

   • Soon Myoung Chung

   Pages 235-244

7. Applications development toolkits for environmental modelling and monitoring

   • D. A. Swayne, John Storey, D. C. -L. Lam, Isaac Wong, A. S. Fraser

   Pages 245-249

8. A hypertext for literate programming

   • M. Brown, B. Czejdo

   Pages 250-259

9. Ethics and computers: Can universities set the standards?

   • Gerhard Steinke, Gilbert Hamann

   Pages 260-265

10. Alternatives to the B+- tree

    • William Boswell, Alan L. Tharp

    Pages 266-274

11. Minimal perfect hashing for large sets of data

    • Vincent G. Winters

    Pages 275-284

12. Architectural classification and transaction execution models of multidatabase systems

    • M. Tamer Özsu, Ken Barker

    Pages 285-294

13. Semantic query optimization in distributed databases

    • H. J. A. van Kuijk, F. H. E. Pijpers, P. M. G. Apers

    Pages 295-303

14. An architecture for a multimedia database management system supporting content search

    • Vincent Y. Lum, Klaus Meyer-Wegener

    Pages 304-313

15. Adaptive expert systems and analogical problem solving

    • H. Harry Zhou

    Pages 314-323

16. The behavior of database concurrency control mechanisms under bursty arrivals

    • Jerry Place, Vijay Kumar, Appie van de Liefvoort

    Pages 324-333

17. The core concurrency

    • Piotr W. Proszynski

    Pages 335-345

18. Concurrent data structures

    • Adrian Colbrook, Colin Smythe

    Pages 346-355

19. Asynchronous functional parallel programs

    • Jacques Julliand, Guy-René Perrin

    Pages 356-365

20. Symbolic configuration for SuperNode multiprocessors

    • Jean-Marc Adamo, Christophe Bonello

    Pages 366-375

This volume contains selected and invited papers presented at the International Conference on Computing and Information, ICCI '90, Niagara Falls, Ontario, Canada, May 23-26, 1990. ICCI conferences provide an international forum for presenting new results in research, development and applications in computing and information. Their primary goal is to promote an interchange of ideas and cooperation between practitioners and theorists in the interdisciplinary fields of computing, communication and information theory. The four main topic areas of ICCI '90 are: - Information and coding theory, statistics and probability, - Foundations of computer science, theory of algorithms and programming, - Concurrency, parallelism, communications, networking, computer architecture and VLSI, - Data and software engineering, databases, expert systems, information systems, decision making, and AI methodologies.

• algorithm
• algorithms
• coding theory
• communication
• information
• information theory
• programming
• algorithm analysis and problem complexity

Policies and ethics