Results 161 to 170 of about 163,944 (210)
Some of the next articles are maybe not open access.
Verification of cryptographic protocols: An experiment
1997The objective of this paper is to present the verification of some confidentiality features of the SESAME protocol, an extension of Kerberos. We do that by using the formal approach presented in [7]. This approach is based on the use of state-based general purpose formal methods.
Marc Mehdi Ayadi, Dominique Bolignano
openaire +1 more source
Experiences in the Formalisation and Verification of Medical Protocols
2003Medical practice protocols or guidelines are statements to assist practitioners and patient decisions about appropriate health care for specific circumstances. In order to reach their potential benefits, protocols must fulfill strong quality requirements.
Mar Marcos +4 more
openaire +3 more sources
Image-based face verification and experiments
Neural Computing and Applications, 2012In this paper, we propose a novel image-based identity verification method. This method first uses the training images of the claimed identity to represent the testing sample and then exploits the representation result to determine the verification result, that is, accept or reject. The proposed method not only has sound theoretical foundation but also
Qi Zhu 0001, Chengli Sun
openaire +1 more source
Verification of Proficiency: A Prerequisite for Clinical Experience
Surgical Clinics of North America, 2010Several factors, including reduced resident work hours and concerns for patient safety, have led to the introduction of dedicated skills laboratories and a more widespread belief in the value of time spent in skills training. The American College of Surgeons and the Association of Program Directors in Surgery established a three-phase skills curriculum
Hilary, Sanfey, Gary, Dunnington
openaire +2 more sources
Experience of improving the blast static verification tool
Programming and Computer Software, 2012zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pavel Shved +2 more
openaire +2 more sources
Experiments in program verification using Event-B
Formal Aspects of Computing, 2012Abstract The Event-B method can be used to model all sorts of discrete event systems, among them sequential programs. In this article we describe our experiences with using Event-B by way of two examples. We present a simple model of a factorial program, explaining the method, and a more intricate model of the Quicksort algorithm, providing ...
Hallerstede, Stefan, Leuschel, Michael
openaire +2 more sources
On Automation in the Verification of Software Barriers: Experience Report
Journal of Automated Reasoning, 2013zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alexander Malkis, Anindya Banerjee 0001
openaire +2 more sources
Experiences in Applying Formal Verification in Robotics
2010Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with designing, implementing and certifying a safety function for autonomous vehicles and robots.
Dennis Walter +2 more
openaire +1 more source
Improving the experience of death verification in the community
Education for Primary Care, 2018The West Hampshire Clinical Commissioning Group (WHCCG) area has a significantly older population profile compared to the average for England with a higher life expectancy.
openaire +2 more sources
An Experiment in Type Inference and Verification by Abstract Interpretation
2002This paper describes an experiment in the definition of tools for type inference and type verification of ML-like functional languages, using abstract interpretation techniques. We first show that by extending the Damas-Milner type inference algorithm, with a (bounded) fixpoint computation (as suggested by the abstract interpretation view, i.e.
GORI, ROBERTA, LEVI, GIORGIO
openaire +2 more sources