Вы здесь

Главная

процесс

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

CONCUR 95: Concurrency Theory: Proc./ 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995
Concurrency Specification and Programming: Proc./CS&P 93 Workshop. Nieborow near Warsaw, Poland, 14-16 October 1993
Concurrent Objects in a Process Calculus
Concurrent Processes with Synchronization: Net and Algebraic Approaches
Concurrent Systems and Processes
Concurrent testing of processes
Concurrent Testing of Processes
Conditional Rewrite Rules as an Algebraic Semantics of Processes
Configuration Management Culture as the Kernel to Success in Software Process Improvement Efforts
Configuration Management Support for Software Process Models
Configuration of Situational Process Models: An Information Systems Engineering Perspective
Confluence for Process Verification
Confluence of Processes and Systems of Objects
Congruent Weak Conformance, a Partial Order among Processes
Connectedness and synchronization
Consistency of Partial Process Specifications
Constructive Probability and the SIGNalea Language: Building and Handling Random Processes Via Programming
Context-Dependent Bisimulation Between Processes
Control machines: a new model of parallelism for compositional specifications and their effective compilation
Control of Batch Processes Based on Hierarchical Petri Nets
Control Structures for Guarded Horn Clauses
Conversation Builder: An Open System for Collaborative Work
Cool: A Control-flow Generator for System Analysis
Cooperating Evolving Components - A Rigorous Approach to Evolving Large Softawre Systems
Cooperation Control in PSEE
Cooperation Layers in Agent-enabled Business Process Management
Coordinating Functional Process Using Petri Nets
Coordination by Behavioural Views and Communication Patterns
Coordination for Process Support is not Enough
Coordination Theory and Software Process Technology
Coping with Changes: Adaptive Process Management with Higher-Order Object Nets
Core Algorithms for Autonomous Monitoring of Distributed Systems
Corporate Technology Transfer by Means of Object Orientation
Correct Hardware Design and Verification Methods: Proc./ IFIP WG10.5 Advanced Research Working Conference CHARME 95. Frankfurt/Main, Germany, Oktober 1995
CPU Utilization of Multimedia Processes: HeiPOET - The Heidelberg Predictor of Execution Times Measurement Tool
Creation of a Guideline for Tailoring Development Processes Using Project Metrics Data
Critical Factors for a Successful Platform-Based Product Family Approach
CSPL: An Ada95-Like, Unix-Based Process Environment
CTR: A Calculus of Timed Refinement
Customising Software Process Models
Cyclic Orders and the axiomatization of causality and concurrency in periodic processes
DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets
Data and Knowledge Visualization in Knowledge Discovery Process
Database Design Recovery
Database Evolution: The DB-MAIN Approach
Data Flow Implementation of Generalized Guarded Commands
Data Flow Petri Nets for Data Flow Processors
Data Model Evolution as a Basis of Business Process Management
Data Warehouse Process Management
Deadlocks and Methods for Their Detection, Prevention and Recovery in Modern Operating Systems