Вы здесь

Главная

модель

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

A Differentiated Optical Services Model for WDM Networks
ADIPS Framework for Flexible Distributed Systems
A Distributed Abstract Machine for Boxed Ambient Calculi
A Distributed Data-Storage Service for Supporting Group Collaborations
A Distributed Object Oriented Framework to Offer Transactional Support for Long Running Business Processes
A Distributed Queueing Random Access Protocol for a Broadcast Channel
A Document Retrieval Model Based on Term Frequency Ranks
Advanced Component Interface Specification
Advanced Conceptual Modeling Techniques: Proc./ER 2002 Workshops - ECDM, MoblMod, IWCMQ, and eCOMO, Tampere, Finland, October 2002
Advanced Information Modelling for Integrated Network Management Applications
Advanced Programming in PVM
Advances in Artificial Intelligence: Proc./25th Canadian Conference on AI, Canadian AI 2012, Toronto,ON,Canada, May 2012
Advances in Conceptual Modeling: Proc./ER 2014 Workshops, ENMO, MoBiD,MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta,GA,USA, October 2014
Advances in Information Retrieval: Proc./36th European Conference on IR Research, ECIR 2014, Amsterdam, The Netherlands, April 2014
Advances in Information Retrieval: Proc./40th European Conference on IR Research, ECIR 2018, Grenoble, France, March 2018
Advances in Multimedia Modeling: Proc./16th International Conference, MMM 2010, Cjngqing, China, January 2010
Advances in Nonlinear Speech Processing: Revised Selected Papers/ International Conference, NOLISP 2009, Vic, Spain, June 2009
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection: Proc./16th International Conference, PAAMS 2018, Toledo, Spain, June 2018
Advances in Soft Computing - AFSS 2002: Proc./2002 AFSS Intern. Conf. on Fuzzy Systems, Calcutta, India, February 2002
Advances in Spatial Databases: Proc./4th International Simposium, SSD 95 Portland, ME, USA,August 1995
Advances in Spatial Databases: Proc./5th Intern. Symp., SSD 97. Berlin, Germany, July 1997
Advances in Spatial Databases: Proc./Third Intern. Symp., SSD`93. Singapore, June 1993
Advansed Database Systems.:Proc./10th British Conf. on Database, BNCOD 10 Aberdeen, Scotland, July 1992
A Dynamically Typed Access Control Model
A Dynamic Model for Mapping XML Elements in a Object-Oriented Fashion
A Family of the ODMG Object Models
A Fault Tolerant Abstraction for Transparent Distributed Programming
Affine Model Checking Multi-agent Sliding Window Protocol
A Filter-Mechanism for Method-Driven Trace Capture
A Finite State Mobile Agent Computation Model
A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence
A Flexible Cost Model for Abstract Object-Oriented Database Schemas
A Flexible Operation Execution Model for Shared Distributed Objects
A Formal Approach to Requirements Engineering
A Formal Basis for Reasoning on Programmable QoS
A Formal Framework for Authentication
A Formalization of Abstraction in LAMBDA
A Formal Knowledge Level Process Model of Requirements Engineering
A Formal Mapping between UML Models and Object-Z Specifications
A Formal Methodology to Specify E-commerce Systems
A Formal Model for an Expressive Fragment of XSLT
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware
A Formal Model for the Block Device Subsystem of the Linux Kernel
A Formal Model of Object-Oriented Design and GoF Design Patterns
A Formal Model of Real-Time Program Compilation
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints
A Formal Security Model for Microprocessor Hardware
A Formal Semantics for a Graphical Model Representation in System Design
A Formal Software Specification Tool Using the Entity-Relationship Model
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors