Results 31 to 40 of about 86,663 (296)
Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores [PDF]
PeerJ Computer Science, 2023 The Transport Layer Security (TLS) 1.0 protocol has been formally verified with CafeInMaude Proof Generator (CiMPG) and Proof Assistant (CiMPA), where CafeInMaude is the second major implementation of CafeOBJ, a direct successor of OBJ3, a canonical ...
Duong Dinh Tran +2 more
doaj +2 more sources
Tracing Properties of UML and OCL Models with Maude [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 The starting point of this paper is a system described in form of a UML class diagram where system states are characterized by OCL invariants and system transitions are defined by OCL pre- and postconditions.
Francisco Durán +2 more
doaj +1 more source
Algebraic-Coalgebraic Specification in CoCasl
The Journal of Logic and Algebraic Programming, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Till Mossakowski +3 more
openaire +3 more sources
Quark-gluon vertex dressing and meson masses beyond ladder-rainbow truncation [PDF]
, 2006 We include a generalized infinite class of quark-gluon vertex dressing diagrams in a study of how dynamics beyond the ladder-rainbow truncation influences the Bethe-Salpeter description of light quark pseudoscalar and vector mesons.
Anthony W. Thomas +3 more
core +2 more sources
Fractal and Fractional, 2023 This work aims to explore the solution of a nonlinear fractional integro-differential equation in the complex domain through the utilization of both analytical and numerical approaches.
Amnah E. Shammaky +5 more
doaj +1 more source
An algebraic semantics for QVT-relations check-only transformations [PDF]
, 2012 Fundamenta Informaticae, 114 1, Juan de Lara, Esther Guerra, An algebraic semantics for QVT-relations check-only transformations, 73-101, Copyright 2012, with permission from IOS PressQVT is the standard for model transformation defined by the OMG in ...
Guerra, Esther, Lara, Juan de
core +2 more sources
On algebraic specifications of computable algebras with the discriminator technique [PDF]
RAIRO - Theoretical Informatics and Applications, 1990 This informative paper uses a specification due to \textit{R. McKenzie} [J. Symb. Logic 40, 186-196 (1975; Zbl 0316.02052)] for a so called discriminator function to enrich computable minimal algebras in order to find equational initial algebra specifications with a single equation only. This improves a result by Bergstra and Tucker.
G. Gagliardi, Sauro Tulipani
openaire +2 more sources
Implications of network topology on stability. [PDF]
PLoS ONE, 2015 In analogy to chemical reaction networks, I demonstrate the utility of expressing the governing equations of an arbitrary dynamical system (interaction network) as sums of real functions (generalized reactions) multiplied by real scalars (generalized ...
Ali Kinkhabwala
doaj +1 more source
Recovery of coefficients of a heat equation by Ritz collocation method
Kuwait Journal of Science, 2023 In this work, we discuss a one dimensional inverse problem for the heat equation where the unknown functions are solely time-dependent lower order coefficient and multiplicative source term. We use as data two integral overdetermination conditions along
Prof.Kamal Rashedi
doaj +1 more source
Continuum Mechanics Modeling of Flexible Spring Joints in Surgical Robots
Advanced Robotics Research, EarlyView.A new mechanical model of a tendonâactuated helical extension spring joint in surgical robots is built using Cosserat rod theory. The model can implicitly handle the unknown contacts between adjacent coils and numerically predict spring shapes from straight to significantly bent under actuation forces.
Botian Sun +3 more
wiley +1 more source