Results 71 to 80 of about 2,493,519 (340)

Correctness debugging of message passing programs using model verification techniques

, 2007
During the correctness debugging of non-deterministic message-passing programs the software engineers must face the probe effect, the irreproducibility, the completeness problem, and also the large state-space to be discovered. This work attempts to over-
Lovas, R., Kacsuk, P.
core   +1 more source

Correctness-preserving configuration of business process models [PDF]

, 2008
Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the requirements of specific organizations or projects, leading to individualized process
Arthur H. M. ter Hofstede, Mendling, Jan, ter Hofstede, Arthur H.M., Gottschalk, F., Dumas, M., Fiadeiro, J., Dumas, Marlon, Wil M. P. van der Aalst, Hofstede, ter, A.H.M., Hofstede, AHM Arthur ter, Mendling, J, Marcello La Rosa, Aalst, WMP Wil van der, La Rosa, Marcello, Aalst, van der, W.M.P., La Rosa, M., Mendling, J., Inverardi, P., Marlon Dumas, Florian Gottschalk, Gottschalk, Florian, Gottschalk, F Florian, Rosa, Marcello La, van der Aalst, Wil M.P., Jan Mendling   +24 more
core   +1 more source

Prognosis of Long‐Term Continuous Renal Replacement Therapy and the Impact of Combined Continuous Intravenous Sodium Infusion Therapy

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Patients requiring long‐term continuous renal replacement therapy (CRRT) generally have poor prognoses. This study evaluated whether adding continuous intravenous sodium infusion (cIVNa) is associated with improved hemodynamics and outcomes in patients undergoing long‐term CRRT for ≥ 7 days.
Akinori Yamaguchi, Atsuyoshi Mita, Kosuke Sonoda, Makoto Harada, Koji Hashimoto, Hiroshi Imamura, Yuji Kamijo   +6 more
wiley   +1 more source

Political correctness and linguistic creativity in the job market. How much do they (mis) inform?

Revista Internacional de Organizaciones, 2020
The article examines how political correctness (PC) affects work-related lexis. A particular focus is put on English bizspeak that aims to fulfil PC demands by using creative vocabulary and euphemisms to motivate employees, stimulate their creativity ...
Ilona Delekta
doaj   +1 more source

Terminology of mathematics: conventionality and correctness

Lietuvos Matematikos Rinkinys, 2003
The conventionality and correctness of the terminology of mathematics in textbooks are diss­cused. The concepts of the solution of equation, of the graph of a function, of the elementary event and other are analyzed.
Eugenijus Stankus
doaj   +3 more sources

VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs

Journal of automated reasoning, 2018
The Verified Software Toolchain builds foundational machine-checked proofs of the functional correctness of C programs. Its program logic, Verifiable C, is a shallowly embedded higher-order separation Hoare logic which is proved sound in Coq with respect
Qinxiang Cao, Lennart Beringer, Samuel Gruetter, J. Dodds, A. Appel   +4 more
semanticscholar   +1 more source

Spatiotemporal and quantitative analyses of phosphoinositides – fluorescent probe—and mass spectrometry‐based approaches

FEBS Letters, EarlyView.
Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho, Shin Morioka, Junko Sasaki, Takehiko Sasaki   +3 more
wiley   +1 more source

Resolution methods in proving the program correctness [PDF]

Yugoslav Journal of Operations Research, 2007
Program testing determines whether its behavior matches the specification, and also how it behaves in different exploitation conditions. Proving of program correctness is reduced to finding a proof for assertion that given sequence of formulas represents
Markoski Branko, Hotomski Petar, Malbaški Dušan, Obradović Danilo   +3 more
doaj   +1 more source

The next 700 compiler correctness theorems (functional pearl)

Proc. ACM Program. Lang., 2019
Compiler correctness is an old problem, with results stretching back beyond the last half-century. Founding the field, John McCarthy and James Painter set out to build a "completely trustworthy compiler". And yet, until quite recently, even despite truly
Daniel Patterson, Amal J. Ahmed
semanticscholar   +1 more source

Phosphatidylinositol 4‐kinase as a target of pathogens—friend or foe?

FEBS Letters, EarlyView.
This graphical summary illustrates the roles of phosphatidylinositol 4‐kinases (PI4Ks). PI4Ks regulate key cellular processes and can be hijacked by pathogens, such as viruses, bacteria and parasites, to support their intracellular replication. Their dual role as essential host enzymes and pathogen cofactors makes them promising drug targets.
Ana C. Mendes, Guilherme M. Azevedo, Amanda P. Barcellos, Diana Bahia   +3 more
wiley   +1 more source