Вы здесь

Главная

модель

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

An Object-Oriented Approach to Model Management
An Object-Oriented Approach to the Integration of Online Services into Office Automation Environment
An Object-Oriented Database Programming Environment for Oberon
An Object-Oriented Framework for Managing the Quality of Service of Distributed Applications
An Object-Oriented Framework for Temporal Data Models
An Object-Oriented Framework for the Formal Verification of Processors
An Object-Oriented Implementation for a Semantic System (CANDID)
An Object-Oriented Knowledge Model for KBMS-supported Evolutionary Prototyping of Software Systems
An Object-Oriented Model for Protocol Design
An Object Oriented Multidimensional Data Model for OLAP
An Object-Oriented Office Space Description Model and an Office View Management Mechanism for Distributed Office Environment
An Object-Oriented Pattern Matching Language
An Object-Oriented Temporal Model
A non-interleaving Semantics for CCS Based on Proved Transitions
An Ontologically Well-Founded Profile for UML Conceptual Models
An Ontology for Classifying the Semantics of Relationships in Database Design
An Open Component Model and Its Support in Java
An Open Implementation Analysis and Design for Lightweight Threads
An Operational Semantics for Stateflow
An Operator Calculus Approach to the Evolution of Dynamic Data Structures
An Optimistic Model for Searching Web Directories
An Order-Theoretic Model for the Algebra of Communicating Processes
A Normal Form Object-Oriented Entity Relationship Diagram
A Normative and Intentional Agent Model for Organization Modeling
An OR Parallel Prolog Model for Distributed Memory Systems
An Orthogonal Classification of Multicast Mechanisms
A Notation for Describing Aggregate Relationships in an Object-Oriented Data Model
A note on model checking the modal v-calculus
A Novel Cache Design for Vector Processing
An Overview of Motorola s PowerPC Simulator Family
An Overview of the Lawrence Berkeley Laboratory Extended Entity-Relationship Database Tools
An Overview of the Object Protocol Model (OPM) and the OPM Data Management Tools
Anticipatory Behavior in Adaptive Learning Systems: From Brains to Individual and Social Behavior
A Numeric Object for Open Nested Transactions
A Paralle Computing Model for the Acceleration of a Finite Element Software
A Parallelization Framework for Recursive Tree Programs
A Parallel-Programming Process Model
A Parametric Analysis of the State Explosion Problem in Model Checking
A Partial Semantics for Object Data Models with Static Binding
A Perfecto Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software
A Performance Evaluation of the Mobile Agent Paradigm
A performance optimization technique for an object-oriented functional data model
A Performance Study of Memory Consistency Models
A Per Model of Secure Information Flow in Sequential Programs
A Petri-Net-Based Process Engine
A Petri Net Entity as a formal Model for LOTOS, a Specification Language for distributed and concurrent Systems
A Petri net model of SDL
APL2 Implementation of Cross-System Shared Variables
A Platform Independent Parallelising Tool Based on Graph Theoretic Models
Application and Theory of Petri Nets 2000: Proc./21st Intern. Conf., ICATPN 2000. Aarhus, Denmark, June 2000