Informatica (Slovenia), Volume 19

Volume 19, Number 1, 1995

Marcin Paprzycki, Janusz Zalewski: Parallel and Distributed Real-Time Systems: Introduction to the Special Issue. BibTeX
Charles McKay, Colin Atkinson: Supporting the Evolution of Distributed, Non-stop, Mission and Safety Critical Systems. BibTeX
Jan van Katwijk, Hans Toetenel: Loose Specification of Real Time Systems. BibTeX
Jyhjong Lin, David Chenho Kung, Pei Hsia: An Object-Oriented Approach for Modeling and Analysis of Safety-Critical Real-time Systems. BibTeX Matjaz Colnaric, Domen Verber, Wolfgang A. Halang: Supporting High Integrity and Behavioural Predictability of Hard Real-Time Systems. 0-
Guohui Yu, Lonnie R. Welch: A Novel Approach to Off-line Scheduling in Real-Time Systems. BibTeX
Sadegh Davari, Sudarshan K. Dhall: On-line Algorithms for Allocating Periodic-time-critical Tasks on Multiprocessor Systems. BibTeX
Kayhan Erciyes, Öznur Özkasap, Nilgun Aktas: A Semi-Distributed Load Balancing Model for Parallel Real-time Systems. BibTeX
Zbigniew M. Wójcik, Barbara E. Wójcik: Optimal Algorithm for Real-Time Fault Tolerant Distributed Processing Using Checkpoints. BibTeX
Bonaventure Tchouaffe, Janusz Zalewski: Fully Deterministic Real-Time Protocol for a CSMA/CD Type Local Area Network. BibTeX
Anton P. Zeleznikar: Principles of a Formal Axiomatic Structure of the Informational. BibTeX

Volume 19, Number 2, 1995

Niki Pissinou, Vijay V. Raghavan, Kanonkluk Vanapipat: RIMM: A Reactive Integration Multidatabase Model. BibTeX
Per Runeson, Claes Wohlin: Statistical Usage Testing for Software Reliability Control. BibTeX
Cyril U. Orji, Taysir Abdalla, Jon A. Solworth: Large Performance Analysis of Disk Mirroring Techniques. BibTeX
Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings: Data Consistency in Hard Real-Time Systems. BibTeX
Marcin Paprzycki: Parallel Gaussian Elimination Algorithms on a Cray Y-MP. BibTeX
Stanislaw Chrobot: Multi-Grain Rendezvous. BibTeX
Ernst L. Leiss, Jurij Jaklic: Comparing Inference Control Mechanisms for Statistical Databases with Emphasis on Randomizing. BibTeX
Jarmo J. Ahonen: Deep Knowledge and Domain Models. BibTeX

Volume 19, Number 3, 1995

Jie Wu, Kejun Yao: Reliability Optimization of Concurrent Software with Redundancy. BibTeX
Xiaozhong Li, Shuo Bai, Zemin Liu: An Algorithm for Self-Learning and Self-Completing Fuzzy Control Rules. BibTeX
Jiann-Fu Lin, Sao-Jie Chen: Performance Bounds on Scheduling Parallel Tasks with Setup Time on Hypercube Systems. BibTeX
Mengchi Liu: HLO: A Higher-Order Deductive Object-Oriented Database Language. BibTeX
Jiri Slechta: On the Balance of the Informational Exchange, Its Flow, and Fractional Revealing Large Informational Quanta, in the 'Hot' Living Systems (T<0). BibTeX
Anton P. Zeleznikar: Elements of metamathematical and informational calculus. BibTeX
Ryszard Wasniowski: Nonlinear Adaptive Prediction Algorithm and Its Parallel Implementation. BibTeX
Zbigniew M. Wójcik, Barbara E. Wójcik: Termination Conditions for Parallel Shape Recognition. BibTeX
Lars Bendix: Fundamental Tasks in Software Development Environments. BibTeX
Mirko Malekovic: A Sound and Complete Axiomatization of Functional Dependencies: A Formal System With Only Two Inference Rules. BibTeX

Volume 19, Number 4, 1995

Mind vs. Computer

Hubert L. Dreyfus, Stuart Dreyfus: Making a Mind vs. Modeling the Brain: AI Back at a Branchpoint. BibTeX
Terry Winograd: Thinking Machines: Can There Be? Are We? BibTeX
Donald Michie: Strong AI: an Adolescent Disorder. BibTeX
Ben Goertzel: Artificial Selfhood: The Path to True Artificial Intelligence. BibTeX
Matjaz Gams: Strong vs. Weak AI. BibTeX
Stuart Watt: A Brief Naive Psychology Manifesto. BibTeX
Kevin J. Cherkauer: Stuffing Mind into Computer: Knowledge and Learning for Intelligent Systems. BibTeX
Louis Marinoff: Has Turing Slain the Jabberwock? BibTeX
Philip E. Agre: Computation and Embodied Agency. BibTeX
Markus F. Peschl: Methodological Considerations on Modeling Cognition and Designing Human-Computer Interfaces - an Investigation from the Perspective of Philosophy of Science and Epistemology. BibTeX
Xindong Wu, Sita Ramakrishnan, Heinz W. Schmidt: Knowledge Objects. BibTeX
Steven Walczak: Modeling Affect: The Next Step in Intelligent Computer Evolution. BibTeX
Richard L. Amoroso: The Extracellular Containment of Natural Intelligence: A New Direction for Strong AI. BibTeX
Branko Soucek: Quantum Intelligence, QI; Quantum Mind, QM. BibTeX
Robert S. Stufflebeam: Representations, Explanations, and PDP: Is Representation-Talk Really Necessary? BibTeX
Gilbert Caplain: Is Consciousness a Computational Property? BibTeX
Paul Schweizer: Cracks in the Computational Foundations. BibTeX
Damjan Bojadziev: Gödel's Theorems for Minds and Computers. BibTeX
Mario Radovan: On the Computational Model of the Mind. BibTeX
Peter Hipwell: What Internal Languages Can't Do. BibTeX
Simone Gozzano: Consciousness and Understanding in the Chinese Room. BibTeX