Search alternatives:
processing problems » programming problems
processing process » processing processing, processes process, process process
interface methods » internal methods, interval methods, interference methods
execution https » exertion https, execution status, execution actors
1
Published 2010
Table of Contents: ... -- Symbolic Execution of Acyclic Workflow Graphs -- Structuring Acyclic Process Models -- A New Semantics...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Conversational Case-Based Reasoning -- Mixed Parallel Execution of Algorithms for Satisfiability Problem...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... for Process Execution in Cyber-Physical Systems -- Fundamental Issues in Modeling -- Applying Predicate...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ...Invited Talks (Abstracts) -- Business Process Management: Today and Tomorrow -- Understanding...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... with Obligations and Permissions -- Design Methods for Collaborative Emergent Processes -- Process Design...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... – Refactoring for Variability: A Test-Driven Approach -- Introducing Agile Methods in a Large Software...
View full text
Electronic eBook
8
Table of Contents: ...Process Planning in Supply Consortia -- Transport Processes and Uncertainty -- Decision Support...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... Model of Assistive Technology Assessment Process -- Towards Ergonomic User Interface Composition: A...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ...Business Process -- A Rule-Based Approach for Model Management in a User Interface – Business...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... visual interfaces -- Performance Comparison of Two Identification Methods for Analysis of Head Related...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Problem-Based Approach -- Verifying Parallel Programs with MPI-Spin -- Advanced MPI Programming...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... Tracking Using Multiple Neuromorphic Vision Sensors -- Interpolation Methods for Global Vision Systems -- A...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ...Part I: Invited Papers -- An Engineering Approach for the Design of Hybrid Modelling Methods...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... -- Calibration Methods for a 3D Triangulation Based Camera -- Camera-Based Control for Industrial Robots Using...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Design with Controlled Movement Execution -- Applying Dynamic Walking Control for Biped Robots...
View full text
Electronic eBook
19
Published 2012
Table of Contents: ....- Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.- Formal Methods...
View full text
Electronic eBook
20
Published 2012
Table of Contents: ... Components, Changing Interfaces, Varying Compositions.- An Object Group-Based Component Model.- Automated...
View full text
Electronic eBook