Results 61 to 70 of about 25,005,250 (309)
Towards Validation of TLS 1.3 Formal Model and Vulnerabilities in Intel’s RA-TLS Protocol
IEEE AccessTransport Layer Security (TLS) is a widely used protocol for secure channel establishment. However, TLS lacks any inherent mechanism for validating the security state of the endpoint software and its platform.
Muhammad Usama Sardar +3 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Survivors of pediatric brain tumors (PBTs) can experience long‐term social difficulties, impacting quality of life. Beyond medical and environmental factors, family psychosocial risk may play a role in social outcomes by shaping the caregiving environment and may provide intervention options.
Renske H. Houben +4 more
wiley +1 more source
Proceedings of Formal Methods in Computer Aided Design, FMCAD 2018 [PDF]
, 2018 October 30 – November 2, 2018 in Austin, Texas, USATable of Contents: INVITED PAPERS -- Formal Verification of Deep Neural Networks / by Nina Narodytska (p. 1) -- Formal Verification of Unsatisfiability Results / by Marijn Heule (p.
Formal Methods in Computer Aided Design
core
SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity [PDF]
, 2008 The IST-FET Integrated Project Sensoria is developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated into pragmatic software engineering ...
M. Hölzl +53 more
core +1 more source
The Myth of Huitzilopochtli: Diachronic and Structural Interpretation
Etnoantropološki Problemi, 2016 The paper investigates the myth about the birth of Huicilopochtli, the deity considered by the Spanish conquistadors to be the supreme god of the Aztecs.
Igor Seke
doaj +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Establishing a comprehensive apheresis medicine program in a resource‐constrained setting presents significant structural, financial, and logistical challenges. Despite the growing clinical importance of apheresis services globally, published experience from sub‐Saharan Africa remains sparse.
Folasade Adelekan‐Popoola +4 more
wiley +1 more source
Benefits of applying formal methods to industrial control software [PDF]
, 2011 Formal methods are being applied to the development of software of various applications at Philips Healthcare. In particular, the Analytical Software Design (ASD) method is being used as a formal technology for developing defect-free control software of ...
Osaiweran, A.A.H. +3 more
core +1 more source
A Critique of the Book the History of Arabic Literature in Hadith Era [PDF]
پژوهشنامۀ انتقادی متون و برنامههای علوم انسانی, 2017 The book “the History of Arabic Literature in Hadith Era” written by Nader Nizam Tehrani is about the history of Arab contemporary literature. In this book, by considering contemporary literary events and movements and also pointing to the poets of the ...
Mohsen Seifi, Bahare Samadi
doaj
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Chronic micro‐inflammation in patients with end‐stage renal disease (ESRD) is a significant driver of cardiovascular complications and diminished quality of life. While standard hemodialysis (SHD) effectively manages small‐molecule clearance, its ability to remove medium‐to‐large uremic toxins—the primary catalysts of systemic ...
Hongwei Zuo +5 more
wiley +1 more source
Analysis and improvement of sensor networks security protocol
Tongxin xuebao, 2011 A suit of security protocols for sensor networks was presented by A.Perrig.The security of the protocols was analyzed,and then one attack had been found in the two-party key agreement protocol that a false request message from an intruder.In that case ...
YAN Li-li1 +2 more
doaj