Results 281 to 290 of about 2,767,476 (321)

Consistency Checking of Compliance Rules

2010
Compliance checking of business process models against regulation is inevitable. Due to various sources of compliance requirements, a conflict of interest of such requirements is very likely. Thus, it is crucial to analyze the relation between compliance rules to discover any possible conflicts before even checking such rules against process models ...
Ahmed Awad 0001, Matthias Weidlich 0001, Mathias Weske   +2 more
openaire   +1 more source

Equivalence checking: a rule-based approach

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings., 2006
A well-known problem in the design of embedded systems is checking for equivalence of two systems, and the traditional approach constructs and proves equivalence of finite state models of the two systems. Although widely and successfully used, the main problem is state space explosion, and other forms of higher-level analysis are also needed typically.
Masahiro Fujita, Subash Shankar, Sasaki Shunsuke   +2 more
openaire   +1 more source

Model Checking with Graphical Validation Rules

15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008), 2008
The assurance of quality and reliability of process models and workflows is essential for model driven software development. There are numerous ways to achieve these objectives. One is model checking, through which it can be verified that a model satisfies specific logical rules. The model to be checked is usually given as a finite state machine. Rules
Sven Feja, Daniel Fötsch
openaire   +1 more source

Semantisation of rules for automated compliance checking. [PDF]

, 2023
The Architecture, Engineering, and Construction (AEC) industry is subject to numerous regulations and standards that govern the design, construction, and maintenance of buildings and infrastructure. These regulations often involve complex language and technical jargon, which can be difficult to understand and apply in practice.
Vakaj, Edlira, Lefrançois, Maxime, Dridi, Amna, Beach, Thomas, Gaber, Mohamed, Jutglar, Gonçal Costa, Tan, He   +6 more
openaire   +1 more source

Requirements for computational rule checking of requests for proposals (RFPs) for building designs in South Korea

Advanced Engineering Informatics, 2015
Ghang Lee, Jin-Kook Lee
exaly   +2 more sources

Security Rule Check

2017
A major challenge with designing secure integrated circuits (ICs) is the diversity of existing and emerging attacks, attack goals, and potential countermeasures. While security concerns in digital hardware design have become well known in the recent years, a framework for comprehensive vulnerability analysis at design stage of hardware development is ...
Adib Nahiyan, Kan Xiao, Domenic Forte, Mark Tehranipoor   +3 more
openaire   +1 more source

Defining ATPG rules checking in STIL

Proceedings International Test Conference 1998 (IEEE Cat. No.98CH36270), 2002
Developed for pattern interchange from test-generation output to tester input, the standard test interface language (STIL) was recently shown to support general test-generation input constructs. This paper shows how scan-test rules-checking can be driven by a single STIL input file.
Peter Wohl, John A. Waicukauski
openaire   +1 more source

New rules keep EMTALA in check

Nursing Management (Springhouse), 2003
Recently proposed rules on the interpretation of EMTALA maintain the law's intention while protecting staff by limiting its ever-increasing application.
openaire   +2 more sources

Model Checking Simulation Rules for Linearizability

2016
Linearizability is the standard notion of correctness for concurrent objects. A number of approaches have been developed for proving linearizability along with associated tool support. In this paper, we extend the tool support for an existing simulation-based method.
openaire   +2 more sources

Modularity in P Colonies with Checking Rules

2012
P colony, which was introduced in [9], is an abstract computing device composed of independent agents, acting and evolving in a shared environment. In this paper we bring a new view to investigation of the behavior of the P colonies. The first part of the paper focuses on the modularity of the P colonies with checking rules.
Ludek Cienciala, Lucie Ciencialová, Miroslav Langer   +2 more
openaire   +1 more source