Certification

View this topic in
Certification refers to the confirmation of certain characteristics of an object, person, or organization. (Wikipedia.org)






Conferences related to Certification

Back to Top

2018 13th Annual Conference on System of Systems Engineering (SoSE)

SoSE is the main conference on Systems of Systems, defined as complex systems created by the systematic and dynamic assembly of various interacting sub-systems. The 2018 conference theme is “Systems of systems Management and Control: Frontiers between cyber, physical, and social systems”.

  • 2017 12th System of Systems Engineering Conference (SoSE)

    Internet of Things as System of Systems

  • 2016 11th System of Systems Engineering Conference (SoSE)

    IEEE System, Man, and Cybernetics Society and IEEE Reliability Society announce the Eleventhth International Conference on System of Systems Engineering (SoSE) with its vast ramifications in numerous engineering fields such as control, computing, communication, information technology and in applications such manufacturing, defense, national security, aerospace, maritime, energy, environment, healthcare, and transportation. The conference theme is "SoSE and Cyber Physical Systems (CPS), from academia to application and back" We welcome papers on theories, methodologies, and applications of SoSE and CPS in science, technology, industry, and education. Particularly those that deal with the interaction between research institutes, industry, funding and policy makers. What can we do to stimulate both knowledge creation and economic value? Papers should be five to six pages in length, in standard two-column IEEE Conference Proceedings format.

  • 2015 10th System of Systems Engineering Conference (SoSE)

    IEEE System, Man, and Cybernetics Society and IEEE Reliability Society announce the Sixth International Conference on System of Systems Engineering (SoSE) with its vast ramifications in numerous engineering fields such as control, computing, communication, information technology and in applications such manufacturing, defense, national security, aerospace, aeronautics, energy, environment, healthcare, and transportation. The conference theme is “SoSE Controls, Modeling, and Simulation” three areas of significant investment within the public and private sectors as well as being significant initiatives areas of IEEE. Papers on theories, methodologies, and applications of System of Systems Engineering in science, technology, industry, and education are welcome.

  • 2014 9th International Conference on System of Systems Engineering (SOSE)

    Sociotechnical Aspects of SoSE; The Nexus between Complex Systems Concepts and SoSE; SoSE Application Domains and Case Studies; Open Cloud Computing; SoSE Approaches, Tools, Methods and Processes; SoSE modelling, simulation & and analysis; Entrepreneurship.

  • 2013 8th International Conference on System of Systems Engineering (SoSE)

    IEEE System, Man, and Cybernetics Society and IEEE Reliability Society announce the 8th International Conference on System of Systems Engineering (SoSE) with its vast ramifications in numerous engineering fields such as control, computing, communication, information technology and in applications such manufacturing, defense, national security, aerospace, aeronautics, energy, environment, healthcare, and transportation. The conference theme is

  • 2012 7th International Conference on System of Systems Engineering (SoSE)

    The conference theme is SoSE in cooperative and competitive distributed decision making in complex dynamic systems , focusing on SoSE control and simulation methodologies to support decisions in different application fields, among others transport, energy, industrial and environmental risk management. Papers on theories, methodologies, and applications of System of Systems Engineering in science, technology, industry, and education are welcome.

  • 2011 6th International Conference on System of Systems Engineering (SoSE)

    the Sixth International Conference on System of Systems Engineering (SoSE) with its vast ramifications in numerous engineering fields such as control, computing, communication, information technology and in applications such manufacturing, defense, national security, aerospace, aeronautics, energy, environment, healthcare, and transportation. The conference theme is SoSE in Cloud Computing, Smart Grid, and Cyber Security, three areas of significant investment within the public and private sectors as well

  • 2010 5th International Conference on System of Systems Engineering (SoSE)

    The 5th International Conference on System of Systems Engineering (SoSE) covers engineering fields such as control, computing, communication, information technology and the applications to manufacturing, defense, national and homeland security, aerospace, aeronautics, energy, environment, transport.

  • 2009 IEEE International Conference on System of Systems Engineering (SoSE)

    SYSTEM OF SYSTEMS, ARCHITECHTURE, MODLEING, SIMULATION, EMERGENCE, ENGINEERING, CONTROL, APPLICATION IN DEFENSE, ENERGY, SECURITY, SPACE, AERONAUTICS, MANUFACTURING, EARTH OBSERVATION, WATER RESOURCES, ETC.

  • 2008 IEEE International Conference on System of Systems Engineering (SoSE)

    Various concepts and fundamental theories and applications of system of systems and SoS Engineering will be discussed in this meeting. This is the 3rd of its sereis.

  • 2007 IEEE International Conference on System of Systems Engineering (SoSE)

  • 2006 IEEE/SMC International Conference on System of Systems Engineering (SoSE)


2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE)

The conference aims at bringing together researchers and practitioners in the world working on trusted computing and communications, with regard to trust, security, privacy, reliability, dependability, survivability, availability, and fault tolerance aspects of computer systems and networks, and providing a forum to present and discuss emerging ideas and trends in this highly challenging research field


2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

  • 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

  • 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include:automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantic

  • 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, theory of automatic structures, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security, rewriting, type systems and type theory, and verification.

  • 2014 29th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, theory of automatic structures, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security, rewriting, type systems and type theory, and verification.

  • 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.

  • 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.

  • 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2009 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.

  • 2007 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)

  • 2006 21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006)

  • 2005 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005)


2018 IEEE 25th Symposium on Computer Arithmetic (ARITH)

All aspects of computer arithmetic including algorithms, hardware designs, software implementations, number systems, and arithmetic in emerging technologies and applications.


2018 IEEE Aerospace Conference

The international IEEE Aerospace Conference is organized to promote interdisciplinaryunderstanding of aerospace systems, their underlying science, and technology


More Conferences

Periodicals related to Certification

Back to Top

Aerospace and Electronic Systems Magazine, IEEE

The IEEE Aerospace and Electronic Systems Magazine publishes articles concerned with the various aspects of systems for space, air, ocean, or ground environments.


Antennas and Wireless Propagation Letters, IEEE

IEEE Antennas and Wireless Propagation Letters (AWP Letters) will be devoted to the rapid electronic publication of short manuscripts in the technical areas of Antennas and Wireless Propagation.


Communications Magazine, IEEE

IEEE Communications Magazine was the number three most-cited journal in telecommunications and the number eighteen cited journal in electrical and electronics engineering in 2004, according to the annual Journal Citation Report (2004 edition) published by the Institute for Scientific Information. Read more at http://www.ieee.org/products/citations.html. This magazine covers all areas of communications such as lightwave telecommunications, high-speed data communications, personal communications ...


Computer

Computer, the flagship publication of the IEEE Computer Society, publishes peer-reviewed technical content that covers all aspects of computer science, computer engineering, technology, and applications. Computer is a resource that practitioners, researchers, and managers can rely on to provide timely information about current research developments, trends, best practices, and changes in the profession.


Computer Graphics and Applications, IEEE

IEEE Computer Graphics and Applications (CG&A) bridges the theory and practice of computer graphics. From specific algorithms to full system implementations, CG&A offers a strong combination of peer-reviewed feature articles and refereed departments, including news and product announcements. Special Applications sidebars relate research stories to commercial development. Cover stories focus on creative applications of the technology by an artist or ...


More Periodicals

Most published Xplore authors for Certification

Back to Top

Xplore Articles related to Certification

Back to Top

Application of selected EMC standards by the SEPA (Smart Electric Power Alliance) EM Interoperability Issues Working Group (EMIIWG) and its Association with the SEPA Testing and Certification Committee (TCC)

[{u'author_order': 1, u'affiliation': u'Vice chair, SEPA Testing and Certification Committee, Chair, SEPA Electromagnetic Interoperability Issues Working Group (EMIIWG), U. S. Smart Electric Power Alliance (SEPA)', u'full_name': u'Don Heirman'}] 2018 IEEE Symposium on Electromagnetic Compatibility, Signal Integrity and Power Integrity (EMC, SI & PI), None

This article consists only of a collection of slides from the author's conference presentation.


Formalization and Certification of Software for Smart Cities

[{u'author_order': 1, u'affiliation': u'Instituto de Computação, Universidade Federal Fluminense, Niterói, Brazil', u'full_name': u'Erick Simas Grilo'}, {u'author_order': 2, u'affiliation': u'Instituto de Computação, Universidade Federal Fluminense, Niterói, Brazil', u'full_name': u'Bruno Lopes'}] 2018 International Joint Conference on Neural Networks (IJCNN), None

The amount of available urban data has been increasing over the last years which leaded to new research challenges on Smart Cities domain. Verifying and certifying systems in this domain is one of the challenges that still require some effort. Smart Cities models may be seen as Cyber-Physical Systems and they may be formalized as Finite State machines. Logic-based systems ...


Closing Gaps for Aircraft Attitude Higher Order Sliding Mode Control Certification via Practical Stability Margins Identification

[{u'author_order': 1, u'affiliation': u'Department of Electrical and Computer Engineering, The University of Alabama in Huntsville, Huntsville, AL, USA', u'full_name': u'Chandrasekhara Bharath Panathula'}, {u'author_order': 2, u'affiliation': u'Tecnologico de Monterrey, Campus Ciudad de Mexico, Mexico City, Mexico', u'full_name': u'Antonio Rosales'}, {u'author_order': 3, u'affiliation': u'Department of Electrical and Computer Engineering, The University of Alabama in Huntsville, Huntsville, AL, USA', u'full_name': u'Yuri B. Shtessel'}, {u'author_order': 4, u'affiliation': u'Department of Control and Robotics, National Autonomous University of Mexico, Mexico City, Mexico', u'full_name': u'Leonid M. Fridman'}] IEEE Transactions on Control Systems Technology, 2018

In this paper, the conventional aircraft control system certification approach based on phase margin (PM) and gain margin (GM) is extended to higher order sliding mode (HOSM) controllers. The proposed practical stability PM (PSPM) and the practical stability GM (PSGM) are used to quantify the HOSM control system robustness to unmodeled dynamics. The tools/algorithms for the identification of PSPM and ...


Portfolio Assessment and Certification: Three Cases in Academic Program Administration

[{u'author_order': 1, u'affiliation': u'Missouri Univ. of Sci. & Technol., Rolla, MO, USA', u'full_name': u'Kathryn Northcut'}, {u'author_order': 2, u'affiliation': u'Minnesota State Univ., Mankato, Mankato, MN, USA', u'full_name': u'Dawn Armfield'}, {u'author_order': 3, u'affiliation': u'Missouri Western State Univ., St. Joseph, MO, USA', u'full_name': u'Kaye Adkins'}] 2018 IEEE International Professional Communication Conference (ProComm), None

Technical and professional communication (TPC) are disciplines lacking universal evaluative metrics such as certification of programs, widespread certification for practitioners, and standardized testing. The locus of assessment is usually entirely within the program itself, hampering comparison and cross-pollination of ideas, but enabling local decision-making and management. Indeed, in the absence of assessment measures, good things can happen: cultural values can ...


Brook Auto: High-Level Certification-Friendly Programming for GPU-powered Automotive Systems

[{u'author_order': 1, u'affiliation': u'Universitat Politècnica, de Catalunya', u'full_name': u'Matina Maria Trompouki'}, {u'author_order': 2, u'affiliation': u'Barcelona Supercomputing Center', u'full_name': u'Leonidas Kosmidis'}] 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC), None

Modern automotive systems require increased performance to implement Advanced Driving Assistance Systems (ADAS). GPU-powered platforms are promising candidates for such computational tasks, however current low-level programming models challenge the accelerator software certification process, while they limit the hardware selection to a fraction of the available platforms. In this paper we present Brook Auto, a high-level programming language for automotive GPU ...


More Xplore Articles

Educational Resources on Certification

Back to Top

eLearning

No eLearning Articles are currently tagged "Certification"

IEEE-USA E-Books

  • Staff Skills and Knowledge – Training and Certification

    Successful team performance is based on the staff possessing adequate skills and knowledge. Accordingly, skill and knowledge requirements are discussed with every team candidate. The organization's skill and knowledge requirements may differ from specific projects. Project‐specific requirements may be included in the project contract requirements. Most organizations set education and professional training requirements for each of the software development and maintenance positions. The planning of training, retraining, and updating activities refers to the program contents, the number of participants, and the form of training. The role of the software quality assurance (SQA) function is supportive regarding the skill and knowledge required from software development staff, especially related to quality assurance topics. The successful operation of development and maintenance processes is supported in most cases by position certification of the key positions involved in performing these processes.

  • Certification

    This chapter contains sections titled: Certification Process Operating Environment Certification Waveform Assessment and Certification

  • Testing, Standards, and Certification

    This chapter contains sections titled: The Role of Standards, National Solar Mandates, Organizations: A History of Federal and Private Involvement, U.S. Standards Organization, International Organizations Involved in Standardization, Lessons Learned, Acknowledgment, References

  • Tooling Design and Certification

  • Certifying Proficiency

    Product proficiency certification programs are a great way to increase the loyalty, the quality, and the reputation of a product. In her book, _Performance‐Based Certification_, Dr Hale points out that it is typical for corporations to include a code of conduct requirement in their certification programs. This is helpful if instructor's certification grants authorization to perform certain tasks. One of the important requirements of product proficiency certification is proof of impartiality. Three major logistical efforts help instructors to remain impartial and fair. Those three are the selection process and available opportunities of the program, the administration and traceability of the program, and the deviations and exceptions of the program. Certification programs require documentation that is more extensive. The certification program document should include documentation of any policies that are specific to this program.

  • The Operation of Hands‐On Learning

    There are many operational tasks required to run a product training program that is both efficient and effective. This chapter covers a few areas that may or may not be part of the direct responsibility of the subject matter expert. Even if an expert is not accountable for the outcome of these areas, it is important that they understand how each one functions and how it affects their training, their program, and the company. The chapter also discusses a few things for instructors to make any product training program more effectively. Certification is important for instructors, executives, and many in between to understand the difference between a certificate and a certification. Learning that matters and that happens in a real environment with real and important results is more effective than any other type of learning. Just because mentoring encourages informal learning does not mean the program itself should not be organized or formalized.

  • What Is Expected Must Be Inspected

    This chapter deals with evaluating the class and assessing the individuals. In product training, there are two main types of individual assessments that instructors should consider: instructors should assess the student's overall knowledge and instructors should assess their skill level. Quizzes and exams are the most common way to assess for general knowledge. Both can be helpful to determine if students were able to process the material that instructors covered. Give students reports on their exams so that they can improve in the areas they need to, even if they scored high enough to pass the class. If instructors use a skill assessment, it is important to carefully define the skill they are assessing. Surveys and course evaluations are helpful to improve the effectiveness of product training when administered correctly. To be effective as an instructor, he/she must measures results.

  • Now, Go Do It

    Two things make a great trainer: a love for learning and a love for people. When he/she combines a love for learning with a love for people, the result is a love for seeing others learn. When that learning makes a difference, he/she has become an effective trainer. He/she needs to create a plan that will increase his/her effectiveness as a trainer and keep him/her improving. He/she also needs to define an approach develop with a strategy, design with a structure, and then go out and deliver with a purpose. He/she may use any model that helps him/her to evaluate the business goals, audience, objectives, and learning activities before creating the content. Mentoring can be a key factor in the success of a product training program. Mentoring provides an opportunity for subject matter experts to make a difference in the life and career of a new or junior employee.

  • Conformance and Acceptance Testing

    This chapter covers user equipment (UE) and evolved Node B (eNB) conformance testing. It explains the role of certification bodies such as the global certification forum (GCF) and PCS type certification review board (PTCRB) in UE certification and in network operator acceptance testing, which‐although not formally part of the conformance testing regime‐is becoming an increasingly important step for equipment vendors to take before their products are actively marketed by specific operators. The chapter also explains radio frequency (RF) conformance testing and UE signaling conformance testing. A section describes the RF conformance tests as they apply to the UE and eNB. Another section covers the formal UE signaling conformance tests.

  • Interoperability Testing

    This chapter contains sections titled: What is Interoperability Testing? Interoperability and Certification Ways in Which Interoperability Testing is Carried Out Typical Sources of Tests



Standards related to Certification

Back to Top

IEEE Recommended Practice for Distributed Interactive Simulation - Exercise Management and Feedback

This standard is part of a proposed set of standards for Distributed Interactive Simulation (DIS) applications. Each standard in the proposed set describes one or more of the several elements that constitute the DIS environment. As a whole, the set of standards will define an interoperable simulated battle environment. This particular standard addresses the exercise control and feedback stations connected ...



Jobs related to Certification

Back to Top