Results 321 to 330 of about 2,784,953 (338)

Correction

Nursing Standard, 1993
The clinical news item (Pre-admission plan to save patients' time, November 17) stated the initiative was being conducted at St Thomas' hospital in London.
openaire   +2 more sources

Correction: Correction

Environmental Science & Technology, 1996
openaire   +4 more sources

Correction: Correction

Environmental Science & Technology, 1999
openaire   +4 more sources

The Dataflow Model: A Practical Approach to Balancing Correctness, Latency, and Cost in Massive-Scale, Unbounded, Out-of-Order Data Processing

Proceedings of the VLDB Endowment, 2015
Tyler Akidau, Robert W. Bradshaw, C. Chambers, Slava Chernyak, Rafael Fernández-Moctezuma, Reuven Lax, Sam McVeety, Daniel Mills, Frances Perry, Eric Schmidt, Sam Whittle   +10 more
semanticscholar   +1 more source

Correctness

International Journal of Scientific Research and Management
Nripesh Trivedi
semanticscholar   +1 more source

Dafny: An Automatic Program Verifier for Functional Correctness

Logic Programming and Automated Reasoning, 2010
K. Leino
semanticscholar   +1 more source

Correction: Correction

Environmental Science & Technology, 2000
openaire   +2 more sources

Political Correctness.

R.I. medical journal, 2017

semanticscholar   +1 more source

Correction: Correction

Environmental Science & Technology, 1998
openaire   +2 more sources

Tool Support for Correctness-by-Construction

Fundamental Approaches to Software Engineering, 2019
Tobias Runge, Ina Schaefer, L. Cleophas, Thomas Thüm, D. Kourie, B. Watson   +5 more
semanticscholar   +1 more source