Вы здесь

Главная

модель

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

Bebop: A Symbolic Model Checker for Boolean Programs
Beginnings of a Theory of General Database Completions
Behavioural Constraints: Why Using Events Instead of States
Behaviour-Based Model Construction
Belief Functions: Theory and Applications: Proc./5th International Conference, BELIEF 2018, Compiègne, France, September 2018
Benefits and Quality of Data Modeling - Results of an Empirical Analysis
Benefits of an Object-Oriented Multidimensional Data Model
Benign Failure Models for Shared Memory
Beyond Generic Component Parameters
Beyond Regular Model Checking
Big Data Analytics: Proc./3rd International Conference, BDA 2014, New Delhi, India, December 2014
Binary Integrity Constraints Against Confidentiality
Binary Representation of Ternary Relationships in ER Conceptual Modeling
Binding, Migration, and Scalability in CORBA
Birkhoff s HSP-Theorem for Cumulative Logic Programs
Bisimulation for Models in Concurrency
Blind Queries to XML Data
Boolean Algebra of Shape Analysis Constraints
Boolean and Cartesian Abstraction for Model Checking C Programs
Bottom-Up Evalution of Hierarchical Disjunctive Deductive Databases
Bounded Model Checking and Induction from Refutation to Verification
Bounded Model Checking for Past LTL
Bounded Model Checking for Timed Systems
Bounded Reachability Checking with Process Semantics
Brain Informatics: Proc./International Conference, BI 2009, Beijing, China, October 2009
Brain Informatics: Proc./International Conference, BI 2011, Lanzhou, China, September 2011
Branch and Bound on the Network Model
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications
Branching Processes of High-Level Petri Nets
Branching Transactions: A Transaction Model for Parallel Database Systems
Breakthrough in Delivering Software Quality: Capability Maturity Model and Six Sigma
Bridging Across the log(n) Space Frontier
Bridging the Gap Between Place- and Floyd-Unvariants with Applications to Preemptive Scheduling
Brightness Information Processing Based on a Human Visual Model
Bringing Coherence to Agent Conversations
Bringing Thogether Description Logics and Database in an Object-Oriented Model
Broadcasting with Priority
BSP in CSP: Easy as ABC
BSP, LogP, and Oblivious Programs
BSP-style Computetion: A Semantic Investigation
Building a constraint-based spatial database system: model, language, and implementation
Building BSP Programs Using the Refinement Calculus
Building Consistent Sample Databases to Support Information System Evolution and Migration
Building Expressive and Flexible Process Models Using a UML-Based Approach
Building Formal Requirements Models for Reliable Software
Building Models of Linear Logic
Building Modern Distributed Systems
Building User-Controlled 3D Models and Animations for Inherently-3D Construction Tasks: Which Tool, Which Representation?
Bulk Synchronous Parallel: Practical Experience with a Model for Parallel Computing
Bulk Types for Data Modeling in Persistent Object Systems