We are improving our search experience. To check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.
Filters applied:

Search Results

Showing 21-40 of 10,000 results
  1. Prioritization and parallel execution of test cases for certification testing of embedded systems

    Testing for certification of embedded systems is common in consumer electronics domain. Application vendors provide test suites that have to be...

    Şahin Dirim, Okan Örsan Özener, Hasan Sözer in Software Quality Journal
    Article 22 July 2022
  2. Towards Scenario-Based Certification of Highly Automated Railway Systems

    In the future, fully automated trains can play a vital role in improving performance of the railway system. Although technologies exist that make...
    Conference paper 2023
  3. The Hardness of Local Certification of Finite-State Dynamics

    Finite-State Dynamics (FSD) is one of the simplest and constrained distributed systems. An FSD is defined by an n-node network, with each node...
    Diego Maldonado, Pedro Montealegre, Martín Ríos-Wilson in LATIN 2024: Theoretical Informatics
    Conference paper 2024
  4. A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry

    The analysis of real software defects data not only helps to identify problems in a project, company, or industry but also enables continuous...
    Fuqun Huang, Bing Huang, ... Yichen Wang in Computer Safety, Reliability, and Security
    Conference paper 2023
  5. Microsoft Azure AI Fundamentals Certification Companion Guide to Prepare for the AI-900 Exam

    Prepare for the Azure AI Fundamentals certification examination. This book covers the basics of implementing various Azure AI services in your...
    Book 2023
  6. Governance for Digital Humanism: The Role of Regulation, Standardization, and Certification

    Assuring that digital systems and services operate in accordance with agreed norms and principles is essential to foster trust and facilitate their...
    Clara Neppel, Patricia Shaw in Introduction to Digital Humanism
    Chapter Open access 2024
  7. Translation Certification for Smart Contracts

    Compiler correctness is an old problem, but with the emergence of smart contracts on blockchains that problem presents itself in a new light. Smart...
    Jacco O. G. Krijnen, Manuel M. T. Chakravarty, ... Wouter Swierstra in Functional and Logic Programming
    Conference paper 2022
  8. Cybersecurity certification of Artificial Intelligence: a missed opportunity to coordinate between the Artificial Intelligence Act and the Cybersecurity Act

    In April 2021, the Commission published a draft proposal for a regulation on artificial intelligence (AI) systems aimed at striking a balance between...

    Article 05 January 2022
  9. Lower Bound for Constant-Size Local Certification

    Given a network property or a data structure, a local certification is a labeling that allows to efficiently check that the property is satisfied, or...
    Virgina Ardévol Martínez, Marco Caoduro, ... Jean-Florent Raymond in Stabilization, Safety, and Security of Distributed Systems
    Conference paper 2022
  10. A Meta-Theorem for Distributed Certification

    Distributed certification, whether it be proof-labeling schemes, locally checkable proofs, etc., deals with the issue of certifying the legality of a...
    Pierre Fraigniaud, Pedro Montealegre, ... Ioan Todinca in Structural Information and Communication Complexity
    Conference paper 2022
  11. Never Trust Your Solver: Certification for SAT and QBF

    Many problems for formal verification and artificial intelligence rely on advanced reasoning technologies in the background, often in the form of SAT...
    Conference paper 2023
  12. Castle Guard Certification

    Before we can begin to discuss security, we really have to define some key terms and concepts. You do not have to memorize this stuff, and it’s okay...
    Chapter 2023
  13. European Cybersecurity Certification Schemes and cybersecurity in the EU internal market

    The principal question addressed by this paper is: how adequate are the minimum security objectives of the European Union Cybersecurity Act...

    Donald David Stewart Ferguson in International Cybersecurity Law Review
    Article Open access 28 January 2022
  14. MOOCs Paid Certification Prediction Using Students Discussion Forums

    Massive Open Online Courses (MOOCs) have been suffering a very level of low course certification (less than 1% of the total number of enrolled...
    Conference paper 2022
  15. Google Cloud Platform (GCP) Professional Cloud Security Engineer Certification Companion Learn and Apply Security Design Concepts to Ace the Exam

    Written in a simple and developer-focused style, this book gives you the tools and knowledge you need to ace the GCP Professional Cloud Security...

    Book 2024
  16. Snowflake SnowPro™ Advanced Architect Certification Companion Hands-on Preparation and Practice

    Master the intricacies of Snowflake and prepare for the SnowPro Advanced Architect Certification exam with this comprehensive study companion. This...
    Book 2023
  17. Fairness Score and process standardization: framework for fairness certification in artificial intelligence systems

    Decisions made by various artificial intelligence (AI) systems greatly influence our day-to-day lives. With the increasing use of AI systems, it...

    Avinash Agarwal, Harsh Agarwal, Nihaarika Agarwal in AI and Ethics
    Article 07 March 2022
  18. Certification & Accreditation

    The Federal government and the defense establishments have used the method of Certification and Accreditation with great success to assess and manage...
    Chapter 2021
  19. Google Cloud Platform (GCP) Professional Cloud Network Engineer Certification Companion Learn and Apply Network Design Concepts to Prepare for the Exam

    While many guides exist to help software engineers learn cloud networking design and architecture concepts, and even prepare for cloud network...

    Book 2023
Did you find what you were looking for? Share feedback.