Results 41 to 50 of about 129,094 (257)

Formal Verification of Real-Time System Requirements [PDF]

Computer Science, 2000
The methodology of system requirements verification presented in this paper is a proposition of a practical procedure for reducing some negatives of the specification of requirements.
Marcin Szpyrka
doaj  

Early Impact of Childhood Opportunity on Neurocognitive Outcomes in Sickle Cell Disease

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction Neurocognitive impairment is a well‐recognized complication of sickle cell disease (SCD) that begins early in childhood and persists across development. While cerebrovascular injury contributes substantially to risk, neurocognitive deficits are also observed in children without overt or silent cerebral infarctions, suggesting ...
Julia E. LaMotte, Hannah Koch, Olivia A. Coughlin, Jillian R. Bouck, Allie Carter, Seethal A. Jacob   +5 more
wiley   +1 more source

Psychosocial Functioning After Pediatric Bone Sarcoma: Generic and Survivor‐Specific Outcomes in Adolescent and Young Adult Patients

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Pediatric bone sarcoma patients and survivors may experience psychosocial challenges related to childhood cancer after their intensive, body‐altering treatment. This cross‐sectional study aimed to evaluate generic and survivor‐specific psychosocial outcomes in a national cohort of pediatric bone sarcoma patients and survivors, and ...
Hinke van der Hoek, Heleen Maurice‐Stam, Laura R. Beek, Jennifer van Dijk, Marjolein E. M. Langemeijer, Relinde W. Slooff‐Lentink, Alied M. van der Aa‐van Delden, Anne Westerweel, Marloes van Gorp, Hendrik W. B. Schreuder, Lianne M. Haveman, W. Peter Bekkering, Leonie G. Tigelaar, Johannes H. M. Merks, Martha A. Grootenhuis   +14 more
wiley   +1 more source

CRYPTOGRAPHIC PROTOCOLS SPECIFICATION AND VERIFICATION TOOLS - A SURVEY

ICTACT Journal on Communication Technology, 2017
Cryptographic protocols cannot guarantee the secure operations by merely using state-of-the-art cryptographic mechanisms. Validation of such protocols is done by using formal methods. Various specialized tools have been developed for this purpose and are
Amol H Shinde, A J Umbarkar, N R Pillai
doaj   +1 more source

Simulator Semantics for System Level Formal Verification [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
Many simulation based Bounded Model Checking approaches to System Level Formal Verification (SLFV) have been devised. Typically such approaches exploit the capability of simulators to save computation time by saving and restoring the state of the system ...
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci   +4 more
doaj   +1 more source

Misperception of Body Weight After Childhood Cancer

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Misperception of body weight can negatively impact the weight management efforts of childhood cancer survivors (CCSs). Both being overweight or underweight are associated with chronic health conditions commonly observed in CCS; therefore, accurate weight perception is critical for reducing long‐term health risks.
Fabiën N. Belle, Tomáš Sláma, Eva Haegler‐Laube, Reto D. Kurmann, Gabriela M. Kuster, Christoph Saner, Eva Scheler, Yara Shoman, Christina Schindera   +8 more
wiley   +1 more source

Formal Verification of AADL Models by Event-B

IEEE Access, 2020
AADL is widely used to depict the architecture and behavior of real-time safety-critical systems such as avionics and aerospace. The development of these systems has strict requirements for building fault-free systems.
Abeer Saeed Abdo Hadad, Chunyan Ma, Adeeb Abdulwakeel Obadi Ahmed   +2 more
doaj   +1 more source

Solid Pseudopapillary Neoplasm of the Pancreas in Children and Adolescents: Expert Recommendations

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Solid pseudopapillary neoplasm of the pancreas (SPN) is a rare low‐grade malignant exocrine pancreatic tumor, mostly discovered during the second decade of life in females, with a very good prognosis, provided microscopically complete surgical excision is achieved.
Sabine Irtan, Michael Abele, Calogero Virgone, Michaela Kuhlen, Ricardo Lopez‐Almarez, Tal Ben‐Ami, Ewa Bien, Maja Cesen, Malgorzata A. Krawczyk, Andrea Ferrari, Gianni Bisogno, Yves Reguerre, Dominik T. Schneider, Louise Galmiche, Jorg Fuchs, Sarah Braungart, Bilgehan Yalcin, Ines B. Brecht, Daniel Orbach   +18 more
wiley   +1 more source

Formal verification of a peer-to-peer streaming protocol

Journal of King Saud University: Computer and Information Sciences, 2020
Peer (P2P) networks have emerged as an efficient and affordable means of transmitting videos to numerous end-users via the Internet. The dynamic and heterogeneous nature of P2P streaming systems (P2PSS) makes testing, analyzing and verification a ...
Oluwafolake E. Ojo, Ayodeji O. Oluwatope, Suraju O. Ajadi   +2 more
doaj   +1 more source

Bridging the Gap in Neuroblastoma Care: Consensus‐Based Statements With Recommendations for Improved Patient and Caregiver Experiences

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Neuroblastoma's complex, heterogeneous biology poses significant diagnostic and therapeutic challenges, often requiring caregivers to absorb complex information and participate in time‐sensitive decisions. However, caregivers often feel unprepared to evaluate options.
Vickie Buenger, Joseph Bauer, Jennifer Diamond, Maggie Fader, Shae Hansen, Jacqueline M. Kraveka, Johanna Schoen, Amber Shearer, Dena Sherwood   +8 more
wiley   +1 more source