Results 261 to 270 of about 54,744 (297)
Some of the next articles are maybe not open access.
Totally verified systems: Linking verified software to verified hardware
1990We describe exploratory efforts to design and verify a compiler for a formally verified microprocessor as one aspect of the eventual goal of building totally verified systems. Together with a formal proof of correctness for the microprocessor this yields a precise and rigorously established link between the semantics of the source language and the ...
openaire +1 more source
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique
2016Over the years, various formal methods have been proposed and further developed to determine the functional correctness of models of concurrent systems. Some of these have been designed for application in a model-driven development workflow, in which model transformations are used to incrementally transform initial abstract models into concrete models ...
Sander de Putter, Anton Wijs
openaire +2 more sources
Computer, 2017
A provably secure timestamping system could be achieved by combining the trustworthiness and accuracy that comes from having a set of trusted centralized timestamping authorities with the open, decentralized nature of blockchain protocols.
Angelos Stavrou, Jeffrey M. Voas
openaire +1 more source
A provably secure timestamping system could be achieved by combining the trustworthiness and accuracy that comes from having a set of trusted centralized timestamping authorities with the open, decentralized nature of blockchain protocols.
Angelos Stavrou, Jeffrey M. Voas
openaire +1 more source
Computing in Science & Engineering, 2002
At the recent Joint Mathematics Meetings held in San Diego, I ran into an old friend who told me he is now doing "post-modern" mathematics, or PMM for short. Without even being asked, he explained that PMM is the term that replaced the phrase, "I believe the following mathematical statement to be true, but I can't prove it (yet)."
openaire +1 more source
At the recent Joint Mathematics Meetings held in San Diego, I ran into an old friend who told me he is now doing "post-modern" mathematics, or PMM for short. Without even being asked, he explained that PMM is the term that replaced the phrase, "I believe the following mathematical statement to be true, but I can't prove it (yet)."
openaire +1 more source
Verifying the Verifier is the second brief in the AVAAS methodology series. It answers the oldest question in governance, who verifies the verifier, as it applies to a certification body that grades the behavior of deployed AI systems. The brief specifies the AVAAS trust stack, eight layers that make the certifier auditable by construction rather than ...
openaire +1 more source
openaire +1 more source
New England Journal of Medicine, 2005
Dr. Eric Topol asks, How can a drug that is associated with higher rates of both renal dysfunction and death than placebo — and that costs 50 times as much as standard therapies — be given to more than 600,000 patients and be promoted throughout the United States for serial outpatient use, an indication not listed on the label?
openaire +2 more sources
Dr. Eric Topol asks, How can a drug that is associated with higher rates of both renal dysfunction and death than placebo — and that costs 50 times as much as standard therapies — be given to more than 600,000 patients and be promoted throughout the United States for serial outpatient use, an indication not listed on the label?
openaire +2 more sources
Journal of Medical Ethics, 2013
I agree with Dr Eyal that the ‘trust-promotion argument for informed consent’ fails to account for common sense intuitions about informed consent.1 Appealing to ‘social trust, especially trust in caretakers and medical institutions’ cannot, by itself, justify informed consent requirements. And stipulating, in the trust-promoting argument's first clause,
openaire +2 more sources
I agree with Dr Eyal that the ‘trust-promotion argument for informed consent’ fails to account for common sense intuitions about informed consent.1 Appealing to ‘social trust, especially trust in caretakers and medical institutions’ cannot, by itself, justify informed consent requirements. And stipulating, in the trust-promoting argument's first clause,
openaire +2 more sources
Verifiable Isogeny Walks: Towards an Isogeny-Based Postquantum VDF
Lecture Notes in Computer Science, 2022Mehdi Tibouchi
exaly
On Verifying Hypotheses by Verifying Their Implicates
The American Journal of Psychology, 1954openaire +2 more sources
Collaborative Verifiable Delay Functions
Lecture Notes in Computer Science, 2021Elizabeth A Quaglia, Liam Medley
exaly