Formal Analysis of Log Files [PDF]
Journal of Aerospace Computing, Information, and Communication, 2010 Runtime verification as a field faces several challenges. One key challenge is howto keep the overheads associated with its application low. This is especially important in real-time critical embedded applications, where memory and CPU resources are limited.
Barringer, Howard +3 more
openaire +1 more source
Enhanced Private key Synchronization Mechanism Security in Passkeys System Based on Elliptic Curve Diffie-Hellman and Zero-Knowledge Proofs [PDF]
EPJ Web of ConferencesBased on asymmetric cryptography, Passkeys Systems are a secure authentication method that can serve as an alternative to traditional authentication methods, such as usernames and passwords.
Ilboudo Assane +2 more
doaj +1 more source
Program Analysis by Formal Transformation [PDF]
The Computer Journal, 1996 Supported by an EPSRC project: "A proof theory for program refinement and equivalence: extensions".
openaire +3 more sources
Experience report on developing the Front-end Client unit under the control of formal methods [PDF]
, 2011 Formal methods are extensively being applied to the development of control software units, of highly sophisticated X-ray machines, at Philips Healthcare.
Wesselius, J.H. +13 more
core +2 more sources
Estimation of state’s economic position on the example of Nigeria [PDF]
Przegląd Geopolityczny, 2022 The scope of this manuscript is to propose a method of estimation of state's economic position. To evaluate an economic position, we apply formal analysis on Sułek's model of economic power, and analyze its factors.
Lidia Joanna Obojska
doaj
Formal Analysis of Online Algorithms [PDF]
, 2011 In [2], we showed how viewing online algorithms as reactive systems enables the application of ideas from formal verification to the competitive analysis of online algorithms. Our approach is based on weighted automata, which assign to each input word a cost in R≥0.
Benjamin Aminof +2 more
openaire +2 more sources
GIS Visualisations of Mortuary Data from Holešov, Czech Republic
Internet Archaeology, 2014 This article presents a case-study demonstrating the potential of GIS visualisations for analyses of mortuary data, recorded half a century ago at the site of Holešov, Kroměříž district, in the Czech Republic. This cemetery consists of 10 Bell Beaker and
Ladislav Šmejda
doaj +1 more source
Analyzing the effects of formal methods on the development of 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 ...
Wesselius, JH +6 more
core +2 more sources
Ortograficzne i ortoepiczne zróżnicowanie słowacko-serbskich aproksymatów międzyjęzykowych
Studia z Filologii Polskiej i Słowiańskiej, 2016 Orthographic and orthoepic diversity of Serbo‑Slovak interlingual approximates The paper is a presentation of the results of a qualitative formal analysis of different types of Serbo-Slovak interlingual approximates (false friends, interlingual ...
Ivan Faško
doaj +1 more source
Analyzing Component Composability of Cloud Security Configurations
IEEE Access, 2023 Security is a major concern when building large-scale computer systems. Cloud services have made it easier to provision large-scale systems on demand over the Internet.
Kandasamy Muniasamy +3 more
doaj +1 more source