Вы здесь

Главная

модель

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

A Naming System for Feature-based Service Specification in Distributed Operating Systems
An Analysis of Consistency Properties in Existing Spatial and Spatiotemporal Data Models
An Analysis of SQL Integrity Constraints from an Entity-Relationship Model Perspective
An Analysis of Vector Space Models Based on Computational Geometry
An Analytical Model for the Performance of the DOCSIS CATV Network
An Analytic Model for Performance Analysis of Concurrency Control Strategies in Mobile Environments
An Application Model and Environment for Personal Information Appliances
An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction
An Application Specific Parallel Programming Paradigm
An Approach and Framework for Extensible Process Support System
An Approach for Defining Ways-of-Working
An Approach to Classify Semi-structured Objects
An Approach to Combining B and Alloy
An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus
An Approach to Formalizing Organizational Open Systems Concepts
An Approach to Implement Dynamically Defined Complex Objects
An Approach to Symbolic Test Generation
An Approach to the Description and Analysis of Hybrid Systems
An Architectural Model for a Flat Concurrent Prolog Processor
An Assembly Process Model for Method Engineering
An Assisting Method for Enterprise-wide Conceptual Data Modeling in the Bottom-up Approach
An Associative Broadcast Based Coordination Model for Distributed Processes
An Associative Version of the Bellman-Ford Algorithm for Finding the Shortest Paths in Directed Graphs
An Associative Version of the Prim-Dijkstra Algorithm and Its Application to Some Graph Problems
An Automata-Theoretic Approach to Branching-Time Model Checking
An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis
An Automatic System Modeling Framework for Information System Engineering
Anchoring Data Quality Dimensions in Ontological Foundations
And/Or Parallel Execution of Logic Programs: Exploting Dependent And-parallelism
An EER-Based Conceptual Model and Query Language for Time-Series Data
An Effective Model Checking for Mu-calculus: From Finite Systems Towards Systems with Real Time
An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets
An Efficient Component Model for the Construction of Adaptive Middleware
An Efficient Method for Checking Object-Oriented Database Schema Correctness
An Efficient Multidimensional Data Model for Web Usage Mining
An End to End Price-Based QoS Control Component Using Reflective Java
An Equational Language for Data-Parallelism
An Equatorial Object-Oriented Data Model and Its Data- Parallel Query Language
A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction
An Ethernet Performance Simulator for Undergraduate Networking
A Net Practice for Software Project Management
An Evaluation Model for Concurrency Strategies in the O2 Object-Oriented Database System
An Evaluation of FUNSOFT Nets
An Evaluation of Memory Consistency Models for Shared-Memory Systems with IPL Processors
An Evaluation of the Validity of the Dexter Hypertext Reference Model: A Case Study
An Evidential Framework for Diagnosing the Significance of Inconsistencies in UML Models
An Evolutionary Approach for TMN Management of IN Services
A New Approach to Text Searching
A New Language Basic-Real for Specification and Verification of Distributed System Models
A New Method for Estimating the Number of Objects Satisfying an Object-Oriented Query Involving Partial Participation of Classes