ICIS Research Publications


2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969 1968 1967 1966 1965 1964 1963 1962 1960 1959 1958 1957 1956 1955 1953 1952 1951 1950 1949 1948 1947 1946 1945 1941 1938 1923 1911

Unclassified

G. Shafer, and J Pearl. Readings in Uncertain Reasoning. Morgan Kaufmann, San Mateo, California, USA, 1993.

[ Missing PDF ] [ Bibtex ]

M. Aboud, C. Chrisment, R. Razouk, F. Sedes, and C. Soule-Dupuy. Querying a Hypertext Information Retrieval System by the Use of Classification. In: Information Processing & Management, Nr: 3, Vol: 29, Pages: 387-396, 1993.

[ Missing PDF ] [ Bibtex ]

M. Agosti. Hypertext and Information Retrieval. In: Information Processing and Management, Nr: 3, Vol: 29, Pages: 283-285, 1993.

Ideas concerning the concept of hypertexts and information retrieval can be found as early as in the Atlantic Monthly of 1945 in the paper entitled "As we may think" by Vannevar Bush, in which the author envisages the possibility of storing and retrieving information by using techniques and capabilities that are proper to hypertext/hypermedia and informa­tion retrieval systems, but which are not all as yet effectively and completely available in present-day systems.

Research activities that are currently under way in the field of hypertext and infor­mation retrieval focus basically on the design and implementation of systems capable of providing the final user with the properties of the visionary Memex device and system of Vannevar Bush.

[ PDF ] [ Bibtex ]

M. Agosti, and F. Crestani. A Methodology for the Automatic Construction of a Hypertext for Information Retrieval. In: Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing, Pages: 745-753, February, 1993.

The paper addresses the problem of the automatic construction of a hyptext to be used for Information Retrieval (IR) purposes. The starting point is modelling a set of raw IR data by means of a conceptual schema. The conceptual schema produced for a specific IR application domain provides the user with a frame of reference in the query formulation process. This schema can be implemented by means of a hypertext tool using a set of automatic techniques for the identification of nodes and links. The hypertext tool can be used for querying procesing, as an automatic tml of query expansion, and for browsing, enabling the user to query and move through the Et data using different levels of abstraction. This paper describes the modelling and design process and concentrates on the set of automatic techniques to be construction of the IR hypertext.

[ PDF ] [ Bibtex ]

E. Andonoff. Normalization of Object-Oriented Conceptual Schemes. In: Proceedings of the Fifth International Conference CAiSE`93 on Advanced Information Systems Engineering, Paris, France, EU, Edited by: C. Rolland, F. Bodart, and C. Cauvet. Lecture Notes in Computer Science, Vol: 685, Pages: 449-462, Springer, 1993.

[ Missing PDF ] [ Bibtex ]

Y. Arens, C.Y. Chee, C.-N. Hsu, and C.A. Knoblock. Retrieving and Integrating Data from Multiple Information Sources. In: International Journal of Cooperative Information Systems, Nr: 2, Vol: 2, Pages: 127-158, 1993.

[ Missing PDF ] [ Bibtex ]

H.C. Arents, and W.F.L. Bogaerts. Concept-based Retrieval of Hypermedia Information: From Term Indexing to Semantic Hyperindexing. In: Information Processing & Management, Nr: 3, Vol: 29, Pages: 373-386, 1993.

[ Missing PDF ] [ Bibtex ]

P. Attie, P. Singh, A.P. Sheth, and M. Rusinkiewicz. Specifying and Enforcing Intertask Dependencies. In: Proceedings of the 19th VLDB Conference, Edited by: R. Agrawal, S. Baker, and D.A. Bell. Pages: 134-145, August, 1993.

[ Missing PDF ] [ Bibtex ]

S. Van Baelen, J. Lewi, E. Steegmans, and B. Swennen. Constraints in Object-Oriented Analysis. In: Proceedings of the first International Symposium, JSSST `93: Object Technologies for Advanced Software, Kanazawa, Japan, Edited by: S. Nishio, and A. Yonezawa. Lecture Notes in Computer Science, Vol: 742, Pages: 393-407, November, Springer, 1993.

[ Missing PDF ] [ Bibtex ]

J.P. Bansler, and K. Bødker. A Reappraisal of Structured Analysis: Design in an Organizational Context. In: ACM Transactions on Information Systems, Nr: 2, Vol: 11, Pages: 165-193, 1993.

[ Missing PDF ] [ Bibtex ]

M.Y. Bearman. ODP - Trader. In: Open Distributed Processing, Nr: C-20, Vol: 2, Pages: 37-51, 1993.

[ Missing PDF ] [ Bibtex ]

N.J. Belkin, P.G. Marchetti, and C. Cool. BRAQUE: Design of an interface to support user interaction in information retrieval. In: Information Processing & Management, Nr: 3, Vol: 29, Pages: 325-344, 1993.

[ Missing PDF ] [ Bibtex ]

Victor Richard Benjamins. Problem Solving Methods For Diagnosis. University of Amsterdam, Amsterdam, The Netherlands, EU, 1993.

[ Missing PDF ] [ Bibtex ]

A.C. Bloesch. Signed Tableaux - a Basis for Automated Theorem Proving in Nonclassical Logics. University of Queensland, Brisbane, Queensland, Australia, 1993.

[ Missing PDF ] [ Bibtex ]

M. Boekaerts, and P. Simons. Leren en instructie: psychologie van de leerling en het leerproces. Dekker & Van de Vegt, Assen, The Netherlands, EU, 1993.

[ Missing PDF ] [ Bibtex ]

B. de Boer, F. Reubel, R. Reinards, and J. van der Sanden. Zelfstandig leren in beroepsopleidingen. Wolters Noordhoff, Groningen, The Netherlands, EU, 1993.

[ Missing PDF ] [ Bibtex ]

Y. Breibart, D. Georgakopoulos, and H.-J. Schek. Merging Application-centric and Data-centric Approaches to Support Transaction-oriented Multi-system Workflows. In: SIGMOD Record, Nr: 3, Vol: 22, Pages: 23-30, September, 1993.

[ Missing PDF ] [ Bibtex ]

Carla E. Brodley, and Edwina L. Rissland. Measuring Concept Change. In: AAAI Spring Symposium: Training Issues in Incremental Learning, Pages: 98-107, 1993.

[ Missing PDF ] [ Bibtex ]

G.H.W.M. Bronts. Formalization of an Object Model. University of Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

W. Brookes, and J. Indulska. An ODP-Based Approach to Overcoming Heterogeneity in Wide Area Networks. In: Proceedings of the IEEE Singapore International Conference on Networks / International Conference on Information Engineering, Edited by: G.S. Poo, and E.S. Seumahu. Vol: 2, Pages: 680-684, September, 1993.

[ Missing PDF ] [ Bibtex ]

P.D. Bruza. Stratified Information Disclosure: A Synthesis between Hypermedia and Information Retrieval. University of Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

J.F.M. Burg, R.P. van der Riet, and S.C. Chang. A data-dictionary as a lexicon: An application of linguistics in information systems. In: Proceedings of the 2nd International Conference on Information and Knowledge Management, Edited by: B. Bhargava, T. Finin, and Y. Yesha. 1993.

[ Missing PDF ] [ Bibtex ]

L.J. Campbell, and T.A. Halpin. Automated Support for Conceptual to External Mapping. In: Proceedings of the Fourth Workshop on the Next Generation of CASE Tools, Edited by: S. Brinkkemper, and F. Harmsen. Pages: 35-51, June, 1993.

[ Missing PDF ] [ Bibtex ]

M.A. Casanova, L. Tucherman, and A.H.F. Laender. On the design and maintenance of optimized relational representations of entity-relationship schemas. In: Data & Knowledge Engineering, Vol: 11, Pages: 1-20, 1993.

[ Missing PDF ] [ Bibtex ]

D. de Champeaux, D. Lea, and P. Faure. Object-Oriented System Development. Addison Wesley, 1993.

[ Missing PDF ] [ Bibtex ]

J. Chomicki. Temporal Databases. In: 12th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May, 1993, Tutorial Notes.

[ Missing PDF ] [ Bibtex ]

T. Clement. Notes on Data Reification. In: Proceedings of the 1st International Symposium of Formal Methods Europe, Formal Methods Europe `93: Industrial-Strength Formal Methods, Pages: 151-189, April, 1993.

[ Missing PDF ] [ Bibtex ]

P.N. Creasy, and G. Ellis. A Conceptual Graph Approach to Conceptual Schema Integration. In: Conceptual Graphs for Knowledge Representation: First International Conference on Conceptual Structures, ICCS `93, Edited by: G.W. Mineau, B. Moulin, and J.F. Sowa. Lecture Notes in Artificial Intelligence, Pages: 126-141, August, 1993.

[ Missing PDF ] [ Bibtex ]

P.N. Creasy. Schema Integration and Model Translation. In: Proceedings of the Second International Workshop on PEIRCE, August, 1993.

[ Missing PDF ] [ Bibtex ]

W. B. Croft. Knowledge-based and Statistical Approaches to Text Retrieval. In: IEEE Expert, Nr: 2, Vol: 8, Pages: 8-12, 1993.

[ Missing PDF ] [ Bibtex ]

W.B. Croft, and H.R. Turtle. Retrieval Strategies for Hypertext. In: Information Processing & Management, Nr: 3, Vol: 29, Pages: 313-324, 1993.

[ Missing PDF ] [ Bibtex ]

J.P. Callan, and W.B. Croft. An Evaluation of Query Processing Strategies using the TIPSTER collection. In: Proceedings of the 16th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Pages: 347-355, 1993.

[ Missing PDF ] [ Bibtex ]

M.S.J. Johnson, and C.N.G. Dampney. On the value of commutative diagrams in information modelling. In: Proceedings of the Third International Conference AMAST`93 on Algebraic Methodology and Software Technology, Enschede, The Netherlands, EU, Edited by: M. Nivat, C.M.I. Rattray, T. Rus, and G. Scollo. Workshops in Computing, Pages: 44-58, June, Springer, 1993.

[ Missing PDF ] [ Bibtex ]

C.N.G. Dampney, M.S.J. Johnson, and P. Deuble. Taming Large Complex Information Systems. In: Complex Systems: From Biology to Computation, Amsterdam, The Netherlands, EU, Edited by: D.G. Green, and T.J. Rossomaier. Pages: 210-222, IOS Press, Amsterdam, The Netherlands, EU, 1993.

[ Missing PDF ] [ Bibtex ]

T.H. Davenport. Process Innovation: Reengineering work through information technology. Harvard Business School Press, Boston, Massachusetts, USA, 1993.

[ Missing PDF ] [ Bibtex ]

O.M.F. De Troyer. On Data Schema Transformations. University of Tilburg (K.U.B.), Tilburg, The Netherlands, EU, 1993.

[ Missing PDF ] [ Bibtex ]

O.M.F. De Troyer, and R. Janssen. On Modularity for Conceptual Data Models and the Consequences for Subtyping, Inheritance & Overriding. In: Proceedings of the 9th IEEE Conference on Data Engineering (ICDE 93), Edited by: A.K. Elmagarmid, and E.J. Neuhold. Pages: 678-685, IEEE, Los Alamitos, California, USA, 1993.

[ Missing PDF ] [ Bibtex ]

E. Dubois, P. Du Bois, and M. Petit. Elicitating and Formalising Requirements for C.I.M. Information Systems. In: Proceedings of the Fifth International Conference CAiSE`93 on Advanced Information Systems Engineering, Paris, France, EU, Edited by: C. Rolland, F. Bodart, and C. Cauvet. Lecture Notes in Computer Science, Vol: 685, Pages: 252-274, Springer, 1993.

[ Missing PDF ] [ Bibtex ]

M.D. Dunlop, and C.J. van Rijsbergen. Hypermedia and Free Text Retrieval. In: Information Processing & Management, Nr: 3, Vol: 29, 1993.

[ Missing PDF ] [ Bibtex ]

H. Ehrig. On the Role of Category Theory in Computer Science. September, 1993, (Kloosterman Lecture).

[ Missing PDF ] [ Bibtex ]

V. Estivill-Castro. The design of competitive algorithms via genetic algorithms. In: Proceedings of the 5th International Conference on Computing and Information, Pages: 305-309, IEEE, Los Alamitos, California, USA, 1993.

[ Missing PDF ] [ Bibtex ]

C.A. Ewald, and M.E. Orlowska. A Procedural Approach to Schema Evolution. In: Proceedings of the Fifth International Conference CAiSE`93 on Advanced Information Systems Engineering, Paris, France, EU, Edited by: C. Rolland, F. Bodart, and C. Cauvet. Lecture Notes in Computer Science, Vol: 685, Pages: 22-38, Springer, 1993.

[ Missing PDF ] [ Bibtex ]

A.J. Feelders. Diagnostic Reasoning and Explanation in Financial Models of the Firm. Tilburg University, Tilburg, The Netherlands, EU, 1993, ISBN 909006589X.

[ Missing PDF ] [ Bibtex ]

S. Forrest, and M. Mitchell. Relative Building-Block Fitness and the Building-Block Hypothesis. In: Foundations of Genetic Algorithms 2, Edited by: L.D. Whitley. Pages: 109-126, Morgan Kaufmann, San Mateo, California, USA, 1993.

[ Missing PDF ] [ Bibtex ]

Norbert Fuhr, Ulrich Pfeifer, Christoph Bremkamp, and Michael Pollmann. Probalistic Learning Approaches for Indexing and Retrieval with the TREC-2 Collection. In: The Second Text REtrieval Conference (TREC-2), Edited by: Donna K. Harman. Pages: 519-526, August 31, Department of Commerce, National Institute of Standards and Technology (NIST) Special Publication 500-215, Gaithersburg, Maryland, 1993.

[ Missing PDF ] [ Bibtex ]

H.E. Gardner. Multiple Intelligences: The Theory in Practice. Basic Books, New York, New York, USA, 1993, ISBN 046501822X.

[ Missing PDF ] [ Bibtex ]

D.A. Garvin. Building a Learning Organization. In: Harvard Business Review, Nr: July-Augus, Pages: 78-91, 1993.

[ Missing PDF ] [ Bibtex ]

R. Godin, R. Missaoiu, and A. April. Experimental comparison of navigation in a Galois lattice with conventional information retrieval methods. In: International Journal of Man-Machine Studies, Nr: 1, Vol: 38, Pages: 747-767, 1993.

[ Missing PDF ] [ Bibtex ]

Transaction Processing: Concepts and Techniques. Edited by: J. Gray, and A. Reuter. Morgan Kaufmann, San Mateo, California, USA, 1993.

[ Missing PDF ] [ Bibtex ]

T.R. Gruber. A Translation Approach to Portable Ontology Specification. In: Knowledge Acquisition, Nr: 2, Vol: 5, Pages: 199-220, 1993.

[ Missing PDF ] [ Bibtex ]

T.R. Gruber. Towards Principles for the Design of Ontologies Used for Knowledge Sharing. In: Formal Ontology in Conceptual Analysis and Knowledge Representation, Deventer, The Netherlands, EU, Edited by: N. Guarino, and R. Poli. Kluwer, Deventer, The Netherlands, EU, 1993.

[ Missing PDF ] [ Bibtex ]

H. Habrias. Normalized Object Oriented Method. In: Encyclopedia of Microcomputers, Vol: 12, Pages: 271-285, Marcel Dekker, New York, New York, USA, 1993.

[ Missing PDF ] [ Bibtex ]

J.-L. Hainaut, M. Chandelon, C. Tonneau, and M. Joris. Contribution to a Theory of Database Reverse Engineering. In: Proceedings of the IEEE Working Conference on Reverse Engineering, Baltimore, Massachusetts, USA, May, IEEE, Los Alamitos, California, USA, 1993.

[ Missing PDF ] [ Bibtex ]

J.-L. Hainaut, C. Tonneau, M. Joris, and M. Chandelon. Transformation-based Database Reverse Engineering. In: Proceedings of the 12th International Conference on the Entity-Relationship Approach, Dallas, Texas, USA, Lecture Notes in Computer Science, December, Springer, 1993.

[ Missing PDF ] [ Bibtex ]

J.-L. Hainaut, C. Tonneau, M. Joris, and M. Chandelon. Schema Transformation Techniques for Database Reverse Engineering. In: Proceedings of the 12th International Conference on the Entity-Relationship Approach, Dallas, Texas, USA, Lecture Notes in Computer Science, December, Springer, 1993.

[ Missing PDF ] [ Bibtex ]

D. Haines, and W.B. Croft. Relevance Feedback and Inference Networks. In: Proceedings of the Sixteenth ACM SIGIR Conference on Research and Development in Information Retrieval, Pages: 2-11, 1993.

[ Missing PDF ] [ Bibtex ]

T.A. Halpin, and J. Harding. Automated Support for Verbalization of Conceptual Schemas. In: Proceedings of the Fourth Workshop on the Next Generation of CASE Tools, Edited by: S. Brinkkemper, and F. Harmsen. Pages: 151-161, June, 1993.

[ Missing PDF ] [ Bibtex ]

R.M. Hayes. Measurement of Information. In: Information Processing & Management, Nr: 1, Vol: 29, Pages: 1-11, 1993.

[ Missing PDF ] [ Bibtex ]

M.A. Hearst, and Hinrich Schütze. Customizing a Lexicon to Better Suit a Computational Task. In: Proc. ACL SIGLEX Work. Acquisition of Lexical Knowledge from Text, 1993.

[ PDF ] [ Bibtex ]

K.M. van Hee, P.M.P. Rambags, and P.A.C. Verkoulen. Specification and Simulation with ExSpect. In: Functional Programming, Concurrency, Simulation and Automated Reasoning, Lecture Notes in Computer Science edition, Edited by: P.E. Lauer. Nr: 693, Pages: 296-328, Springer, 1993.

[ Missing PDF ] [ Bibtex ]

J.C. Henderson, and N. Venkatraman. Strategic alignment: Leveraging information technology for transforming organizations. In: IBM Systems Journal, Nr: 1, Vol: 32, Pages: 4-16, 1993.

[ PDF ] [ Bibtex ]

C.A. Heuser, E.M. Peres, and G. Richter. Petri Nets and Entity-Relationship Diagrams. In: Information Systems, Nr: 1, Vol: 18, Pages: 275-298, 1993.

[ Missing PDF ] [ Bibtex ]

M. Heym, and H. Österle. Computer-aided methodology engineering. In: Information and Software Technology, Nr: 6/7, Vol: 35, Pages: 345-354, June, 1993.

[ Missing PDF ] [ Bibtex ]

A.H.M. ter Hofstede. Information Modelling in Data Intensive Domains. University of Nijmegen, 1993, ISBN 909006236X.

[ Missing PDF ] [ Bibtex ]

S. Hong, G. van den Goor, and S. Brinkkemper. A Formal Approach to the Comparison of Object-Oriented Analysis and Design Methodologies. In: Proceedings of the 26th Hawaii International Conference on System Sciences, Edited by: J.F. Nunamaker, and Jr. Sprague. Vol: IV, Pages: 689-698, IEEE, Los Alamitos, California, USA, 1993.

[ Missing PDF ] [ Bibtex ]

J. Horn. Finite Markov Chain Analysis of Genetic Algorithms with Niching. In: Proceedings of the Fifth International Conference on Genetic Algorithms, Edited by: S. Forrest. Pages: 110-117, Morgan Kaufmann, San Mateo, California, USA, 1993.

[ Missing PDF ] [ Bibtex ]

Information technology - Vocabulary - Part 1: Fundamental terms. 1993, ISO/IEC 2382-1:1993.

[ External URL ] [ Bibtex ]

I. Jacobson. Is Object Technology Software`s Industrial Platform?. In: IEEE Software, Pages: 24-30, January, 1993.

[ Missing PDF ] [ Bibtex ]

P. Jaeschke, A. Oberweis, and W. Stucky. Deriving Complex Structured Object Types for Business Process Modelling. In: Proceedings of the 13th International Conference on the Entity-Relationship Approach, Manchester, United Kingdom, EU, Edited by: P. Loucopoulos. Lecture Notes in Computer Science, Pages: 28-45, December, Springer, 1993.

[ Missing PDF ] [ Bibtex ]

M. Jarke, J.A. Bubenko, C. Rolland, A.G. Sutcliffe, and Y. Vassiliou. Theories Underlying Requirements Engineering: An Overview of NATURE at Genesis. In: Proceedings of the IEEE Symposium on Requirements Engineering, RE`93, San Diego, California, USA, January, IEEE, Los Alamitos, California, USA, 1993.

[ Missing PDF ] [ Bibtex ]

J. Jeuring. Theories for Algorithm Calculation. University of Utrecht, Utrecht, The Netherlands, EU, 1993.

[ Missing PDF ] [ Bibtex ]

H. Jifeng, and C.A.R. Hoare. From Algebra to Operational Semantics. In: Information Processing Letters, Nr: 2, Vol: 45, Pages: 75-80, February, 1993.

[ Missing PDF ] [ Bibtex ]

M.S.J. Johnson, and C.N.G. Dampney. Category theory and information system engineering. In: Proceedings of the Third International Conference AMAST`93 on Algebraic Methodology and Software Technology, Enschede, The Netherlands, EU, Workshops in Computing, Pages: 95-103, June, Springer, 1993.

[ Missing PDF ] [ Bibtex ]

Ben Kaper. Wiskundige Methoden en technieken in de economie, Matrix-rekening. 3th edition, Academic Service, 1993, In Dutch, ISBN 9052610053.

[ Missing PDF ] [ Bibtex ]

P. Kilpela`inen, and H. Mannila. Retrieval from hierarchical texts by partial patterns. In: Proceedings of the 16th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Edited by: H.P. Frei, D. Harman, P. Sch`auble, and R. Wilkinson. Pages: 214-222, 1993.

[ Missing PDF ] [ Bibtex ]

Hideki Kozima, and Teiji Furugori. Similarity between Words computed by Spreading Activaction on an English Dictionary. In: Proceedings of the 6th Conference of the European Chapter of the Association for Computational Linguistics (EACL-93, Utrecht), Pages: 232-239, 1993.

[ PDF ] [ Bibtex ]

Hideki Kozima. Text Segmentation Based on Similarity between Words. In: Meeting of the Association for Computational Linguistics, Pages: 286-288, 1993.

[ PDF ] [ Bibtex ]

J. Kristensen. Expanding end-user`s query statements for free text searching with a search-aid thesaurus. In: Information Processing and Management, Nr: 6, Vol: 29, Pages: 733-744, 1993.

[ Missing PDF ] [ Bibtex ]

Robert Krovetz. Viewing Morphology as an Inference Process. In: Proceedings of the 16th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Edited by: R. Korfhage, E. Rasmussen, and P. Willett. Pages: 191-202, ACM Press, 1993.

[ Missing PDF ] [ Bibtex ]

D.C. Kung. The Behaviour Network Model for Conceptual Information Modelling. In: Information Systems, Nr: 1, Vol: 18, Pages: 1-21, 1993.

[ Missing PDF ] [ Bibtex ]

M. Lalmas, and C.J. Rijsbergen. Situation Theory and Dempster-Shafer Theory of evidence for Information Retrieval. In: Proceedings of Workshop on Incompleteness and Uncertainty in Information Systems, 1993.

[ Missing PDF ] [ Bibtex ]

M. Lalmas, and C.J. van Rijsbergen. Situation Theory and Dempster-Schafer`s Theory of Evidence for Information Retrieval. In: Proceedings of Workshop on Incompleteness and Uncertainty in Information Systems, Pages: 62-67, Concordia University, Montreal, Quebec, Canada, 1993.

[ Missing PDF ] [ Bibtex ]

I. Oliver, and H. Langford. Making relational databases work in Government workshop: commercial in confidence consultant`s report. Technical report, CITEC, QLD Government, Brisbane, Queensland, Australia, 1993.

[ Missing PDF ] [ Bibtex ]

H. van der Lek. On the Structure of an Information Grammar. In: Proceedings of NIAM-ISDM, Edited by: G.M. Nijssen. September, NIAM-GUIDE, 1993.

[ Missing PDF ] [ Bibtex ]

L. Liu. A recursive object algebra based on aggregation abstraction for manipulating complex objects. In: Data & Knowledge Engineering, Vol: 11, Pages: 21-60, 1993.

[ Missing PDF ] [ Bibtex ]

M. Lubars, C. Potts, and C. Richter. A review of the state of the practice in requirements modelling. In: Proceedings of IEEE International Symposium on Requirements Engineering, RE`93, San Diego, California, USA, Pages: 2-14, January, IEEE, Los Alamitos, California, USA, 1993.

[ Missing PDF ] [ Bibtex ]

D. Lucarella, and Z. Zanzi. Information Retrieval from Hypertext: An Approach using Plausible Inference. In: Information Processing & Management, Nr: 3, Vol: 29, Pages: 299-312, 1993.

[ Missing PDF ] [ Bibtex ]

C.B. Lucasius, and G. Kateman. Understanding and Using Genetic Algorithms, Part 1. Concepts, properties and context. In: Chemometrics and Intelligent Laboratory Systems, Vol: 19, Pages: 1-33, 1993.

[ Missing PDF ] [ Bibtex ]

C.B. Lucasius. Towards Genetic Algorithm Methodology in Chemometrics. University of Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

P.E. Maher. A Similarity Measure for Conceptual Graphs. In: International Journal of Intelligent Systems, Vol: 8, Pages: 819-837, 1993.

[ Missing PDF ] [ Bibtex ]

S.W. Mahfoud. Finite Markov Chain Models of an Alternative Selection Strategy for the Genetic Algorithm. In: Complex Systems, Nr: 2, Vol: 7, Pages: 155-170, April, 1993.

[ Missing PDF ] [ Bibtex ]

J.I. McCormack, T.A. Halpin, and P.R. Ritson. Automated mapping of conceptual schemas to relational schemas. In: Proceedings of the Fifth International Conference CAiSE`93 on Advanced Information Systems Engineering, Paris, France, EU, Edited by: C. Rolland, F. Bodart, and C. Cauvet. Lecture Notes in Computer Science, Vol: 685, Pages: 432-448, Springer, 1993.

[ Missing PDF ] [ Bibtex ]

M. McElligott, and H. Sorensen. An Emergent Approach to Information Filtering. In: Computer Science Journal, Nr: 4, Vol: 1, December, 1993.

[ Missing PDF ] [ Bibtex ]

M. Meghini, F. Sebastiani, U. Straccia, and C. Thanos. A Model of information Retrieval based on Terminological Logic. In: Proceedings of the 16th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Pages: 298-307, 1993.

[ Missing PDF ] [ Bibtex ]

C. Meghini, F. Sebastiani, U. Straccia, and C. Thanos. A Model of Information Retrieval based on a Terminological Logic. In: Proceedings of the 19th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Edited by: H.P. Frei, D. Harman, P. Sch`auble, and R. Wilkinson. Pages: 298-307, 1993.

[ Missing PDF ] [ Bibtex ]

G.A. Miller, R. Beckwith, C. Fellbaum, D. Gross, and K. Miller. Five Papers on WordNet. Technical report, August, Cognitive Science Laboratory, Princeton University, 1993.

[ Missing PDF ] [ Bibtex ]

G.A. Miller, R. Beckwith, C. Fellbaum, D. Gross, and K. Miller. Five Papers on WordNet. Technical report, Cognitive Science Laboratory, Princeton University, 1993.

[ Missing PDF ] [ Bibtex ]

J.D. Musa. Operational Profiles in Software-Reliability Engineering. In: IEEE Software, Pages: 14-32, March, 1993.

[ Missing PDF ] [ Bibtex ]

Proceedings of the NIAM-ISDM Conference. Edited by: G.M. Nijssen. September, NIAM-GUIDE, 1993.

[ Missing PDF ] [ Bibtex ]

G.M. Nijssen. Universele Informatiekunde. PNA Publishing, The Netherlands, EU, 1993, In Dutch.

[ Missing PDF ] [ Bibtex ]

B. Nuseibeh, A. Finkelstein, and J. Kramer. Fine-Grain Process Modelling. In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, California, USA, Edited by: J.C. Wileden. Pages: 42-46, December, IEEE, Los Alamitos, California, USA, 1993.

[ Missing PDF ] [ Bibtex ]

J. Oakland. Total Quality Management. Butterworth-Heinemann, London, United Kingdom, EU, 1993, ISBN 0750609931.

[ Missing PDF ] [ Bibtex ]

A.L. Opdahl, and G. Sindre. A taxonomy for real-world modelling concepts. In: Information Systems, Nr: 3, Vol: 19, Pages: 229-241, 1993.

[ Missing PDF ] [ Bibtex ]

M.C. Paulk, B. Curtis, M.B. Chrissis, and C.V. Weber. Capability Maturity Model for Software, Version 1.1. Technical report: SEI-93-TR-024, February, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, 1993.

[ Missing PDF ] [ Bibtex ]

M.C.J.D. van Eekelen, and M.J. Plasmeijer. Functional Programming and Parallel Graph Rewriting. Addison Wesley, 1993.

[ Missing PDF ] [ Bibtex ]

F. Polack, M. Whiston, and K. Mander. The SAZ Project: Integrating SSADM and Z. In: Formal Methods Europe 1993: Industrial-Strength Formal Methods, Odense, Denmark, EU, Edited by: J.C.P. Woodcock, and P.G. Larsen. Lecture Notes in Computer Science, Vol: 670, Pages: 541-557, April, Springer, 1993.

[ Missing PDF ] [ Bibtex ]

R. Pollard. A Hypertext-based thesaurus as a subject browsing aid for bibliographic databases. In: Information Processing & Management, Nr: 3, Vol: 29, Pages: 345-358, 1993.

[ Missing PDF ] [ Bibtex ]

P. Poncelet, and L. Lakhal. Consistent Structural Updates for Object Database Design. In: Proceedings of the Fifth International Conference CAiSE`93 on Advanced Information Systems Engineering, Paris, France, EU, Edited by: C. Rolland, F. Bodart, and C. Cauvet. Lecture Notes in Computer Science, Vol: 685, Pages: 1-21, Springer, 1993.

[ Missing PDF ] [ Bibtex ]

Y. Qui, and H.P. Frei. Concept Based Query Expansion. In: Proceedings of the 16th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Pages: 160-169, 1993.

[ Missing PDF ] [ Bibtex ]

R. Rada, W. Wang, and A. Birchall. Retrieval Hierarchies in Hypertext. In: Information Processing & Management, Nr: 3, Vol: 29, Pages: 359-372, 1993.

[ Missing PDF ] [ Bibtex ]

D.V. Rama, and P. Srinivasan. An Investigation of Concept Representation using Text Grammars. In: ACM Transactions on Information Systems, Nr: 1, Vol: 11, Pages: 51-75, January, 1993.

[ Missing PDF ] [ Bibtex ]

Modern heuristic techniques for combinatorial problems. Edited by: C.R. Reeves. Blackwell, Oxford, United Kingdom, EU, 1993.

[ Missing PDF ] [ Bibtex ]

C.J. van Rijsbergen. What is Information Anyway?. In: Two Essays in Information Retrieval, University of Glasgow, Glasgow, Scotland, 1993, Research Report IR-93-03.

[ Missing PDF ] [ Bibtex ]

N. Rishe. A methodology and tool for top-down relational database design. In: Data & Knowledge Engineering, Vol: 10, Pages: 259-291, 1993.

[ Missing PDF ] [ Bibtex ]

P.R. Ritson, and T.A. Halpin. Mapping Integrity Constraints to a Relational Schema. In: Proceedings of the 4th Australian Conference on Information Systems, Edited by: M.E. Orlowska, and M.P. Papazoglou. Pages: 381-400, September, World Scientific, Melbourne, Victoria, Australia, 1993.

[ Missing PDF ] [ Bibtex ]

C.R. Rogers. Leren in Vrijheid. Tiende druk, 1993 edition, De Toorts, Haarlem, The Netherlands, EU, 1993.

[ Missing PDF ] [ Bibtex ]

M. Saeki, K. Iguchi, K. Wen-Yin, and M. Shinohara. A meta-model for representing software specification & design methods. In: Proceedings of the IFIP WG 8.1 Conference on Information Systems Development Process, Edited by: N. Prakash, C. Rolland, and B. Pernici. 1993.

[ Missing PDF ] [ Bibtex ]

G.E Salton, J. Allan, and C. Buckley. Approaches to Passage Retrieval in Full Text Information Systems. In: Proceedings of the 16th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Pages: 49-58, 1993.

[ Missing PDF ] [ Bibtex ]

S. Schocken, and R.A. Hummel. On the use of the Dempster Shafer model in information indexing and retrieval applications. In: International Journal of Man-Machine Studies, Vol: 39, Pages: 843-879, 1993.

[ Missing PDF ] [ Bibtex ]

M.F. Schwartz. Internet Resource Discovery at the University of Colorado. In: Computer, Nr: 9, Vol: 26, Pages: 25-35, September, 1993.

[ PDF ] [ Bibtex ]

T. Bäck, and H.-P. Schwefel. An Overview of Evolutionary Algorithms for Parameter Optimization. In: Evolutionary Computation, Nr: 1, Vol: 1, Pages: 1-23, 1993.

[ Missing PDF ] [ Bibtex ]

A.H. Seltviet. An Abstraction-Based Approach to Large-Scale Information System Development. In: Proceedings of the Fifth International Conference CAiSE`93 on Advanced Information Systems Engineering, Paris, France, EU, Edited by: C. Rolland, F. Bodart, and C. Cauvet. Lecture Notes in Computer Science, Vol: 685, Springer, 1993.

[ Missing PDF ] [ Bibtex ]

A. Sheth, and V. Kashyap. So Far (Schematically) yet So Near (Semantically). In: Interoperable Database Systems (DS-5), Amsterdam, The Netherlands, EU, Edited by: D.K. Hsiao, E.J. Neuhold, and R. Sacks-Davis. North-Holland, Amsterdam, The Netherlands, EU, 1993.

[ Missing PDF ] [ Bibtex ]

P. Shoval, and N. Shreiber. Database reverse engineering: From the Relational to the Binary Relationship model. In: Data & Knowledge Engineering, Vol: 10, Pages: 293-315, 1993.

[ Missing PDF ] [ Bibtex ]

K. van Slooten, and S. Brinkkemper. A Method Engineering Approach to Information Systems Development. In: Proceedings of the IFIP WG 8.1 Conference on Information Systems Development Process, Edited by: N. Prakash, C. Rolland, and B. Pernici. 1993.

[ Missing PDF ] [ Bibtex ]

J. Suzuki. A Markov Chain Analysis on A Genetic Algorithm. In: Proceedings of the Fifth International Conference on Genetic Algorithms, Edited by: S. Forrest. Pages: 146-153, Morgan Kaufmann, San Mateo, California, USA, 1993.

[ Missing PDF ] [ Bibtex ]

D. Tapscott, and A. Caston. Paradigm Shift - The New Promise of Information Technology. McGraw-Hill, New York, New York, USA, 1993, ASIN 0070628572.

[ Missing PDF ] [ Bibtex ]

J.P. Tolvanen, and K. Lyytinen. Flexible method adaptation in CASE environments. In: Scandinavian Journal of Information Systems, Nr: 1, Vol: 5, Pages: 51-77, 1993.

[ Missing PDF ] [ Bibtex ]

J.-P. Tolvanen, P. Marttiin, and K. Smolander. An Integrated Model for Information Systems Modeling. In: Proceedings of the 26th Annual Hawaii International Conference on Systems Science, Maui, Hawaii, USA, Edited by: J.F. Nunamaker, and R.H. Sprague. January, IEEE, Los Alamitos, California, USA, 1993.

[ Missing PDF ] [ Bibtex ]

M.T. Tresch, and M.H. Scholl. Schema Transformation without Database Reorganization. In: SIGMOD Record, Nr: 1, Vol: 22, March, 1993.

[ Missing PDF ] [ Bibtex ]

U.S. Department of Commerce. Integration Definition for Function Modeling (IDEF0) Draft. Federal Information Processing Standards Publicati, 1993.

[ Missing PDF ] [ Bibtex ]

T.F. Verhoef. Effective Information Modelling Support. Delft University of Technology, Delft, The Netherlands, EU, 1993, ISBN 9090061762.

[ Missing PDF ] [ Bibtex ]

P.A.C. Verkoulen. Integrated Information System Design - An Approach Based on Object-Oriented Concepts and Petri Nets. Eindhoven University of Technology, Eindhoven, The Netherlands, EU, 1993.

[ Missing PDF ] [ Bibtex ]

N. Verwer. Abstract Data Conversion. University of Utrecht, Utrecht, The Netherlands, EU, 1993.

[ Missing PDF ] [ Bibtex ]

Cap Volmac. The System Development Workbench. Cap Volmac, Utrecht, The Netherlands, EU, 1993.

[ Missing PDF ] [ Bibtex ]

D.G. Wastell, and P. White. Using process technology to support cooperative work: Prospects and design issues. In: CSCW in Practice: An Introduction and Case Studies, London, United Kingdom, EU, Edited by: D. Daiper, and C. Sanger. Pages: 105-126, Springer, 1993.

[ Missing PDF ] [ Bibtex ]

G.M. Wijers, and E.R. Nieuwland. An object-oriented approach for the development of CASE tools. In: Proceedings of the Fourth Workshop on the Next Generation of CASE Tools, Edited by: S. Brinkkemper, and F. Harmsen. Pages: 59-88, June, 1993.

[ Missing PDF ] [ Bibtex ]

H.C. Arents, and W.F.L. Bogaerts. Navigation without links and nodes without contents: intensional navigation in a third-order hypermedia system. In: Hypermedia, Nr: 3, Vol: 5, Pages: 187-204, June, 1993.

[ Missing PDF ] [ Bibtex ]

Journal

P. van Bommel. A Randomised Schema Mutator for Evolutionary Database Optimisation. In: The Australian Computer Journal, Nr: 2, Vol: 25, Pages: 61-69, May, 1993.

[ Missing PDF ] [ Bibtex ]

A.H.M. ter Hofstede, and E.R. Nieuwland. Task structure semantics through process algebra. In: Software Engineering Journal, Nr: 1, Vol: 8, Pages: 14-20, January, 1993.

[ Missing PDF ] [ Bibtex ]

A.H.M. ter Hofstede, H.A. (Erik) Proper, and Th.P. van der Weide. Formal definition of a conceptual language for the description and manipulation of information models. In: Information Systems, Nr: 7, Vol: 18, Pages: 489-523, October, 1993.

Conceptual data modelling techniques aim at the representation of data at a high level of abstraction. This implies that conceptual data modelling techniques should not only be capable of naturally representing complex structures, but also the rules (constraints) that must hold for these structures. Contemporary data modelling techniques however, do not provide a language, which on the one hand has a formal semantics and on the other hand leads to natural looking expressions, for formulating these constraints. In this paper such a language is defined for an existing data modelling technique (PSM), which is a generalisation of object-role models (such as ER or NIAM). In this language not only constraints, but also queries and updates can be expressed on a conceptual level.

[ PDF ] [ Bibtex ]

A.H.M. ter Hofstede, and Th.P. van der Weide. Expressiveness in conceptual data modelling. In: Data & Knowledge Engineering, Nr: 1, Vol: 10, Pages: 65-100, February, 1993.

Conceptual data modelling techniques aim at the representation of data at a high level of abstraction. The Conceptualisation Principle states that only those aspects are to be represented that deal with the meaning of the Universe of Discourse. Conventional conceptual data modelling techniques, as e.g. ER or NIAM, have to violate the Conceptualisation Principle when dealing with objects with a complex structure. In order to represent these objects conceptually irrelevant choices have to made. It is even worse: sometimes the Universe of Discourse has to be adapted to suit the modelling technique. These objects typically occur in domains as meta­modelling, hypermedia and CAD/CAM. In this paper extensions to an existing data modelling technique (NIAM) will be discussed and formally defined, that make it possible to naturally represent objects with complex structures without having to violate the Conceptualisation Principle. These extensions will be motivated from a practical point of view by examples and from a theoretical point of view by a comparison with the expressive power of formal set theory and grammar theory.

[ PDF ] [ Bibtex ]

Book

P.D. Bruza. Stratified Information Disclosure: A Synthesis between Information Retrieval and Hypermedia. University of Nijmegen, 1993.

The research reported in this treatise was performed within the framework of the ESPRIT II project APPED (2499) from January 1989 to February 1992. APPED is an acronym for CDROM Tools: An application editor's and software developer's workbench for publishing multi-media information using optical read-only storage devices. As the long winded title suggests, the purpose of the project was to produce a workbench, behind which, a developer could produce applications for optical media. The input of the workbench was assumed to be all forms of electronic data, for example, texts, word processor files, audio traces, video clips, graphics etc. These days, data can appear in any one of a plethora of formats, so the important first phase in building an application was the transduction of the source data into a set of internal formats amenable by the workbench. Where possible, accepted standards were adopted for this. For example, raw text data is translated into SGML marked up documents. A choice for SGML was made as it is an ISO standard for the specification of documents.

[ Missing PDF ] [ Bibtex ]

A.H.M. ter Hofstede. Information Modelling in Data Intensive Domains. University of Nijmegen, 1993.

This PhD-thesis describes an integrated technique for information modelling in data intensive domains. Typical examples of data intensive domains can be found in office automation, multi-media, CAD/CAM and meta-modelling. The described information modelling technique offers concepts for conceptual data modelling, constraint modelling, process modelling and transaction modelling. Although the technique has a formal syntax and semantics, mechanisms are offered to facilitate the communication with domain experts. Concepts are not only motivated from a theoretical point of view, but from a practical point of view as well. Most examples are drawn from the complex area of meta-modelling.

[ Missing PDF ] [ Bibtex ]

M.-J. Nederhof, and J.J. Sarbo. Efficient decoration of parse forests. In: Feature Formalisms and Linguistic Ambiguity, Series in Artificial Intelligence edition, Edited by: H. Trost. Ellis Horwood, 1993, ISBN 0131767445.

[ Missing PDF ] [ Bibtex ]

Conference

E.D. Falkenberg. An Approach to Deterministic Event-Tuned Information Analysis. In: Proceedings of NIAM-ISDM, Edited by: G.M. Nijssen. September, NIAM-GUIDE, 1993.

[ Missing PDF ] [ Bibtex ]

P.D. Bruza, and L.C. van der Gaag. Efficient Context-Sensitive Plausible Inference for Information Disclosure. In: Proceedings of the 16th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Pages: 12-21, 1993.

[ Missing PDF ] [ Bibtex ]

C.A.J. Burgers, H.A. (Erik) Proper, and Th.P. van der Weide. Organising an Information System as Stratified Hypermedia. In: Proceedings of the Computing Science in the Netherlands Conference, Edited by: H.A. Wijshoff. Pages: 109-120, November, 1993.

In this paper we investigate a relation between modern hypertext approaches and conventional data modelling techniques, such as PSM. This relation provides us with the mechanism of query by navigation, in order to facilitate the query formulation problem.

[ PDF ] [ Bibtex ]

M.A. Collignon, and Th.P. van der Weide. An Information Analysis Method Based on PSM. In: Proceedings of NIAM-ISDM, Edited by: G.M. Nijssen. September, NIAM-GUIDE, 1993.

This paper is a step towards a more formal approach to the information analysis method NIAM. It also provides a formalisation and some extensions to the modelling techniques used in NIAM

[ PDF ] [ Bibtex ]

E.D. Falkenberg. DETERM: Deterministic Event-Tuned Entity Relationship Modelling. In: Proceedings of the 12th International Conference on the Entity-Relationship Approach, Dallas, Texas, USA, Lecture Notes in Computer Science, Pages: 225-236, December, Springer, 1993.

[ Missing PDF ] [ Bibtex ]

H.A. (Erik) Proper. Towards an Integration of Evolving Information Systems and CASE-Tools. In: Proceedings of the Fourth Workshop on the Next Generation of CASE Tools, Edited by: S. Brinkkemper, and F. Harmsen. Pages: 23-33, June, 1993, ISSN 09243755.

In this article, CASE-Tool technology is linked to the research concerning evolving information systems. First, an introduction to the notion of evolving information system is provided. Then, CASE-Tools and evolving information systems are related to each other from two different points of view, by looking how each one can server the other.

[ PDF ] [ Bibtex ]

H.A. (Erik) Proper, and Th.P. van der Weide. Towards a General Theory for the Evolution of Application Models. In: Proceedings of the Fourth Australian Database Conference, Edited by: M.E. Orlowska, and M.P. Papazoglou. Advances in Database Research, Pages: 346-362, February, World Scientific, Melbourne, Victoria, Australia, 1993, ISBN 981021331X.

In this article we focus on evolving information systems. First a delimitation of the concept of evolution is discussed. The main result is a first attempt to a general theory for such evolution. In this theory, the underlying data model is a parameter, making the theory applicable for a wide range of modelling techniques.

[ PDF ] [ Bibtex ]

Reports

P. Achten, and M.J. Plasmeijer. Beauty and the Beast. Technical report: CSI-R9303, March, Radboud University Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

T. Arts, and W. Dekkers. Embedding first order predicate logic in second order propositional logic. Technical report: CSI-R9302, February, Radboud University Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

H.P. Barendregt, M. Bunder, and W. Dekkers. Systems of Illative Combinatory Logic complete for first order propositional and predicate calculus. Technical report: CSI-R9305, April, Radboud University Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

E. Barendsen, and S. Smetsers. Conventional and uniqueness typing in graph rewrite systems. Technical report: CSI-R9328, December, Radboud University Nijmegen, 1993.

In this paper we describe a Curry-like type system for graphs and extend it with uniqueness information to indicate that certain objects are only `locally accessible'. The correctness of type assignment guarantees that no external access on such an object will take place in the future. We prove that types are preserved under reduction (for both type systems) for a large class of rewrite systems. Adding uniqueness information provides a solution to two problems in implementations of functional languages: efficient space management and interfacing with non-functional operations.

[ Missing PDF ] [ Bibtex ]

E.A. Boiten, A. Max Geerling, and Helmut A. Partsch. Transformational derivation of (parallel) programs using skeletons. Technical report: CSI-R9320, September, Radboud University Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

P. van Bommel. Using Conceptual Data Models for Index Selection by Means of Evolutionary Search. Technical report: CSI-R9309, Information Systems Group, Computing Science Institute, University of Nijmegen, Nijmegen, The Netherlands, 1993.

[ Missing PDF ] [ Bibtex ]

P. van Bommel. Performance Engineering by Computer Aided Schema Transformations. Technical report: CSI-R9327, December, Information Systems Group, Computing Science Institute, University of Nijmegen, The Netherlands, 1993.

[ Missing PDF ] [ Bibtex ]

R.T. Boute. Funmath Illustrated:A declarative formalism and application examples. Technical report: DSS1, July, Radboud University Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

A. Compagnoni, and B.C. Pierce. Multiple Inheritance via Intersection Types. Technical report: CSI-R9318, August, Radboud University Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

R.C.J. de Beijer. A performance comparison of asynchronous atomic broadcast protocols. Technical report: CSI-R9325, November, Radboud University Nijmegen, 1993.

A distributed fault-tolerant application is commonly structured as a group of processes communicating among themselves to perform a given task. An atomic broadcast service provides a mechanism by which a member of a group can send a message to all members of the group, and either all live members of the group recieve a message, or none do. In addition, multiple broadcast messages in a group are delivered in some specific order such as causal, or total.In this Technical Report, we compare the performance of five atomic broadcast protocols by using the discrete event simulation technique to simulate the protocols, the cummunication network and communication failures. We measure the average broadcast delivery time: average time it takes from the start of a broadcast to the time at which all group members know that all group members have delivered the broadcast; maximum message buffer size; and average number of messages per broadcast: average number of physical messages to complete the broadcast of a message. These parameters are measured under different group sizes and boradcast rates both under the assumption that no communication failures occur and under the assumption that one message is lost per broadcast.

[ Missing PDF ] [ Bibtex ]

H. Elbers, and W. Dekkers. Computer aided construction of real numbers. Technical report: CSI-N9301, September, Radboud University Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

A.M. Geerling. Formal derivation of SIMD parallelism from non-linear recursive specifications. Technical report: CSI-R9324, September, Radboud University Nijmegen, 1993.

This paper presents a strategy for deriving SIMD-parallel (SIMD = Single-Instruction-Multiple-Data) programs. In our formalism, programs are derived in a transformational style and parallelism is expressed by means of skeletons � higher-order functions that have a straightforward implementation on a particular architecture. Linear array and hypercube architectures and their skeletons are discussed in more detail.The strategy described is based on transformation rules for parallelisation of non-linear-recursive specifications. The rules and their interaction are illustrated by various derivations, for instance the transformation of a generic specification for divide & conquer algorithms to a linear-time implementation on hypercube architectures.

[ Missing PDF ] [ Bibtex ]

J.W.G.M. Hubbers. Automated Support for Verification & Validation of Graphical Constraints in PSM. Technical report, Software Engineering Research Centre (SERC), Utrecht, The Netherlands, 1993.

[ Missing PDF ] [ Bibtex ]

H. Huitema, and M.J. Plasmeijer. The Concurrent Clean System User's Manual & PABCstat User's Manual. Technical report: CSI-R9314, June, Radboud University Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

M. Massink, and L. Rooijakkers. Completeness of the Equiational Semantics for Basic LOTOS (an extended version). Technical report: CSI-R9308, May, Radboud University Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

M.-J. Nederhof, and J.J. Sarbo. Increasing the Applicability of LR Parsing. Technical report: CSI-R9306, March, Radboud University Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

M.-J. Nederhof, and C.H.A. Koster. Top-Down Parsing for Left-Recursive Grammars. Technical report: CSI-R9310, June, Radboud University Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

N.E. van Oosterom, and J.W.G.M. Hubbers. Object Oriëntatie in het FOP-project. Technical report, ABN/AMRO-bank, The Netherlands, 1993, In Dutch.

[ Missing PDF ] [ Bibtex ]

A.Th.and Eekelen Peters, M.J. Plasmeijer, and Th.P. van der Weide. A CASE-tool for the development of Information Systems implemented in a pure functional language. Technical report, Computing Science Institute, Nijmegen, The Netherlands, EU, 1993.

[ Missing PDF ] [ Bibtex ]

L. Rooijakkers. Reshaping Funmath - Influential Documents. Technical report: CSI-R9311, June, Radboud University Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

M. Seutter. Informal introduction to the Extended Affix Grammar formalism and its compiler. Technical report: CSI-R9319, September, Radboud University Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

J.E.W. Smetsers, E. Barendsen, M.C.J.D. van Eekelen, and M.J. Plasmeijer. Guaranteeing Safe Destructive Updates through a Type System with Uniqueness Information for Graphs. Technical report: CSI-R9304, June, Radboud University Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

P. van Bommel, C. Lucasius, and Th.P. van der Weide. Genetic Algorithms for Optimal Database Design. Technical report: CSI-R9301, February, Radboud University Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

N. van Diepen. From formal specification towards derivation: the MacMahon (Swiss) system. Technical report: CSI-R9329, December, Radboud University Nijmegen, 1993.

The Swiss System is originally developed as a tournament system allowing many participants to play a chess tournament in a limited number of rounds. It both avoids the drawbacks of round-robin tournaments (limited capacity) and knock-out tournaments (early drop\-outs). The system has been introduced in 1895 by Dr. J. Muller in Z\""{u}rich. Since that time it has been used in many variations at chess tournaments, and (sometimes adapted to the circumstances) at bridge, draughts and go tournaments as well. The latter variation is called the MacMahon system. Though many rule sets for the Swiss System try to formulate the proceedings for finding a pairing in an unambiguous way, it proves to be surprisingly hard to find an efficient implementation. This is due to the fact that an algorithm both has to steer clear of computing a combinatorial explosion of possible solutions when there is an abundance of allowed solutions, and on the other hand of missing a solution when there is a scarcity of allowed solutions. In this paper an attempt is made to use transformational techniques to find an almost linear algorithm for average cases from a formal specification of the problem.

[ Missing PDF ] [ Bibtex ]

M.C.J.D. van Eekelen, H. Huitema, EG.J.M.H. N�cker, J.E.W. Smetsers, and M.J. Plasmeijer. Concurrent Clean language manual. Technical report: CSI-R9313, June, Radboud University Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

M. van Hulst, and J.-J.Ch. Meyer. An Epistemic Proof system for Parallel Processes. Technical report: CSI-R9317, August, Radboud University Nijmegen, 1993.

[ Missing PDF ] [ Bibtex ]

Professional

N.E. van Oosterom, G. Florijn, A.H.M. ter Hofstede, G.M. Wijers, C. van Miltenburg, A. van den Dool, and G. Vreven. Gegevensdefinitiebeheer in een Gedecentraliseerde Organisatie. In: Informatie, Nr: 2, Vol: 35, Pages: 128-139, February, 1993, In Dutch.

[ Missing PDF ] [ Bibtex ]

J.W.G.M. Hubbers, and G.M. Wijers. Excellerator II. In: DB/M, Nr: 7, Vol: 4, Pages: 55-58, November, 1993, In Dutch.

[ Missing PDF ] [ Bibtex ]