Вы здесь

Главная

процесс

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

A Formal Framework for Business Process Modeling and Design
A Formalism for Remotely Interacting Processes
A Formal Knowledge Level Process Model of Requirements Engineering
A Formal Specification of the Process Trellis
A Formal Study of Distributed Meeting Scheduling: Preliminary Results
A Four Dimensional Reuse Maturity Model
A Front-End Generator for Verification Tools
A fully abstract model for concurrent nondeterministic processes based on posets with non-actions
A Fully Abstract Semantics for Causality in the -calculus
A Fully Abstract Semantics for Causality in the Pi-calculus
A Fully Parallel Calculus of Synchronizing Processes
A Generalized Multi-View Approach
A Generic Model for Assessing Process Quality
A Generic Process to Refine a B Specification into a Relational Database Implementation
A Graphical Tool for the Visualization and Animation of Communicating Sequential Process
A Hardware Architecture Design Methodology for Hidden Markov Model Based Recognition Systems Using Parallel Processing
A Hybrid Model for Reasoning about Composed Hardware Systems
A Java-Based, Distributed Process Management System for Collaborative Design and Manufacturing
A Kahn Principle for Networks of Nonmonotonic Real-time Processes
A Kleene Analysis of Mobile Ambients
A Language for the Logical Specification of Processes and Relations
A Layered Real-Time Specification of a RISC Processor
A Learning Perspective on Software Process Technology
Algebra AFP for concurrent nondeterministic processes: Fully abstract model and complete axiomatization
Algebra and Models
Algebraic Approaches for Nets Using Formulas to Describe Practical Software Systems
Algebraic characterization of bihavioural equivalences over event structures
Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information
Algebraic Specification and Proof of Properties of a Mail Service
Algebraic Theories for Name-Passing Calculi
Algebra of States and Transitions
Algebras of arrays - a tool to deal with concurrency
Algebras of Processes of Timed Petri Nets
Aligning Legacy Information Systems to Business Processes
A Linear Metalanguage for Concurrency
A Longitudinal Study of Software Process Improvement
A Markov-Modulated Bernoulli Process Approximation for the Analysis of Banyan Networks
A Meta-model Framework for Software Process Modeling
A Mobile Agent Approach to Process-Based Dynamic Adaptation of Complex Software Systems
A modal logic for message passing processes
A Modal Logic for Message Passing Processes
A Model for Real-Time Process Algebras
A Model for the Implementation of Software Process Improvement: An Empirical Study
A Modification of the Process Interaction World View
A Multi-Agent Approach for Modeling, Enacting and Evolving Distributed Cooperative Software Process
A Multi-perspective Methodology for Modeling Inter-enterprise Business Processes
A Multiset Semantics for the pi-Calculus with Replication
A Multitasking Executive for Operating Systems Courses
A Multi-variant Approach to Software Process Modeling
An Abstract Interpretation Framework for Analysing Mobile Ambients