Вы здесь

Главная

модель

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

A Unified Framework for Indexing in Database Systems
A Uniform Approach to Inter-model Transformations
A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets
A Uniform Model Theory for the Specification of Data and Process Types
A Uniform Universal CREW PRAM
A Useful Necessary Conditions and a Simple Sufficient Condition for Liveness of General Petri Nets
A User-Centered Consistency Model in Real-Time Collaborative Editing Systems
A User-Interface for a Microsystems High-Level Simulator
Authentication and Revocation in SPM Extended Abstract
Authoring Software in Special Education
Auto-generating Test Sequences Using Model Checkers: A Case Study
Automata, Logics, and Infinite Games: A Guide to Current Research
Automated Analysis of an Audio Control Protocol
Automated Analysis of Java Message Service Providers
Automated Analysis of Mutual Exclusion Algorithms using CCS
Automated Deduction - CADE-24: Proc./24th International Conference on AD, Lake Placid,NY,USA, June 2012
Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms
Automated Mapping of Conceptual Schemas to Relational Schemas
Automated Modeling of Physical Systems
Automated Technology for Verification and Analysis: Proc./8th International Symposium, ATVA 2010, Singapore, September 2010
Automated Test Case Generation from Dynamic Models
Automatic Class and Method Generation for Object-Oriented Databases
Automatic Creation of Environment Models via Training
Automatic Datapath Abstraction in Hardware Systems
Automatic Deduction of Temporal Information
Automatic Derivation of Agent Interaction Model from Generic Interaction Protocols
Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems
Automatic Generation of Simulation Models for the Evaluation of Performance and Reliability of Archirectures Specified in UML
Automatic Generation of XQuery View Definitions from ORA-SS Views
Automatic Software Model Checking Using CLP
Automation Meets Query Algebra: Towards a Unified Model for XQuery Evaluation over XML Data Streams
Autonomic and Trusted Computing: Proc./Third International Conference, ATC 2006. Wuhan, China, September 2006
Autonomic Communication: Revised Selected Papers/First International IFIP Workshop, WAC 2004. Berlin, Germany, October 2004
Autonomous Objects: A Natural Model for Complex Applications
A Validation of Object-Oriented Design Metrics as Quality Indicators
A Verification Strategy for Timing Constrained Systems
A Version Model for Aspect Dependency Management
A Virtual Reality Interface to an Enterprise Metadatabase
A Visual Constraint-Programming Environment
A VLIW Architecture for Optimal Execution of Branch-Intensive Loops
A way to logically measure synchronisation for distributed executions
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement
Axiomatic Specification of Large Information Systems: Experiences and Consequences
Axiomatising Timed Automata
A Z Specification of the Soft-Link Hypertext Model
Backtracking Games and Inflationary Fixed Points
Basic Operations of the VisiCola Scope Model
Basiskonzepte objecktorienteierter Datenbanksysteme
Bayesian Analysis of Empirical Software Engineering Cost Models
Bayesian and grAphical Models for Biomedical Imaging: Revised Selected Papers/1st International Workshop, BAMBI 2014, Cambridge,MA,USA, September 2014