Вы здесь

Главная

схема

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

A Schema-Based Approach to Specifying Conversation Policies
A second-order matching procedure for the practical use in a program transformation system
A Semantic Approach to XML-based Data Integration
A Semantic-Based Versioning Scheme of Multimedia Data
Assertion of Consistency within a Complex Object Database Using a Relationship Construct
A Statistical Scheme for Automatic Title Generation
A Survey and a Categorization Scheme of Automatic Programming Systems
Asymptotically Optimal Declustering Schemes for Range Queries
Asynchronous Logic Techniques for Data-Rate Matching and Area-Time Reduction
A Tale of Two Schemas: Creating a Temporal XML Schema from a Snapshot Schema with tiXSchema
A Taxonomy for Schema Versioning Based on the Relational and Entity Relationship Models
A Technique for Transforming Logic Programs by Fold-Unfold Transformations
A theory for the derivation of combinational C-mos circuit designs
A Timing Refinement of Intuitionistic Proofs and Its Application to the Timing Analysis of Combinational Circuits
A Transactional Approach to Parallel Data Warehouse Maintenance
A Uified Software Pipeline Construction Scheme for Modulo Scheduled Loops
A Unified Framework for Supporting Dynamic Schema Evolution in Object Databases
A Unified Software Pipeline Construction Scheme for Modulo Scheduled Loops
A Uniform Methodology for Extracting Type Conflicts and Subscheme Similarities from Heterogeneous Databases
Automata, Circuits, and Hybrids: Facets of Continuous Time
Automated Mapping of Conceptual Schemas to Relational Schemas
Automatic and Semantic Techniques for Scheme Integration and Scheme Abstraction
Automatic Derivation of Terminological Properties from Database Schemes
Automatic Integration of Digital System Requirements using Schemata
Automatic Migration and Wrapping of Database Applications - A Schema Transformation Approach
Automatic Test Generation for Digital Electronic Circuits
Automatic Verification of Speed-Independent Circuit Designs Using the Circal System
Automating the Creation of COM+ Components for a Database Schema
Automating the Evolution of Object-Oriented Systems
Automating Verification by Functional Abstraction at the System Level
Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks
Avoiding Anomalies in Inheritance Schemes
Axiomatizations of Backtracking (extended abstract)
Basic VLSI Design: Systems and Circuits. Second Edition
Bondgraph Execution as a New Algorithm for Circuit Simulation
Boundary-Scan Testing for Electronic Subassemblies and Systems
Branching Programs versus Oblivious Branching Programs
Building Inheritance Graphs in Object Database Design
Built-In Self-Test for Digital Integrated Circuits
Calculational Derivation of a Counter with Bounded Response Time
Categorical Models of Relational Databases I: Fibrational Formulation, Schema Integration
Cellular Automata and Discrete Complex Systems: Proc./22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 2016
Change Propagation in an Axiomatic Model of Schema Evolution for Objectbase Management Systems
Circuit Retiming Applied to Decomposed Software Pipelining
Classification and Syntax of Constraints in Binary Semantical Networks
Cliche-Based Program Editors
Closed External Schemas in Object-Oriented Databases
Codifying guarded definitions with recursive schemes
Collectionn Schemes for Distributed Garbage
Compilation and Simplification of Temporal Integrity Constraints