Вы здесь

Главная

поток

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

Abstract Compilation: A New Implementation Paradigm for Static Analysis
A Control-Theoretic Approach to Flow Control
A Formal Foundation for Distributed Workflow Execution Based on State Charts
A Framework for-Optimizing Distributed Workflow Executions
Algorithmic Game Theory: Proc./Third International Symposium, SAGT 2010, Athens, Greece, October 2010
A Meta Model for Structured Worlflows Supporting Workflow Transformations
Analysing Particle Jets With Artificial Neural Networks
Analysis, Modeling and Generation of Self-Similar VBR Video Traffic
A New Approach to Control Flow Analysis
Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows
Approximation and Online Algorithms: Revised Papers/8th International Workshop, WAOA 2010, Liverpool, UK, September 2010
Arachne: A Portable Threads System Supporting Migrant Threads on Heterogeneous Network Farms
A Theory of Directed Logic Programs and Streams
A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling
Automated Assistance for Program Restructuring
Big Data Analytics and Knowledge Discovery: Proc./17th International Conference, DaWaK 2015, Valencia, Spain, September 2015
Combinatorial Pattern Matching: Proc./25th Annual Symposium, CPM 2014, Moscow, Russia, June 2014
Communication Middleware for Reliable Workflow Management Systems
Compile-time Detection of Information Flow in Sequential Programs
Component-Based Development of Dynamic Workflow Systems Using the Coordination Paradigm
Conceptual Modeling of WorkFlows
Control Flow Analysis of Prolog
Controlled Node Splitting
Controlling Generalization and Polyvariance in Partial Deduction of Normal Logic Programs
Correctness of Synchronized Cellular Computations
Databases Theory and Application: Proc./32nd Australasian Database Conference, ADC 2021, Dunedin, New Zealand, January 2021
Data Modeling of Time-Based Media
Design and Assurance Strategy for the NRL Pump
Do&Merge: Integrating Parallel Loops ans Reductions
Dynamic Changes in Workflow Participant Assignment
Efficient Algorithms for Pre and Post on Interprocedural Parallel Flow Graphs
Efficient Gram-Schmidt Orthogonalisation on an Array Processor
Energy Minimization Methods in Computer Vision and Pattern Recognition: Proc./8th International Conference, EMMCVPR 2011, St.Petersburg, Russia, July 2011
Energy Minimization Methods in Computer Vision and Pattern Recognition: Revised Selected Papers/11th International Conference, EMMCVPR 2017, Venice, Italy, October 2017
Exception Handling in the BPEL4WS Language
Exception Handling Within Workflow-Based Web Applications
Exploiting Parallelism Through Directives on tthe Nano-Threads Programming Model
Extending Value Reuse to Basic Blocks with Compiler Support
Fast Interprocedural Class Analysis
Flow Analysis in the Geometry of Interaction
Flow Grammars - a Flow Analysis Methodology
Fundamentals of Control Flow in Workflows
Homogeneous Localization of Structural Interactivity Dependencies in Megaprograms using Scripts
Identifying and Using Patterns in Sequential Data
Information Flow Analysis in Logical Form
Information Flow Controls vs Inference Controls: An Integrated Approach
Information Flow Security for XML Transformations
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./7th International Conference, CPAIOR 2010, Bologna, Italy, June 2010
Interprocedural Control Flow Analysis
Job Scheduling Strategies for Parallel Processing: Revised Selected Papers/12th International Workshop,JSSPP 2006 Saint-Malo,France,June 2006