Search Results - "divine will"

  1. 601
  2. 602
  3. 603
  4. 604
  5. 605
  6. 606
  7. 607

    Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

    Published 2019
    Table of Contents: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution).…”
    Link to Metadata
    Electronic eBook
  8. 608

    Ethics in Law Enforcement by McCartney, Steve, Parent, Rick

    Published 2015
    Table of Contents: “…Chapter 1: Ethical Behaviour -- 1.1 The Importance of Ethical Behaviour -- 1.2 Ethics and the Pursuit of a Law Enforcement Career -- 1.3 As Employees in Law Enforcement Agencies -- Chapter 2: Ethical Systems -- 2.1 Major Ethical Systems -- 2.2 Utilitarian Ethics -- 2.3 Deontology -- 2.4 Virtue Ethics -- 2.5 Ethics of Care -- 2.6 Egoism -- 2.7 Religion or Divine Command Theory -- 2.8 Natural Law -- 2.9 Social Contract Theory -- 2.10 Rawls' Theory of Justice -- 2.11 Moral Relativism -- Chapter 3: Ethical Dilemmas and the Process of Effective Resolution -- 3.1 Ethical Dilemmas -- 3.2 Values -- 3.3 Solving Ethical Dilemmas -- Chapter 4: Key Ethical Issues within Law Enforcement -- 4.1 Ethical Issues -- 4.2 The Ethics of Power and Authority -- 4.3 The Milgram Experiment -- 4.4 Person, Gender, and Cultural Differences in Conformity -- 4.5 Ethical Issues during an Investigation -- 4.6 Gratuities -- Chapter 5: Accountability and Investigation -- 5.1 Autonomy and Accountability -- 5.2 British Columbia's Police Act -- 5.3 The Royal Canadian Mounted Police Act -- 5.4 Investigation Models -- 5.5 Independent Investigations Office -- Chapter 6: Policing -- 6.1 Noble Cause Corruption -- 6.2 Policing Public Demonstrations and Crowd Control -- 6.3 Sex Offender Notification Laws -- 6.4 Ethics of Private Policing -- Chapter 7: Discretion, Supervision, and Leadership -- 7.1 The Ethics Surrounding Discretion -- 7.2 Discretion and Supervision -- 7.3 Selective Enforcement -- 7.4 Loyalty -- 7.5 Ethical Leadership -- 7.6 Transactional and Transformational Leadership -- Chapter 8: The Culture of Law Enforcement -- 8.1 Police Subculture -- 8.2 Socialization of Police -- 8.3 Skepticism and Cynicism -- 8.4 Moral Culpability versus Legal Culpability…”
    Access online version
    Electronic eBook
  9. 609
  10. 610
  11. 611
  12. 612
  13. 613
  14. 614
  15. 615
  16. 616
  17. 617
  18. 618
  19. 619
  20. 620