Results 111 to 120 of about 1,932,015 (306)
FORTEST: Formal methods and testing
, 2002 Formal methods have traditionally been used for specification and development of software. However there are potential benefits for the testing stage as well.
Bowen, JP +5 more
core
The Use of Formal Methods in the Analysis of Trust (Position Paper)
, 2004 Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for modern computing systems. Security has been studied thoroughly for many years,
Stéphane Lo Presti +7 more
core +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
Promiscuous stimulation of HSP70 ATPase activity by parasite‐derived J‐domains
FEBS Open Bio, EarlyView.The malaria parasite Plasmodium falciparum exports three highly homologous yet functionally divergent J‐domain proteins into human erythrocytes. Here, we show that J‐domains isolated from all three proteins effectively stimulate the ATPase activity of both endogenous host and exported parasite HSP70 chaperones.
Julian Barth +6 more
wiley +1 more source
Towards a Formal Verification Methodology for Collective Robotic Systems
, 2012 We introduce a UML-based notation for graphically modeling systems’ security aspects in a simple and intuitive way and a model-driven process that transforms graphical specifications of access control policies in XACML.
Dorigo, Marco +22 more
core +1 more source
FEBS Open Bio, EarlyView.Erythropoietin administration suppresses hepatic soluble epoxide hydrolase (sEH) expression, leading to increased CYP‐derived epoxides. This is associated with a shift in hepatic macrophage polarization characterized by reduced M1 markers and increased M2 markers, along with reduced hepatic inflammation, suppressed hepatic lipogenesis, and attenuated ...
Takeshi Goda +12 more
wiley +1 more source
Preface - 22nd Brazilian Symposium on Formal Methods - SBMF 2019. [PDF]
Sci Comput Program, 2021 Duran A, Wadler P.
europepmc +1 more source
Using formal methods to support testing
, 2008 Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as ...
Woodward, M +13 more
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
FEBS Open Bio, EarlyView.In this study, we developed a deep learning method for mitotic figure counting in H&E‐stained whole‐slide images and evaluated its prognostic impact in 13 external validation cohorts from seven different cancer types. Patients with more mitotic figures per mm2 had significantly worse patient outcome in all the studied cancer types except colorectal ...
Joakim Kalsnes +32 more
wiley +1 more source