The authors have developed a novel methodology for utilising open standards for the reporting and correction of IFC … employs the open standard BIM Collaboration Format (BCF) in the communication and correction of issues to resolve to match the …

Most of matching or verification phases of fingerprint systems use minutiae types and orientation angle to find matched …. The authors are then interested in a fingerprint matching method using contactless images for fingerprint verification … fingerprint images. The verification accuracy is found to be acceptable and the experimental results are promising. …

-UML suffers from lack of formal semantics due to its semi-formal nature which penalize the verification of correct behavior of the … modeled systems. This paper provides a graphical yet formal approach for the modeling, simulation and verification of mobile … either execu-tion through simulation by flowgraphs or verification through model checking, using existing tools (e.g. the …

Hierarchical WF-nets (HWN) in order to formally check the “soundness” property on IOWF process models. For that, their verification …) transformation from BPEL to WF-nets (resp. HWN) models using mapping and transformation rules and (iii) verification of the … their verification method, the authors developed a “WF-Checking” tool which allows the implementation and testing of the …

threshold. The challenge is that the design of proofs and verification objects has to be customized for different data mining … algorithms. Intended method will implement a basic idea of completeness verification and authentication approach in which the …

weakness, this study evaluated the usability and viability of alternative ballot verification methods in an electronic voting … medium. Three verification methods were tested: end-of-ballot, in-line confirmation, and dual confirmation. In-line and dual …