1
Published 2008
Table of Contents: ...Invited Talks (Abstracts) -- Business Process Management: Today and Tomorrow -- Understanding...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... with Obligations and Permissions -- Design Methods for Collaborative Emergent Processes -- Process Design...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Symbolic Execution of Acyclic Workflow Graphs -- Structuring Acyclic Process Models -- A New Semantics...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Tracking Homotopy Iteration Method -- Fast Stereo Matching Method Using Edge Traction -- Hybrid Color Image...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... for Process Execution in Cyber-Physical Systems -- Fundamental Issues in Modeling -- Applying Predicate...
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 2007
Table of Contents: ... -- Outstanding Papers -- Full Bandwidth Broadcast, Reduction and Scan with Only Two Trees -- Process Cooperation...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... visual interfaces -- Performance Comparison of Two Identification Methods for Analysis of Head Related...
View full text
Electronic eBook
15
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
16
Published 2010
Table of Contents: ... Design with Controlled Movement Execution -- Applying Dynamic Walking Control for Biped Robots...
View full text
Electronic eBook
17
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
18
Published 2012
Table of Contents: ... Components, Changing Interfaces, Varying Compositions.- An Object Group-Based Component Model.- Automated...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ...Part I: Invited Papers -- An Engineering Approach for the Design of Hybrid Modelling Methods...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... Tracking Using Multiple Neuromorphic Vision Sensors -- Interpolation Methods for Global Vision Systems -- A...
View full text
Electronic eBook