Вы здесь

Главная

модель

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

A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases
A Semantic Basis for Quest
A Semantic Characterization of the Well-Typed Formulae of -Calculus
A Semantic Comparison of the Modelling Capabilities of the ER and NIAM Models
A Semantic Link Model for Hypertext Retrieval
A Semantic Model for Hypertext Data Caching
A Semantic Model of Binding Times for Safe Partial Evaluation
A Semantic Model of Real-Time UML
A Semantic Model of Types and Machine Instructions for Proof-Carrying Code
A Semantic Theory for Concurrent ML
A Separation Logic for Resource Distribution
A Short Introduction to Neural Associative Memories
ASIC Model Compilation with Oberon
A Simple Adequate Categorical Model for PCF
A Simple Language for Real-Time Cryptographic Protocol Analysis
A Simple LAN Performance Measure
A Simple Model for Agreement in Distributed Systems
A Simple Model for Quotient Types
A Simulation Model for Client-Server Database Management Systems
A Software Architecture Evaluation Model
A Software Process Immaturity Model
A Solution Relying on the Model Checking of Boolean Transition Systems
A Spatial Data Model and a Topological Sweep Algorithm for Map Overlay
A Spatiotemporal Model and Language for Moving Objects on Road Networks
A Spatiotemporal Model as the Basis for a Persistent GIS
A Specification-Based Approach to Concurrency Analysis
Aspect Validation Using Model Checking
A SPIN-Based Model Checker for Telecommunication Protocols
Assembly Technology for Parallel Realization of Numerical Models on MIMD-Multicomputers
Assessing Object-Oriented Conceptual Models Maintainability
Assessment of Timing Properties of Family Products
Assesting the Software Process Maturity of Software Engineering Courses
Association Rule Mining: Models and Algorithms
Associations and Roles in Object-Oriented Modeling
Assume-Guarantee Model Checking of Software: A Comparative Case Study
Assumption/Commitment Rules for Dataflow Networks - with an Emphasis on Completeness
A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages
A State-Based Algebraic Semantics of Statements of Sequential Java
A Stochastic Framework for Co-synthesis of Real Time Systems
A Storage Manager for the Hypernode Model
A Strategy for the Production of Verifiable Code Using the B Method
A Structural Computing Model for Dynamic Service-Based Systems
A Structural Linearization Principle for Processes
A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model Interpretation
A Structured Approach to Parallel Programming: Methodology and Models
A Study of Automatic Migration of Programs Across the Java Event Models
A Study on the Effect of Class Distribution Using Cost-Sensitive Learning
A Subset of Lotos with the Computational Power of Place/Transition-Nets
A Support System for Building Hypermedia Training Applications
A Survey of Basic Net Models and Modular Net Classes