Вы здесь

Главная

модель

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

Bulk Types for Data Modelling in Persistent Object Systems
Burg - Fast Optimal Instruction Selection and Tree Parsing
Business Conversations: A High-Level System Model for Agent Coordination
Business Process Modeling in the Workflow Management Environment Leu
Business Process Modeling - Motivation, Requirements, Implementattion
Buy One, Get One Free!!!
Bytecode Model Checking: An Experimental Analysis
Cache Models for Interactive Compilation
CACL: Efficient Fine-Grained Protection for Objects
Calibration of a DBMS Cost Model with the Software Testpilot
Calibration of Microprocessor Performance Models
Cannibals and Missionaries
Canonical Abstract Prototypes for Abstract Visual and Interaction Design
Can You Trust Software Capability Evaluations?
Capacity Planning for Composite Wev Services Using Queuing Network-Based Models
Capturing Complexity Classes with Lindstrom Quantifiers
Cardinality Consistency of Derived Objects in DOOD Systems
CASE: A Testbed for Modeling, Measurement and Management
Case-based Reasoning and Model-based Knowledge-Acquisition
CASE-Инструментарий UFO-toolkit. Автоматизация построения УФО-моделей
CASSANDRA. Ein System zur Leitungsvorhersage bei Datenbanksystemen mit Hilfe analytischer Modelle
Categorical Models for Intuitionistic and Linear Type Theory
Categorical Models of Relational Databases I: Fibrational Formulation, Schema Integration
Category-sorted Algebra-based Action Semantics
Causality Based Proof of a Distributed Shared Memory System
Causal Testing
CCS+Time= an Interleaving Model for Real Time Systems
CDM - Collaborative Data Model for Databases Supporting Groupware Applications
Cellular Automata and Discrete Complex System: Proc./24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 2018
Cellular Automata and Discrete Complex Systems: Proc./22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 2016
Cellular Automata and Discrete Complex Systems: Proc./23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Spain, June 2017
Cellular-Neural Computations: Formal Model
Cellular-Neural Computations. Formal Model and Possible Applications
Certification of Reusable Components
Change Management and Consistency Maintenance in Software Development Environments Using Object Oriented Attribute Grammars
Change Propagation in an Axiomatic Model of Schema Evolution for Objectbase Management Systems
ChaosMON- Application-Specific Monitoring and Display of Performance Information for Parallel and Distributed Systems
Chapter 4. A Concurrency Abstraction Model for Avoiding Inheritance Anomaly in Object-Oriented Programs
Characteristic Formulae for CCS with Divergence
Characteristics of Wide-Area TCP/IP Conversations
Characterizing Bisimulation Congruence in the -Calculus
Characterizing Timed Net Processes Categorically
Charade: Remote Control of Objects Using Free-Hand Gestures
Checking Safety Properties Using Compositional Reachability Analysis
Checking Strong Specifications Using an Extensible Software Model Checking Framework
Chimera: A Model and Language for Active DOOD Systems
Choice Coordination with Multiple Alternatives
Chrono: A Conceptual Design Framework for Temporal Entities
CHRONOS: пространственно-временной сервер данных для ГИС
CIGRAPHS: A New Graph Model