Print edition ISSN: 0350-5596
Web edition ISSN: 1854-3871
Informatica home page

Volume 19 (1995) No 1 No 2 No 3 No 4

Contents Volume 19, Number 1, 1995

pdf, 14.7 MB

Parallel and Distributed Real-Time Systems: Introduction to the Special Issue
Marcin Paprzycki and Janusz Zalewski

Supporting the Evolution of Distributed, Non-stop, Mission and Safety Critical Systems
Charles W. McKay and Colin Atkinson

Loose Specification of Real Time Systems
Jan van Katwijk and Hans Toetenel

An Object-Oriented Approach for Modeling and Analysis of Safety-Critical Real-time Systems
Jyhjong Lin, David Chenho Kung and Pei Hsia

Supporting High Integrity and Behavioural Predictability of Hard Real-Time Systems
M. Colnaric, D. Verber and W. A. Halang

A Novel Approach to Off-line Scheduling in Real-Time Systems
Guohui Yu and Lonnie R. Welch

On-line Algorithms for Allocating Periodic-time-critical Tasks on Multiprocessor Systems
Sadegh Davari and Sudarshan K. Dhall

A Semi-Distributed Load Balancing Model for Parallel Real-time Systems
Kayhan Erciyes, Oznur Ozkasap and Nilgun Aktas

Optimal Algorithm for Real-Time Fault Tolerant Distributed Processing Using Checkpoints
Zbigniew M. Wojcik and Barbara E. Wojcik

Fully Deterministic Real-Time Protocol for a CSMA/CD Type Local Area Network
Bonaventure Tchouaffe and Janusz Zalewski

Principles of a Formal Axiomatic Structure of the Informational
Anton P. Zeleznikar

Contents Volume 19, Number 2, 1995

pdf, 10.4 MB

RIMM: A Reactive Integration Multidatabase Model
Niki Pissinou, Vijay Raghavan and Kanonkluk Vanapipat

Statistical Usage Testing for Software Reliability Control
Per Runeson and Claes Wohlin

Large Performance Analysis of Disk Mirroring Techniques
Cyril U. Orji, Taysir Abdalla and Jon A. Solworth

Data Consistency in Hard Real-Time Systems
Neil C. Audsley, Alan Burns, Mike F. Richardson and Andy J. Wellings

Parallel Gaussian Elimination Algorithms on a Cray Y-MP
Marcin Paprzycki

Multi-Grain Rendezvous
Stanislaw Chrobot

Comparing Inference Control Mechanisms for Statistical Databases with Emphasis on Randomizing
Ernst L. Leiss and Jurij Jaklic

Deep Knowledge and Domain Models
Jarmo J. Ahonen

Contents Volume 19, Number 3, 1995

pdf, 11.0 MB

Reliability Optimization of Concurrent Software with Redundancy
Jie Wu and Kejun Yao

An Algorithm for Self-Learning and Self-Completing Fuzzy Control Rules
Xiaozhong Li, Shuo Bai and Zemin Liu

Performance Bounds on Scheduling Parallel Tasks with Setup Time on Hypercube Systems
Jiann-Fu Lin and Sao-Jie Chen

HLO: A Higher-Order Deductive Object-Oriented Database Language
Mengchi Liu

On the Balance of the Informational Exchange, Its Flow, and Fractional Revealing Large Informational Quanta, in the `Hot' Living Systems (T<0_)
Jiri Slechta

Elements of metamathematical and informational calculus
Anton P. Zeleznikar

Nonlinear Adaptive Prediction Algorithm and Its Parallel Implementation
Ryszard A. Wasniowski

Termination Conditions for Parallel Shape Recognition
Zbigniew M. Wojcik and Barbara E. Wojcik

Fundamental Tasks in Software Development Environments
Lars Bendix

A Sound and Complete Axiomatization of Functional Dependencies: A Formal System With Only Two Inference Rules
Mirko Malekovic

Contents Volume 19, Number 4, 1995

pdf, 21.1 MB

0. Mind <> Computer: Introduction to the Special Issue

Making a Mind vs. Modeling the Brain: AI Back at a Branchpoint
Hubert L. Dreyfus and Stuart E. Dreyfus

Thinking Machines: Can There Be? Are We?
Terry Winograd

Strong AI: an Adolescent Disorder
Donald Michie

Artificial Selfhood: The Path to True Artificial Intelligence
Ben Goertzel

Strong vs. Weak AI
Matjaz Gams

A Brief Naive Psychology Manifesto
Stuart Watt

Stuffing Mind into Computer: Knowledge and Learning for Intelligent Systems
Kevin J. Cherkauer

Has Turing Slain the Jabberwock?
Louis Marinoff

Computation and Embodied Agency
Philip E. Agre

Methodological Considerations on Modeling Cognition and Designing Human-Computer Interfaces - an Investigation from the Perspective of Philosophy of Science and Epistemology
Markus F. Peschl

Knowledge Objects
Xindong Wu, Sita Ramakrishnan and Heinz Schmidt

Modeling Affect: The Next Step in Intelligent Computer Evolution
Steven Walczak

The Extracellular Containment of Natural Intelligence: A New Direction for Strong AI
Richard L. Amoroso

Quantum Intelligence, QI; Quantum Mind, QM
Branko Soucek

Representations, Explanations, and PDP: Is Representation-Talk Really Necessary?
Robert S. Stufflebeam

Is Consciousness a Computational Property?
Gilbert Caplain

Cracks in the Computational Foundations
Paul Schweizer

Gödel's Theorems for Minds and Computers
Damjan Bojadziev

On the Computational Model of the Mind
Mario Radovan

What Internal Languages Can't Do
Peter Hipwell

Consciousness and Understanding in the Chinese Room
Simone Gozzano