Вы здесь

Главная

модель

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

3. Conceptual Models for Spatio-temporal Applications
4. Spatio-temporal Models and Languages: An Approach Based on Data Types
5. Spatio-temporal Models and Languages: An Approach Based on Constraints
A Behavioral Module System for the Pi-Calculus
A Belief-Consistent Multilevel Secure Relational Data Model
About Boundedness for Some DATALOG and DATALOGneg Programs
Abstract and Model Check While You Prove
Abstract Behavior Types: A Foundation Model for Components and Their Composition
Abstract Data Types for the Logical Modeling of Comlex Data
Abstract Description of Distributed Object Systems
Abstracting Interactions Based on Message Sets
Abstraction and Reuse Mechanisms in Web Application Models
Abstraction as the Key for Invariant Verification
Abstraction in Software Model Checking: Principles and Practice
Abstractions for Portable, Scalable Parallel Programming
Abstractions from Proofs
Abstract Model Checking of Infinite Specifications
Abstract State Machines: Theoy and Applications: Proc./Intern. Workshop, ASM 2000, Monte Verita, Switzerland, March 2000
A Calculus for Exploiting Data Parallelism on Recursively Defined Data
A Calculus for Link-Time Compilation
A Calculus for Secure Channel Establishment in Open Networks
A Calculus of Countable Broadcasting Systems
A -calculus with Explicit Substitutions: the Late Semantics
A "Call for Answers" Around the Proposition of an HCI-enriched Model
A Canonical Model for a Class of Areal Spatial Objects
A Case for Test-Code Generation in Model-Driven Systems
A Case for the PRAM as a Standard Programmer s Model
A Case Study in Safely-Critical Design
A Categorial Observaion of Timed Testing Equivalence
A Categorical Model for Logic Programs: Indexed Monoidal Categories
A C++ Binding for Penguin: A System for Data Sharing among Heterogeneous Object Models
Accelerating the Evaluation of Parallel Program Performance Models Using Distributed Simulation
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems
Access Support Relations: An Indexing Method for Object Bases
Accomodating Subjective Vagueness Through a Fuzzy Extension to the Relational Data Model
Accurate Modeling of the Hybrid Hash Join Algorithm
Accurate Widenings and Boundedness Properties of Timed Systems
A C++ Data Model Supporting Reachability Analysis and Dead Code Detection
ACE: And/Or-parallel Copying-based Execution of Logic Program
A Characterization of the Partial Stable Models for Disjunctive Deductive Databases
A Cjgnitive Model for the Process of Multimodal^ Incremental Route Descriptions
A Classification of Models for Concurrency
A Class of Composable High Level Petri Nets
A Client-Server Protocol for the Composition of Petri Nets
A CMM-Based Evaluation of the V-Model 97
A Colored Petri Net Model for a Naval Command and Control System
A Combined Approach to Hardware Verification: Proof-Checking, Rewriting with Decision Procedures and Model-Checking. Part II: Articles
A Combined Approach to Hardware Verification: Proof-Checking, Rewriting with Decision Procedures and Model-Checking. Part I: Slides
A Common Data Model for Meta-Data in Interoperable Environments
A Commonsense Reasoning Facility Based on the Entity-Relationship Model