Results 11 to 20 of about 8,638,029 (373)
Class-Diagrams for Abstract Data Types [PDF]
International Colloquium on Theoretical Aspects of Computing, 2017 We propose to extend iUML-B class-diagrams to elaborate Abstract Data Types (ADTs) specified using Event-B theories. Classes are linked to data types, while attributes and associations correspond to operators of the data types. Axioms about the data types and operators are specified as constraints on the class.
Hoang, Thai Son +3 more
openaire +3 more sources
Encryption as an abstract data-type
Electronic Notes in Theoretical Computer Science, 2003 Abstract At the Dolev-Yao level of abstraction, security protocols can be specified using multisets rewriting. Such rewriting can be modeled naturally using proof search in linear logic. The linear logic setting also provides a simple mechanism for generating nonces and session and encryption keys via eigenvariables.
Dale Miller
openalex +3 more sources
Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant [PDF]
ACM-SIGACT Symposium on Principles of Programming Languages, 2015 We present Fiat, a library for the Coq proof assistant supporting refinement of declarative specifications into efficient functional programs with a high degree of automation.
Chlipala, Adam +3 more
core +3 more sources
Efficient Data Streaming Multiway Aggregation through Concurrent Algorithmic Designs and New Abstract Data Types [PDF]
ACM Transactions on Parallel Computing, 2017 Data streaming relies on continuous queries to process unbounded streams of data in a real-time fashion. It is commonly demanding in computation capacity, given that the relevant applications involve very large volumes of data.
Vincenzo Gulisano +4 more
openalex +3 more sources
Blockchain abstract data type [PDF]
IACR Cryptology ePrint Archive, 2019 This paper is the first to specify blockchains as a composition of abstract data types all together with a hierarchy of consistency criteria that formally characterizes the histories admissible for distributed programs that use them.
Emmanuelle Anceaume +4 more
openalex +3 more sources
A theory of abstract data types for program development: Bridging the gap? [PDF]
TAPSOFT, Vol.2, 1985 T. S. E. Maibaum +2 more
openalex +2 more sources
Nucleic Acids Research, 2023 ChEMBL (https://www.ebi.ac.uk/chembl/) is a manually curated, high-quality, large-scale, open, FAIR and Global Core Biodata Resource of bioactive molecules with drug-like properties, previously described in the 2012, 2014, 2017 and 2019 Nucleic Acids ...
Barbara Zdrazil +19 more
semanticscholar +1 more source
Implementation of hyperbolic complex numbers in Julia language
Discrete and Continuous Models and Applied Computational Science, 2022 Hyperbolic complex numbers are used in the description of hyperbolic spaces. One of the well-known examples of such spaces is the Minkowski space, which plays a leading role in the problems of the special theory of relativity and electrodynamics. However,
Anna V. Korolkova +2 more
doaj +1 more source
Noun Form of Address of Characters in the 21 Jump Street Movie
Humanis, 2021 This study is aimed to identify the types of noun form of address and describing the function of noun form of address applied in the movie. The data of this study was taken from a movie entitled 21 Jump Street as the primary data.
Luh Ledi Ruscita Dewi +1 more
doaj +1 more source
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types [PDF]
JACM, 1982 Hans-Dieter Ehrich
openalex +2 more sources