Results 11 to 20 of about 65,035 (289)
A Mathematical Perspective on Post-Quantum Cryptography
Mathematics, 2022 In 2016, the National Institute of Standards and Technology (NIST) announced an open competition with the goal of finding and standardizing suitable algorithms for quantum-resistant cryptography.
Maximilian Richter +3 more
doaj +1 more source
SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes [PDF]
, 2011 This paper presents SCOOP: a tool that symbolically optimises process-algebraic specifications of probabilistic processes. It takes specifications in the prCRL language (combining data and probabilities), which are linearised first to an intermediate ...
Timmer, Mark
core +2 more sources
Algebraic Specification of Web Services [PDF]
2010 10th International Conference on Quality Software, 2010 This paper presents an algebraic specification language for the formal specification of the semantics of web services. A set of rules for transforming WSDL into algebraic structures is proposed. Its practical usability is also demonstrated by an example.
Zhu, H, Yu, B
openaire +2 more sources
A Software Development Model for the Automatic Generation of Classes
CLEI Electronic Journal, 2018 In this paper it is presented a software development model based on transformations that allows to derive, in an automatic way, classes in object-oriented programming languages (Ada 95, C++, Eiffel and Java) starting from formal specifications.
Eugenio Scalise, Nancy Zambrano
doaj +1 more source
New simple algebraic root locus method for design of feedback control systems [PDF]
Hemijska Industrija, 2008 New concept of algebraic characteristic equation decomposition method is presented to simplify the design of closed-loop systems for practical applications. The method consists of two decompositions.
Cingara Aleksandar M.
doaj +1 more source
Deriving real-time action systems with multiple time bands using algebraic reasoning [PDF]
, 2014 The verify-while-develop paradigm allows one to incrementally develop programs from their specifications using a series of calculations against the remaining proof obligations.
Derrick, J, Dongol, B, Hayes, IJ
core +1 more source
Algebraic specification of documents
Theoretical Computer Science, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
José Carlos Ramalho +2 more
openaire +3 more sources
On the algebra of structured specifications
Theoretical Computer Science, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Razvan Diaconescu, Ionut Tutu
openaire +1 more source
Algorithms, logic and modeling of agent-based metacomputer systems with a high level of parallelism
Известия высших учебных заведений. Поволжский регион:Технические науки, 2022 Background. It is proposed to develop agent-based network metacomputer systems and applications based on logical methods and related conceptual graphical models, which allows combining imperative and declarative methods when designing the functional ...
V.I. Volchikhin +3 more
doaj +1 more source
Symbolic BDD and ADD Algorithms for Energy Games [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Energy games, which model quantitative consumption of a limited resource, e.g., time or energy, play a central role in quantitative models for reactive systems.
Shahar Maoz +2 more
doaj +1 more source