Hosted articles 1997

• The Design of a High Performance Video Server for Managing TV Archives (1997-09-01)
• Compilation Techniques for Associative-Commutative Normalisation (1997-09-01)
• Denotational Semantics and Refinement (1997-09-01)
• Nonmonotonic Reasoning and Formal Software Development (1997-09-01)
• A Simple Algorithm Specification Language and its Application (1997-09-01)
• The Single Transferable Voting System: Functional Decomposition in Formal Specification (1997-09-01)
• Presenting Object Oriented Formal Requirements Specifications: Insights From An Action Research Study (1997-09-01)
• Implementation of a Prototype for the New ASF+SDF Meta-Environment (1997-09-01)
• CASL for ASF+SDF Users (1997-09-01)
• Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications - Index (1997-09-01)
• Speeding up the Counting Method by Computing Heritage Functions in Topological Order (1997-09-01)
• Building the Access Pointers to a Computation Environment (1997-09-01)
• An Algebraic Specification of a Transformation Tool for Prolog Programs (1997-09-01)
• Reverse Engineering and Reusing COBOL Programs: A Program Transformation Approach (1997-09-01)
• A Formal Approach to Design Patterns in Re-engineering (1997-09-01)
• Conceptual Data Modeling, Implementation Prototyping, Transformation, and Application Design - An Animating Approach using RADD (1997-09-01)
• Appropriateness of the Activity-centred Graphs in Information System Modelling (1997-09-01)
• A Practitioner’s View to the Integration of Virtual Enterprise Database Systems by Federation Techniques (1997-09-01)
• Feature Interactions: a Mixed Semantic Model Approach (1997-09-01)
• Concurrency Control Protocol for Nested Transactions in Real-Time Databases (1997-09-01)
• A Validation System for Object-Oriented Specifications of Information Systems (1997-09-01)
• Obtaining a COBOL Grammar from Legacy Code for Reengineering Purposes (1997-09-01)
• Portability of STDL on Top of the TUXEDO Transaction Monitor (1997-09-01)
• WWW Access to a Philological Application (1997-09-01)
• A New Approach to Inferences of Semantic Constraints (1997-09-01)
• The Cause-Effect Rules of ROSES (1997-09-01)
• A Modeling Tool for Workload Analysis and Performance Tuning of Parallel Database Applications (1997-09-01)
• Supporting Interoperability of Autonomous Hospital Databases: A Case Study (1997-09-01)
• Enhancing the Functionality of the Web (1997-09-01)
• Strategies of ELAN: Meta-interpretation and Partial Evaluation (1997-09-01)
• Presentation of a Methodology to Help the Researcher in his Experimental Process (1997-09-01)
• Semistructured Data: The TSIMMIS Experience (1997-09-01)
• An Axiomatic Semantics for Data-Parallel Computation (1997-09-01)
• Time-Oriented Data Model (1997-09-01)
• Centralized versus Distributed Index Schemes in OODBMS-A Performance Analysis (1997-09-01)
• Computer Aided Incremental Specification (1997-09-01)
• Multiway-Tree Retrieval Based on Treegrams (1997-09-01)
• The Use of Theorem Provers in the Teaching and Practice of Formal Methods (1997-09-01)
• A Generic Model for State-based Agent Systems (1997-09-01)
• S-Index: a Hybrid Structure for Text Retrieval (1997-09-01)
• Designing an Intellligent Decision Aiding System Using a Multiagent Approach (1997-09-01)
• SQL-like Language for Database Mining (1997-09-01)
• A Multi-Level Logic Programming Model of a Query Optimizer (1997-09-01)
• ModParOpt: a Modular Query Optimizer for Multi-query Parallel Databases (1997-09-01)
• Motown: a Practical Approach to Workflows (1997-09-01)
• Rewriting as a Unified Specification Tool for Logic and Control: The ELAN Language. (1997-09-01)
• Towards an Effcient Implementation of Distributive Programs (1997-09-01)
• Evolving Persistent Applications on Commercial Platforms (1997-09-01)
• A Query Language for Similarity-Based Retrieval of Multimedia Data (1997-09-01)
• Formal Aspects of and Development Environments for Montages (1997-09-01)
• Admissible Record-Oriented Evaluation Plans for Declarative Updates (1997-09-01)
• Reusing Analysis Schemas in ODB Applications: a Chart Based Approach (1997-09-01)
• ePERT: Extending PERT for Workflow Management Systems (1997-09-01)
• Concurrency Control in Distributed Object-Oriented Database Systems (1997-09-01)
• Tactics for Transformational Programming (1997-09-01)
• Comparison of the Decision Support systems and the Transaction Support System Development Methodologies (1997-09-01)
• Proceedings of the First East-European Symposium on Advances in Databases and Information Systems - Index (1997-09-01)
• On Time Complexity of Distributed Algorithms for Generalized Deadlock Detection (1997-09-01)
• Specification of Rewriting Strategies ∗ (1997-09-01)
• Querying and Updating Constraint Databases with Incomplete Information (1997-09-01)
• Towards the Object Persistence via Relational Databases (1997-09-01)
• A Case Study of a Slicing-Based Approach for Locating Type Errors (1997-09-01)
• Designing an Intellligent Decision Aiding System Using a Multiagent Approach (1997-09-01)
• Method for Data Models Integration in the Common Paradigm (1997-09-01)
• A Graphical Yet Formalized Framework for Specifying View Systems (1997-09-01)
• Access Control in an Object-Oriented Document Repository (1997-09-01)
• Safety, Translation and Evaluation of Alignment Calculus (1997-09-01)
• Formalizing CORRELATE - from Practice to Pi (1997-07-01)
• Communication Traces in the Verification of Distributed Programs (1997-07-01)
• Algebraic Advances for Aliasing (1997-07-01)
• Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop - Index (1997-07-01)
• Using LOTOS for the Evaluation of Design Options in the PREMO Standard (1997-07-01)
• A Tool for Logic Program Refinement (1997-07-01)
• Using Graphical Icons to Build Z Specifications (1997-07-01)
• Towards Rigorous Analysis of Fusion Models: The MIRG Experiences (1997-07-01)
• Relaxing Property Preservation in the Refinement of Concurrent Systems (1997-07-01)
• Proceedings of the 1st Irish Workshop on Formal Methods - Index (1997-07-01)
• Modelling Program Compilation in the Refinement Calculus (1997-07-01)
• Translating LOTOS to Object-Z (1997-07-01)
• Generating Formal Specifications from CASE Repositories (1997-07-01)
• Foundations of the Unified Modeling Language (1997-07-01)
• The Geometry of Distributions in Formal Methods (1997-07-01)
• Coupling Schemas: Data Refinement and View(point) Composition (1997-07-01)
• On Formal Semantics of Statecharts as Supported by STATEMATE. (1997-07-01)
• The Real Numbers in Z (1997-07-01)
• Formal Methods and Standards - An Idiosyncratic View (1997-07-01)
• The Fallacy of Non-Interference: The Poor Panopticon and Equality of Opportunity (1997-06-01)
• Bentham’s Frigidarium: Utilitarianism and Food Preservation (1997-06-01)
• Towards an Agent Based Retrieval Engine (Profile - Information Filtering Project) (1997-04-01)
• The User Interface & Content-Based Image Retrieval Systems (1997-04-01)
• Text-level Structure of Research Papers : Implications for Text-Based Information Processing Systems (1997-04-01)
• Using Combination of Evidence for Term Expansion (1997-04-01)
• Where the Linked Dependence Assumption Fails and How to Move Beyond It. (1997-04-01)
• User Profiling Techniques : A Critical Review (1997-04-01)
• On the Marriage of Information Retrieval and Information Extraction (1997-04-01)
• A Community of Autonomous Agents for the Search and Distribution of Information in Networks (1997-04-01)
• Feature Selection: a Useful Preprocessing Step (1997-04-01)
• Proceedings of the 19th Annual BCS-IRSG Colloquium on IR Research - Index (1997-04-01)
• A Logical Relational Approach for Information Retrieval Indexing (1997-04-01)
• Evaluation of a trademark image retrieval system (1997-04-01)
• Retrieving Complex Objects with HySpirit (1997-04-01)
• Automatic Phrase Recognition and Extraction from Text (1997-04-01)