Tabla de Contenidos: “…5 Enforcing EMFOTL -- 5.1 Obligations -- 5.2 Checking Satisfaction of MFOTL Formulae Under Assumptions -- 5.3 The Enforcement Algorithm -- 5.4 Correctness -- 6 Evaluation -- 7 Related Work -- 8 Conclusion -- References -- Predictive Monitoring with Strong Trace Prefixes -- 1 Introduction -- 2 Predictive Monitoring and Trace Theory -- 3 Strong Trace Prefixes -- 3.1 Modelling Correct Reorderings with Strong Trace Prefixes -- 4 Complexity of Predictive Monitoring -- 4.1 Non-deterministic Predictive Monitoring -- 4.2 Deterministic Predictive Monitoring -- 4.3 Ensuring Well-Formedness and Soundness -- 5 Strong Reads-From Prefixes -- 6 Strong Prefixes Versus Synchronization Preservation -- 7 Experimental Evaluation -- 7.1 Enhanced Predictive Power of Strong Prefixes -- 7.2 Strong Reads-From Prefixes v/s Sync-Preservation -- 8 Related Work and Conclusions -- References -- Case Studies and Tools -- Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned -- 1 Introduction -- 1.1 Related Work -- 2 Stream-Based Monitoring -- 3 Setup -- 3.1 Monitoring Applications -- 3.2 Development Cycle for the Monitor -- 4 Abstract Integration -- 4.1 Common Interfaces -- 5 Concrete Integration of Representative Specifications -- 6 Conclusion -- References -- Testing the Migration from Analog to Software-Based Railway Interlocking Systems -- 1 Introduction -- 2 Operational Setting -- 3 Bridging the Gap Between ReRIS and SwRIS -- 3.1 Simulations Extractor -- 3.2 Working with a Partial ReRIS Model -- 3.3 Mapping a ReRIS Simulation into an Abstract SwRIS Test -- 3.4 Test Execution -- 4 Related Works -- 5 Experimental Evaluation -- 6 Conclusions -- References -- soid: A Tool for Legal Accountability for Automated Decision Making -- 1 Introduction -- 1.1 Related Work -- 2 soid Tool Architecture and Usage -- 2.1 Example #1: Decision Tree Inference…”

Tabla de Contenidos: “…Cover -- Title Page -- Copyright Page -- Contents -- About the Book -- About the Editors -- List of Contributors -- Preface -- 1 The Future of Business Management with the Power of Distributed Systems and Computing -- 1.1 Introduction -- 1.1.1 Distributed Systems in Business Management -- 1.2 Understanding Distributed Systems and Computing -- 1.2.1 Definition of Distributed Systems and Computing -- 1.2.2 Advantages for Business Management -- 1.2.3 Characteristics of Distributed Systems and Computing for Business Management -- 1.3 Applications of Distributed Systems and Computing in Business Management -- 1.3.1 Inventory Management and Supply Chain Optimization -- 1.3.2 Customer Relationship Management -- 1.3.3 Financial Management and Accounting -- 1.3.4 Data Analytics and Decision-Making -- 1.3.5 Collaboration and Communication Within and Across Organizations -- 1.4 Limitations of Distributed Systems in Business Management -- 1.4.1 Security and Privacy Concerns -- 1.4.2 Technical Issues and Maintenance -- 1.4.3 Organizational and Cultural Challenges -- 1.4.4 Legal and Regulatory Compliance -- 1.5 Future Developments and Opportunities -- 1.5.1 Potential Future Developments and their Implications for Business Management -- 1.5.2 Opportunities for Research and Innovation in the Field -- 1.6 Conclusion -- References -- 2 Applications of Optimized Distributed Systems in Healthcare -- 2.1 Introduction -- 2.2 Literature Survey -- 2.2.1 Need for Optimization of Distributed Systems -- 2.2.2 Performance Optimization of Distributed Systems -- 2.2.3 Characteristics of Optimized Distributed Systems in Healthcare -- 2.2.4 Applications of Optimized Distributed Systems in Healthcare -- 2.2.5 Technologies Being Used in Healthcare -- 2.2.5.1 Spark -- 2.2.5.2 Hadoop -- 2.3 Real Cases -- 2.4 Conclusion -- References…”

Tabla de Contenidos: “…Case Study: Personal Identifiers -- Glossary -- References -- Chapter 19: Legalities -- Section 19.1. Responsibility for the Accuracy and Legitimacy of Data -- Section 19.2. …”

Tabla de Contenidos: “…8.2 The Seven Components of the Perfect Pitch -- 8.2.1 Be Concise -- 8.2.2 Be Clear -- 8.2.3 Be Specific and Transparent -- 8.2.4 Have a Dynamic and Impactful Attitude that Resonates with People -- 8.2.5 Pay Attention to Your Speed -- 8.2.6 When Writing Your Presentation, Follow the "7 S" Theory -- 8.2.7 Sell Yourself and the Future Performance of Your Business -- 8.3 Closing Words -- 9 Identifying the Right Person to Pitch To -- 9.1 A Few Basics About VCs that You Have to Know -- 9.2 The Basics of the Venture Capital Fund -- 9.3 Steps to Identify the Right Investor for Your Start-Up -- 9.3.1 Step 1 - Identify the Right Investment Fund -- 9.3.2 Step 2 - Identify the Right Level when Making Contact -- 9.3.3 Step 3 - Identify the Right Individual within the Fund -- 9.4 Talking to the Wrong Investor -- 9.5 Closing Words -- 10 The Venture Capitalist's Rulebook to Investing -- 10.1 Preparing for the Venture Selection Process -- 10.1.1 Fundraising Operation - Indicative Deadlines -- 10.2 The Deal Flow - Step by Step -- 10.2.1 Stage 1: Deal Sourcing -- 10.2.2 Stage 2: Deal Screening -- 10.2.3 Stage 3: Partner Review -- 10.2.4 Stage 4: Due Diligence -- 10.2.5 Stage 5: Investment Committee -- 10.2.6 Stage 6: Deploy Capital -- 10.3 Due Diligence: How to Judge the Situation of a Company -- 10.4 Negotiations -- 10.4.1 Financial Negotiations -- 10.4.2 Legal Negotiations -- 10.5 What You Need to Know about the Shareholder Agreement -- 10.5.1 The Clauses of the Shareholder Agreement and Their Issues -- 10.6 Questions and Answers (Q&amp -- A) during Exchanges with Investors -- 11 The Art of Negotiating with VCs -- 11.1 Seven Principles for Effective Negotiations -- 11.1.1 Create a Relationship of Trust between Both Parties -- 11.1.2 Know Well What You Want to Negotiate -- 11.1.3 Treat Your Opposite Party the Way You Would Like to Be Treated…”

Acceso restringido usuarios UPSA

Acceso restringido usuarios UPSA

>Texto completo en Biblioteca Virtual Tirant

Acceso restringido usuarios UPSA

Acceso restringido con credenciales UPSA