Results 61 to 70 of about 1,347,993 (267)
Automatic proof of resistance of denial of service attacks in protocols
Tongxin xuebao, 2012 First,the applied PI calculus was extended from two aspects:attacker contexts and process expression,then from the view of protocol state,the protocols were modeled with the extended applied PI calculus and a automatic method of proof of resistance of ...
Bo MENG +3 more
doaj
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Nephrogenic rests (NRs) and nephroblastomatosis (NBM) are precursor lesions for development of Wilms tumor (WT). Their association with the risk of relapse has not been properly assessed, partly due to misunderstanding of their diagnostic criteria and terminology.
Gordan M. Vujanić +5 more
wiley +1 more source
Extended-CSP based analysis of non-repudiation protocols
Tongxin xuebao, 2008 A new formal method named extended-CSP approach was proposed for non-repudiation protocols.For check-ing its validity,both the well-known Zhou-Gollmann fair non-repudiation protocol presented by Zhou et al.in 1996 and one of its variant protocol were ...
HAN Zhi-geng +2 more
doaj
A Web Page Clustering Method Based on Formal Concept Analysis
Information, 2018 Web page clustering is an important technology for sorting network resources. By extraction and clustering based on the similarity of the Web page, a large amount of information on a Web page can be organized effectively.
Zuping Zhang, Jing Zhao, Xiping Yan
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Japan's 2024 physician work‐style reform introduced legally binding limits on physicians’ working hours, but its impact on education and workforce sustainability in pediatric hematology–oncology (PHO) remains unclear. Procedure We conducted a repeated cross‐sectional study with structured quantitative items and free‐text responses ...
Kiyohiko Kaizu +7 more
wiley +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
Coding-aware secure routing for multi-hop wireless networks
Tongxin xuebao, 2012 To address security issues of DCAR in“coding+routing”discovery,a new security destination was proposed and a distributed coding-aware secure routing(DCASR)was designed.DCASR guarantees discovery of correct coding opportunity and establishment of trusted ...
Xian GUO, Tao FENG, Zhan-ting YUAN
doaj
Formal methods in knowledge engineering
The Knowledge Engineering Review, 1995 Abstract This paper presents a general discussion of the role of formal methods in knowledge engineering. We give an historical account of the development of the field of knowledge engineering towards the use of formal methods. Subsequently, we discuss the pros and cons of formal methods.
Frank van Harmelen, Dieter Fensel
openaire +6 more sources
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
The Role of Formalism in Method [PDF]
, 1999 Wider use of formal methods in the development of computing systems promises better quality in general, and in particular safer and more reliable systems. But we must recognise that formalisation and formal reasoning are not goals in themselves: they are partial means to our goals.
openaire +1 more source