Вы здесь

Главная

модель

Связанные издания:

A Methodology for Model-Checking Ad-hoc Networks
A Methodology for Semantically Enriching Interoperable Databases
A Microcomputer Implementation of an ER Query and Update Interface
A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract)
A Modal Inference System for Generic Specification with Application to Code Sharing
A Modal Logic for KLAIM
A Modal Model of Memory
A Model and an XSL Framework for Analysing the Quality of WebML Conceptual Schemas
A Model and a Toolkit for Supporting Incremental Data Warehouse Construction
A Model and Compilation Strategy for Out-of-Core Data Parallel Programs
A Model Based Development Approach for Distributed Embedded Systems
A Model-Based Expert System for Digital System for Digital System Design
A Model Checker for Value-Passing Mu-Calculus Using Logic Programming
A Model Elimination Calculus with Built-in Theories
A Model for Accessing Resources of the Distributed File Systems
A Model for Active Object Coordination and its Use for Distributed Multimedia Applications
A Model for Adaptive Fault-Tolerant Systems
A Model for Analyzing Measurement Based Feedback Loops in Software Development Projects
A Model for Classification Structures with Evolution Control
A Model for Data Warehouse Operational Processes
A Model for Describing Object-Oriented Systems from Multiple Perspectives
A Model for Efficient Programming of Dynamic Applications on Distributed Memory Multiprocessors
A Model for Formal Parametric Polymorphism: A PER Interpretation for System R
A Model for Heterogeneous Distributed Database Systems
A Model for Hypermedia Based on Production Systems
A Model for Inter-module Analysis and Optimizing Compilation
A Model for Performance Analysis of MPI Applications on Terascale Systems
A Model for Performance Estimation in a Multistreamed Superscalar Processor
A Model for Querying Annotated Documents
A Model for Real-Time Process Algebras
A Model for Recording Early-Stage Proposals and Decisions on Using COTS Components in Architecture
A Model for Representing and Retrieving Heterogeneous Structured Documents Based on Evidential Reasoning
A Model for Sets and Multiple Inheritance in Deductive Object-Oriented Systems
A Model for Structuring User Documentation of Object-Oriented Frameworks Using Patterns and Hypertext
A Model for the Implementation of Software Process Improvement: An Empirical Study
A Model of BDI-Agent in Game-Theoretic Framework
A Model of Cooperative Solvers for Computational Problems
A Model of Costs and Benefits of Meta-level Computation
A Model of Inductive Reasoning
A Model of Information Retrieval based on a Terminological Logic
A Model of Interaction in Concurrent and Distributed Systems
A Model of Intuitionistic Affine Logic from Stable Domain Theory
A Model of I/S Partnering Relationships
A Model of Neuros with Unidirectional Linear Response
A Model of Versioned Web Sites
A Model Parametric Real-Time Logic
A Model Theoretic Approach to Update Rule Programs
A Model-Theoretic Semantics of the Multilevel Relational Model
A Model Theory for Generic Schema Management
A Model to Support Collaborative Work in Virtual Enterprises