


default search action
Informatica (Slovenia), Volume 19
Volume 19, Number 1, 1995
- Marcin Paprzycki, Janusz Zalewski:
Parallel and Distributed Real-Time Systems: Introduction to the Special Issue. Informatica (Slovenia) 19(1) (1995) - Charles McKay, Colin Atkinson:
Supporting the Evolution of Distributed, Non-stop, Mission and Safety Critical Systems. Informatica (Slovenia) 19(1) (1995) - Jan van Katwijk, Hans Toetenel:
Loose Specification of Real Time Systems. Informatica (Slovenia) 19(1) (1995) - Jyhjong Lin, David Chenho Kung, Pei Hsia:
An Object-Oriented Approach for Modeling and Analysis of Safety-Critical Real-time Systems. Informatica (Slovenia) 19(1) (1995) - Matjaz Colnaric, Domen Verber, Wolfgang A. Halang:
Supporting High Integrity and Behavioural Predictability of Hard Real-Time Systems. Informatica (Slovenia) 19(1) (1995) - Guohui Yu, Lonnie R. Welch:
A Novel Approach to Off-line Scheduling in Real-Time Systems. Informatica (Slovenia) 19(1) (1995) - Sadegh Davari, Sudarshan K. Dhall:
On-line Algorithms for Allocating Periodic-time-critical Tasks on Multiprocessor Systems. Informatica (Slovenia) 19(1) (1995) - Kayhan Erciyes, Öznur Özkasap, Nilgun Aktas:
A Semi-Distributed Load Balancing Model for Parallel Real-time Systems. Informatica (Slovenia) 19(1) (1995) - Zbigniew M. Wójcik, Barbara E. Wójcik:
Optimal Algorithm for Real-Time Fault Tolerant Distributed Processing Using Checkpoints. Informatica (Slovenia) 19(1) (1995) - Bonaventure Tchouaffe, Janusz Zalewski:
Fully Deterministic Real-Time Protocol for a CSMA/CD Type Local Area Network. Informatica (Slovenia) 19(1) (1995) - Anton P. Zeleznikar:
Principles of a Formal Axiomatic Structure of the Informational. Informatica (Slovenia) 19(1) (1995)
Volume 19, Number 2, 1995
- Niki Pissinou, Vijay V. Raghavan, Kanonkluk Vanapipat:
RIMM: A Reactive Integration Multidatabase Model. Informatica (Slovenia) 19(2) (1995) - Per Runeson, Claes Wohlin:
Statistical Usage Testing for Software Reliability Control. Informatica (Slovenia) 19(2) (1995) - Cyril U. Orji, Taysir Abdalla, Jon A. Solworth:
Large Performance Analysis of Disk Mirroring Techniques. Informatica (Slovenia) 19(2) (1995) - Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings:
Data Consistency in Hard Real-Time Systems. Informatica (Slovenia) 19(2) (1995) - Marcin Paprzycki:
Parallel Gaussian Elimination Algorithms on a Cray Y-MP. Informatica (Slovenia) 19(2) (1995) - Stanislaw Chrobot:
Multi-Grain Rendezvous. Informatica (Slovenia) 19(2) (1995) - Ernst L. Leiss, Jurij Jaklic:
Comparing Inference Control Mechanisms for Statistical Databases with Emphasis on Randomizing. Informatica (Slovenia) 19(2) (1995) - Jarmo J. Ahonen:
Deep Knowledge and Domain Models. Informatica (Slovenia) 19(2) (1995)
Volume 19, Number 3, 1995
- Jie Wu, Kejun Yao:
Reliability Optimization of Concurrent Software with Redundancy. Informatica (Slovenia) 19(3) (1995) - Xiaozhong Li, Shuo Bai, Zemin Liu:
An Algorithm for Self-Learning and Self-Completing Fuzzy Control Rules. Informatica (Slovenia) 19(3) (1995) - Jiann-Fu Lin, Sao-Jie Chen:
Performance Bounds on Scheduling Parallel Tasks with Setup Time on Hypercube Systems. Informatica (Slovenia) 19(3) (1995) - Mengchi Liu:
HLO: A Higher-Order Deductive Object-Oriented Database Language. Informatica (Slovenia) 19(3) (1995) - Jiri Slechta:
On the Balance of the Informational Exchange, Its Flow, and Fractional Revealing Large Informational Quanta, in the 'Hot' Living Systems (T<0). Informatica (Slovenia) 19(3) (1995) - Anton P. Zeleznikar:
Elements of metamathematical and informational calculus. Informatica (Slovenia) 19(3) (1995) - Ryszard Wasniowski:
Nonlinear Adaptive Prediction Algorithm and Its Parallel Implementation. Informatica (Slovenia) 19(3) (1995) - Zbigniew M. Wójcik, Barbara E. Wójcik:
Termination Conditions for Parallel Shape Recognition. Informatica (Slovenia) 19(3) (1995) - Lars Bendix:
Fundamental Tasks in Software Development Environments. Informatica (Slovenia) 19(3) (1995) - Mirko Malekovic:
A Sound and Complete Axiomatization of Functional Dependencies: A Formal System With Only Two Inference Rules. Informatica (Slovenia) 19(3) (1995)
Volume 19, Number 4, 1995
- Hubert L. Dreyfus, Stuart E. Dreyfus:
Making a Mind vs. Modeling the Brain: AI Back at a Branchpoint. Informatica (Slovenia) 19(4) (1995) - Terry Winograd:
Thinking Machines: Can There Be? Are We? Informatica (Slovenia) 19(4) (1995) - Donald Michie:
Strong AI: an Adolescent Disorder. Informatica (Slovenia) 19(4) (1995) - Ben Goertzel:
Artificial Selfhood: The Path to True Artificial Intelligence. Informatica (Slovenia) 19(4) (1995) - Matjaz Gams:
Strong vs. Weak AI. Informatica (Slovenia) 19(4) (1995) - Stuart Watt:
A Brief Naive Psychology Manifesto. Informatica (Slovenia) 19(4) (1995) - Kevin J. Cherkauer:
Stuffing Mind into Computer: Knowledge and Learning for Intelligent Systems. Informatica (Slovenia) 19(4) (1995) - Louis Marinoff:
Has Turing Slain the Jabberwock? Informatica (Slovenia) 19(4) (1995) - Philip E. Agre:
Computation and Embodied Agency. Informatica (Slovenia) 19(4) (1995) - Markus F. Peschl:
Methodological Considerations on Modeling Cognition and Designing Human-Computer Interfaces - an Investigation from the Perspective of Philosophy of Science and Epistemology. Informatica (Slovenia) 19(4) (1995) - Xindong Wu, Sita Ramakrishnan, Heinz W. Schmidt:
Knowledge Objects. Informatica (Slovenia) 19(4) (1995) - Steven Walczak:
Modeling Affect: The Next Step in Intelligent Computer Evolution. Informatica (Slovenia) 19(4) (1995) - Richard L. Amoroso:
The Extracellular Containment of Natural Intelligence: A New Direction for Strong AI. Informatica (Slovenia) 19(4) (1995) - Branko Soucek:
Quantum Intelligence, QI; Quantum Mind, QM. Informatica (Slovenia) 19(4) (1995) - Robert S. Stufflebeam:
Representations, Explanations, and PDP: Is Representation-Talk Really Necessary? Informatica (Slovenia) 19(4) (1995) - Gilbert Caplain:
Is Consciousness a Computational Property? Informatica (Slovenia) 19(4) (1995) - Paul Schweizer:
Cracks in the Computational Foundations. Informatica (Slovenia) 19(4) (1995) - Damjan Bojadziev:
Gödel's Theorems for Minds and Computers. Informatica (Slovenia) 19(4) (1995) - Mario Radovan:
On the Computational Model of the Mind. Informatica (Slovenia) 19(4) (1995) - Peter Hipwell:
What Internal Languages Can't Do. Informatica (Slovenia) 19(4) (1995) - Simone Gozzano:
Consciousness and Understanding in the Chinese Room. Informatica (Slovenia) 19(4) (1995)

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.