Tabla de Contenidos: “…Change Control Process; 6.4.3. Evaluate Changes in the CCB Meeting; 6.4.4. …”

Tabla de Contenidos: “…Weld Business Success to Program Success; 4.3. 3. Participate; 4.3.2. Be Content with Commitment Equal to Yours; 4.4. 4. …”

Tabla de Contenidos: “…PREFACE xi -- 1 INTRODUCTION: SERVICE RELIABILITY 1 -- 1.1 Motivation 4 -- 1.2 Technical Challenges 5 -- 1.3 Summary of Earlier Solutions 7 -- 1.4 Summary of New Ways to Verify Web Services 8 -- 1.5 Structure of the Book 10 -- References 11 -- 2 MODEL CHECKING 15 -- 2.1 Advantages and Disadvantages of Model Checking 18 -- 2.2 State-Space Explosion 19 -- 2.3 Model-Checking Tools 22 -- References 25 -- 3 PETRI NETS 27 -- 3.1 Colored Petri Nets 31 -- 3.1.1 CPN ML 31 -- 3.1.2 CPN Syntax and Semantics 35 -- 3.1.3 Timed Colored Petri Nets 41 -- 3.1.4 Multisets 47 -- 3.1.5 CPN Definitions 47 -- 3.2 Hierarchical Colored Petri Nets 49 -- References 55 -- 4 WEB SERVICES 57 -- 4.1 Business Process Execution Language 59 -- 4.2 Spring Framework 70 -- 4.3 JAXB 2 APIs 74 -- 4.3.1 Unmarshaling XML Documents 74 -- 4.3.2 Marshaling Java Objects 75 -- References 76 -- 5 MEMORY-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING 77 -- 5.1 Motivation 78 -- 5.2 Overview of the Problem and Solution 79 -- 5.3 Related Work 83 -- 5.4 Models for Memory-Efficient State-Space Analysis 86 -- 5.4.1 Sequential Model 87 -- 5.4.2 Tree Model 98 -- 5.5 Experimental Results 108 -- 5.6 Discussion 112 -- 5.7 Summary 113 -- References 113 -- 6 TIME-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING 115 -- 6.1 Motivation 116 -- 6.2 Overview of the Problem and Solution 118 -- 6.3 Overview of Hierarchical Colored Petri Nets 119 -- 6.4 Related Work 123 -- 6.5 Technique for Time-Efficient State-Space Analysis 125 -- 6.5.1 Access Tables and Parameterized Reachability Graph 126 -- 6.5.2 Exploring a Module 129 -- 6.5.3 Access Table and Parameterized Reachability Graph for a Super-module 134 -- 6.5.4 Algorithms for Generating Access Tables and Parameterized Reachability Graphs 137 -- 6.5.5 Additional Memory Cost for Storing Access Tables and Parameterized Reachability Graphs 143 -- 6.5.6 Theoretical Evaluation of the Reduction in Delay 145 -- 6.6 Experimental Results 149 -- 6.7 Discussion 151 -- 6.8 Summary 152 -- References 153 -- 7 GENERATING HIERARCHICAL MODELS BY IDENTIFYING STRUCTURAL SIMILARITIES 155 -- 7.1 Motivation 156 -- 7.2 Overview of the Problem and Solution 158 -- 7.3 Basics of Substitution Transition 160 -- 7.4 Related Work 161 -- 7.5 Method for Installing Hierarchy 162 -- 7.5.1 Lookup Method 163 -- 7.5.2 Clustering Method 189 -- 7.5.3 Time Complexity of the Lookup Algorithm 193 -- 7.6 Experimental Results 194 -- 7.7 Discussion 201 -- 7.8 Summary 202 -- References 203 -- 8 FRAMEWORK FOR MODELING, SIMULATION, AND VERIFICATION OF A BPEL SPECIFICATION 205 -- 8.1 Motivation 206 -- 8.2 Overview of the Problem and Solution 208 -- 8.3 Related Work 209 -- 8.4 Colored Petri Net Semantics for BPEL 211 -- 8.4.1 Component A 211 -- 8.4.2 Component B 214 -- 8.4.3 Object Model for BPEL Activities 217 -- 8.4.4 XML Templates 221 -- 8.4.5 Algorithm for Cloning Templates 234 -- 8.5 Results 236 -- 8.6 Discussion 241 -- 8.7 Summary 242 -- References 242 -- 9 CONCLUSIONS AND OUTLOOK 245 -- 9.1 Results 246 -- 9.2 Discussion 249 -- 9.3 What Could Be Improved? …”

Tabla de Contenidos: “…2.4.2.1 Capabilities for Product-Centric Servitization Strategy2.4.2.1.1 Product Innovation; 2.4.2.1.2 Logistics Integration; 2.4.2.1.3 Marketing; 2.4.2.2 Capabilities for Service-Centric Servitization Strategy; 2.4.2.2.1 Service Innovation; 2.4.2.2.2 Service Delivery and Experienced Experts; 2.4.2.2.3 Service Culture; 2.4.3 Organizational Features; 2.4.3.1 Global Manufacturing Network (GMN); 2.4.3.2 Global Service Network (GSN); 2.4.3.3 Evolution from Factory to GMN or GSN; 2.5 Managerial and Practical Implications; 2.5.1 Strategy Priority Depends on Core Competence…”

Tabla de Contenidos: “…3.3.3 Aufruf als Methode3.3.4 Aufruf als Konstruktor; 3.3.5 Aufruf mit den Methoden apply() und call(); 3.4 Zusammenfassung; Kapitel 4: Der Umgang mit Funktionen; 4.1 Anonyme Funktionen; 4.2 Rekursion; 4.2.1 Rekursion in benannten Funktionen; 4.2.2 Rekursion mit Methoden; 4.2.3 Das Problem mit der »gestohlenen« Referenz; 4.2.4 Benannte Inline-Funktionen; 4.2.5 Die callee-Eigenschaft; 4.3 Programmierspaß mit Funktionen als Objekten; 4.3.1 Funktionen speichern; 4.3.2 Selbstmemoisierende Funktionen; 4.4 Argumentlisten variabler Länge; 4.4.1 Argumentlisten variabler Länge mit apply()…”

Tabla de Contenidos: “…3.1.5 Protocol stack for S11 interface3.1.6 Protocol stack for X2 user-plane; 3.1.7 Protocol stack for X2 control-plane; 3.2 E-UTRAN and NAS protocols; 3.3 LTE-Uu interface protocols; 3.4 Support for relay nodes; 3.5 Support for HeNB nodes; References; 3GPP Specifications; IETF Specifications; Books; Articles; 4 System Operation and UE States; 4.1 General UE behavior; 4.2 UE initialization procedure (cell search and cell selection); 4.3 EPS connection and mobility management; 4.3.1 EPS mobility management; 4.3.2 EPS connection management; 4.4 UE states; 4.4.1 Idle mode procedures…”

Tabla de Contenidos: “…4.1.5 Methyl Methacrylate Acrylonitrile Butadiene Styrene4.1.6 Styrene Maleic Anhydride; 4.1.7 Styrenic Block Copolymers; 4.1.8 Styrenic Blends; 4.2 Polystyrene; 4.2.1 Fatigue Data; 4.3 Acrylonitrile Styrene Acrylate; 4.3.1 Fatigue Data; 4.4 Styrene Acrylonitrile; 4.4.1 Fatigue Data; 4.5 Acrylonitrile Butadiene Styrene; 4.5.1 Fatigue Data; 4.6 Styrenic Blends; 4.6.1 Fatigue Data; 4.6.2 Tribology Data; Chapter 5 Polyether Plastics; 5.1 Background; 5.1.1 Polyoxymethylene (or Acetal Homopolymer); 5.1.2 Polyoxymethylene Copolymer (POM-Co or Acetal Copolymer)…”

Tabla de Contenidos:

Tabla de Contenidos: “…Part II CONTROL AND DYNAMICS4 Morphing Unmanned Air Vehicle Intelligent Shape and Flight Control; 4.1 Introduction; 4.2 A-RLC Architecture Functionality; 4.3 Learning Air Vehicle Shape Changes; 4.3.1 Overview of Reinforcement Learning; 4.3.2 Implementation of Shape Change Learning Agent; 4.4 Mathematical Modeling of Morphing Air Vehicle; 4.4.1 Aerodynamic Modeling; 4.4.2 Constitutive Equations; 4.4.3 Model Grid; 4.4.4 Dynamical Modeling; 4.4.5 Reference Trajectory; 4.4.6 Shape Memory Alloy Actuator Dynamics; 4.4.7 Control Effectors on Morphing Wing; 4.5 Morphing Control Law…”

Tabla de Contenidos: “…Quadratic hollow fabric; 3.4.3. Generation of weaves for hexagonal hollow fabrics…”

Tabla de Contenidos: “…3.5.2 Analysis of the Estimators of the Variance Parameter3.6 Problems; 4 Simple Regression Model; 4.1 Introduction; 4.2 Estimation and Testing of η; 4.2.1 Estimation of η; 4.2.2 Test of Intercept Parameter; 4.2.3 Estimators of β and θ; 4.3 Properties of Intercept Parameter; 4.3.1 Bias Expressions of the Estimators; 4.3.2 MSE Expressions of the Estimators; 4.4 Comparison; 4.4.1 Optimum Level of Significance of θ_n^PT; 4.5 Numerical Illustration; 4.6 Problems; 5 ANOVA; 5.1 Model Specification; 5.2 Proposed Estimators and Testing; 5.3 Bias, MSE, and Risk Expressions; 5.4 Risk Analysis…”

Tabla de Contenidos: “…Less Important Miscellaneous Functions4.3. Advanced User-Defined Functions; 4.3.2. Hooking Functions; 4.3.3. …”

Tabla de Contenidos: “…-- 4.1 Priority Purchasing -- 4.2 Comparison Between Priority and FIFO -- 4.3 Comparison Between Line-Sitting and Priority -- 5 Three-Way Comparison -- 6 Endogenizing Service Fee B -- 7 Finitely Many Line-Sitters -- 8 Pre-commitment Payment -- 8.1 Revenue of the Line-Sitting Firm -- 8.2 Welfare Implications -- 9 Concluding Remarks -- References -- 4 Queue Scalping -- 1 Introduction -- 2 Model Description -- 3 Analysis of the Single-Scalper Model -- 3.1 What Queues Are Susceptible to Scalping? …”

Tabla de Contenidos: “…System und Lebenswelt in der Theorie des kommunikativen Handelns -- 4.3 Bestimmung der drei Sprechakte -- 4.3.1 Grundlegendes zu Sprechakten und der lokutionäre Sprechakt -- 4.3.2 Der illokutionäre Sprechakt -- 4.3.3 Der perlokutionäre Sprechakt -- 4.4 Der Begriff der Verständigung -- 4.5 Die Verknüpfung kommunikativen Handelns mit dem Prozess des Organisierens -- 5 Pfadvermeidung und Pfadbruch im Prozess des Organisierens durch kommunikatives Handeln -- 5.1 Pfadvermeidung und Pfadbruch in der Gestaltung -- 5.2 Pfadvermeidung und Pfadbruch in der Selektion -- 5.2.1 Originär in der Selektion erzeugte Konstituenten der Pfadabhängigkeit -- 5.2.2 Aus der Gestaltung und der Retention kommende Konstituenten der Pfadabhängigkeit -- 5.3 Pfadvermeidung und Pfadbruch in der Retention -- 5.4 Pfadvermeidung und Pfadbruch durch Sinnzuschreibung -- 6 Resümee…”

Tabla de Contenidos: “….: Mortality determined by (grand‐)parents' nutrition -- 4.2.1 Zusammenfassung der Studie -- 4.2.2 Die Ernährung von Großeltern beeinflusst Erkrankungen bei Enkeln -- 4.3 McGowan et al.: rRNA hypermethylation in suicide brain -- 4.3.1 Zusammenfassung der Studie -- 4.3.2 Zur veränderten Genexpression im Gehirn durch Missbrauchserfahrungen -- 4.4 Weaver et al.: Epigenetic programming by maternal behavior -- 4.4.1 Zusammenfassung der Studie -- 4.4.2 Der Einfluss mütterlichen Plegeverhaltens auf die Stressbewältigung der Nachfahr_innen -- 4.5 Gapp et al.: Implications of sperm RNAs of the effects of early trauma -- 4.5.1 Zusammenfassung der Studie -- 4.5.2 Über die Zusammenhänge von sncRNA, Sperma und traumatischen Stresserfahrungen -- 5. …”

Tabla de Contenidos: “…Exercise 4: Iterables and Iterators -- Chapter 3 Conclusion -- Chapter 4: Functions, Modules, and Packages -- 4.1 Function Definition and Call -- 4.1.1 Function Definition -- 4.1.2 Function Call -- 4.1.3 Function Parameters -- 4.1.4 Docstrings -- 4.1.5 Local and Global Variables -- 4.2 Scope of Variables -- 4.2.1 Global Scope -- 4.2.2 Local Scope -- 4.2.3 Nonlocal Scope -- 4.2.4 Built-In Scope -- 4.2.5 Best Practices for Variable Scope -- 4.3 Modules and Packages -- 4.3.1 Modules in Python -- 4.3.2 Packages in Python -- 4.3.3 Python's import system -- 4.4 Recursive Functions in Python…”

Tabla de Contenidos: “…PREVENCIÓN Y SALUD PÚBLICA3.1; 3.1.1; 3.1.2; 3.1.3; 3.2; 4. DERECHOS; 4.1; 4.2; 4.3; 5. GARANTÍAS; 5.1; 5.1.1; 5.1.2; 5.1.3; 5.2; 5.3; 6. …”

Tabla de Contenidos:

Tabla de Contenidos: “…Synthetic biology -- 4.2.3. Enhancement -- 4.3. The pragmatic character of definitions1 -- 4.4. …”

Tabla de Contenidos: “…General description -- 1.4.2. Examples -- 1.4.3. Conditioning -- 1.5. Resistive sensors -- 1.5.1. …”