Search Results - "contract"

Refine Results
  1. 2001

    Silicon Valley Cybersecurity Conference Third Conference, SVCC 2022, Virtual Event, August 17-19, 2022, Revised Selected Papers /

    Published 2022
    Table of Contents: “…Malware Analysis -- Robustness of Image-Based Malware Analysis -- Word Embeddings for Fake Malware Generation -- Twitter bots detection with Benford's Law and Machine Learning -- Blockchain and Smart Contracts -- A Blockchain-based Retribution Mechanism for Collaborative Intrusion Detection -- Smart Contracts in the Cloud -- A Blockchain-based Tamper-resistant Logging Framework -- Remote Device Assessment -- Impact of Location Spoofing Attacks on Performance Prediction in Mobile Networks -- Deep IoT Monitoring: Filtering IoT Traffic Using Deep Learning.…”
    Link to Metadata
    Electronic eBook
  2. 2002
  3. 2003

    Transformation and Development Studies in the Organization for Security and Cooperation in Europe (OSCE) Member States /

    Published 2020
    Table of Contents: “…Introduction -- Values and Transformation in Central Asia -- Civil Society as a Phenomenon of Post-Soviet Political Life: A Threat or a Guarantor of National Security -- Security Risk Analysis Perspectives on Central Asia Dynamics -- China's Development Objectives and its Belt and Road Initiative in the OSCE Region -- OSCE and Civil Society in the Western Balkans: The Road to Reconciliation -- The Central Asia in Transition: Social Contract Transformation in Nazarbayev and Post Nazarbayev Kazakhstan -- The Interplay Between 'Formal' and 'Informal' in Conflict Prevention, Mediation and Community Security Provision in Kyrgyzstan -- What Happened to the Foundations of Eurasian Health Governance? …”
    Link to Metadata
    Electronic eBook
  4. 2004

    Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

    Published 2021
    Table of Contents: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
    Link to Metadata
    Electronic eBook
  5. 2005

    Fundamentals of Infrastructure Management by Coffelt, Donald, Hendrickson, Chris

    Published 2019
    Table of Contents: “…Chapter 1: Introduction to Infrastructure -- Chapter 2: Asset Management Process -- Chapter 3: Inventory, Inspection and Condition Assessment -- Chapter 4: Deterioration Modeling -- Chapter 5: Optimization and Decision Making -- Chapter 6: Performance, Usage, Budget and Cost Functions -- Chapter 7: Interdependence, Resiliency and Security -- Chapter 8: Contract and Workflow Management -- Chapter 9: Commissioning New Facilities -- Chapter 10: Benchmarking and Best Practices -- Chapter 11: Roadway Infrastructure -- Chapter 12: Building Infrastructure -- Chapter 13: Water Infrastructure -- Chapter 14: Telecommunications Infrastructure -- Chapter 15: Electricity Power Generation, Transmission and Distribution Infrastructure -- Chapter 16: Bases, Campuses, Parks and Port Infrastructure --…”
    Access online version
    Electronic eBook
  6. 2006

    Philosophical Ethics by Matthews, George W.

    Published 2020
    Table of Contents: “…I Some Preliminaries -- 1 The Examined Life -- 2 A Little Bit of Logic -- 3 Fallacies and Biases -- II Ethics Culture and Religion -- 4 Relativism -- 5 Religion and Ethics -- III Reconstructing Norms -- 6 Egoism -- 7 Social Contract Theory -- 8 Utilitarianism -- 9 Kant and the ethics of duty -- IV Applied Ethics -- 10 Theory in Practice -- 11 Euthanasia -- 12 Liberty and its Limits -- 13 Crime and Punishment -- 14 Animals and Ethics -- 15 Ethics and the Environment…”
    Access online version
    Electronic eBook
  7. 2007
  8. 2008
  9. 2009
  10. 2010
  11. 2011
  12. 2012
  13. 2013
  14. 2014
  15. 2015
  16. 2016
  17. 2017
  18. 2018
  19. 2019
  20. 2020