Вы здесь

Главная

модель

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

A Survey of Logical Models for OLAP Databases
A Survey of Object-Oriented Petri Nets and Analysis Methods
A Survey of PRAM Simulation Techniques
A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems
A Symbolic Semantics for Abstract Model Checking
A Symbolic Semantics for the -calculus
Asymptotic Performance of a Buffer Model in a Data Sharing Environment
A Synchronizing Shared Memory: Model and Programming Implementation
Asynchronous Communication Model Based on Linear Logic
Asynchronous Composition of High Level Petri Nets: A Quantitative Approach
Asynchronous Control Device Design by Net Model Behavior Simulation
A Systematic Approach to Modeling the Costs of Flat Files
A Systematic Survey of CMM Experience and Results
A Systematic, View-Based Approach to Eliciting Process Models
A Taxonomy for Schema Versioning Based on the Relational and Entity Relationship Models
A Taxonomy for Software Environments
A Temporal Concurrent Constraint Programming Caculus
A Temporal Constraint System for Object-Oriented Databases
A Temporal Logic for Real-Time Partial-Ordering with Named Transactions
A Temporal Logic of Nested Calls and Returns
A Temporal Object-Oriented Data Warehouse Model
A Temporal Query Language for a Conceptual Model
A Terminological Canonical Data Model for Cooperating Heterogeneous Geographical Information Systems
A Theory for Software Revolution - A Guide to Lyee
A Theory of Hints in Model Checking
A Theory of Parallel Threads in Process Models
A Theory of Specialization Contraints for Complex Objects
A Three Dimensional Web Quality Model
A time-bounded binding access with low task-switching cost in an OR-Parallel Prolog
ATMSWSIM An Efficient, Portable and Expandable ATM SWitch SIMulator Tool
Atomic Broadcast in a Real-Time Environment
A Toolkit and Methodology to Support the Collaborative Development and Reuse of Engineering Models
A Tool Suite for Integrating Task and System Models through Scenarios
A Trace Model for Pointers and Objects
A Traffic Model to Test ATM Switches
A Transactional Model for Data Warehouse Maintenance
A Transaction-Oriented Workflow Activity Model
A Transaction Processing Model for the Mobile Data Access System
A Transformation System for Deductive Database Modules with Perfect Model Semantics
A Transputer T9000 Family Based Architecture for Parallel Database Machines
A Triptych Software Development Paradigm: Domain, Requirements and Software
A Two-Level Hypertext Retrieval Model For Legal Data
A Two-Part Architectural Model as Basis for Frequency Converter Product Families
A Type/Domain Security Policy for Internet Transmission, Sharing, and Archiving of Medical and Biological Data
A Type Mechanism Based on Restricted CCS for Distributed Active Objects
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information
A Type-Theoretic Memory Model for Verification of Sequential Java Programs
A UML Profile for External Agent-Object-Relationship (AOR) Models
A Unified Data Model for Representing Multimedia, Timeline, and Simulation Data
A Unified Formal Specification and Analysis of the New Java Memory Models