Results 31 to 40 of about 122,790 (284)
Precipitation enhancement in stratocumulus clouds through airborne seeding: sensitivity analysis by UCLALES-SALSA [PDF]
Atmospheric Chemistry and Physics, 2021 Artificial enhancement of precipitation via hygroscopic cloud seeding is investigated with a numerical large-eddy simulation model coupled with a spectral aerosol–cloud microphysics module.
J. Tonttila +5 more
doaj +1 more source
Observation and abstract behaviour in specification and implementation of state-based systems [PDF]
, 2001 Classical algebraic specification is an accepted framework for specification. A criticism which applies is the fact that it is functional, not based on a notion of state as most software development and implementation languages are.
Pahl, Claus
core +2 more sources
CABra: a novel large-sample dataset for Brazilian catchments [PDF]
Hydrology and Earth System Sciences, 2021 In this paper, we present the Catchments Attributes for Brazil (CABra), which is a large-sample dataset for Brazilian catchments that includes long-term data (30 years) for 735 catchments in eight main catchment attribute classes (climate, streamflow ...
A. Almagro +4 more
doaj +1 more source
Hierarchical Attribute-Based Signatures
, 2018 Attribute-based Signatures (ABS) are a powerful tool allowing users with attributes issued by authorities to sign messages while also proving that their attributes satisfy some policy. ABS schemes provide a flexible and privacy-preserving approach to authentication since the signer’s identity and attributes remain hidden within the anonymity set of ...
Dragan, Catalin +2 more
openaire +3 more sources
Data Minimisation in Communication Protocols: A Formal Analysis Framework and Application to Identity Management [PDF]
, 2014 With the growing amount of personal information exchanged over the Internet, privacy is becoming more and more a concern for users. One of the key principles in protecting privacy is data minimisation. This principle requires that only the minimum amount
de Weger, Benne +2 more
core +1 more source
Privacy-Preserving Electronic Ticket Scheme with Attribute-based Credentials [PDF]
, 2018 Electronic tickets (e-tickets) are electronic versions of paper tickets, which enable users to access intended services and improve services' efficiency. However, privacy may be a concern of e-ticket users.
Chen, Liqun +4 more
core +2 more sources
Decentralized Traceable Attribute-Based Signatures [PDF]
, 2014 We provide a formal security model for traceable attribute-based signatures. Our focus is on the more practical case where attribute management is distributed among different authorities rather than relying on a single central authority. By specializing our model to the single attribute authority setting, we overcome some of the shortcomings of the ...
Ghadafi, Essam M O +2 more
openaire +3 more sources
One Attribute-Based Proxy Signature [PDF]
Proceedings of the 2015 International Conference on Mechatronics, Electronic, Industrial and Control Engineering, 2015 For Identity-based proxy signature, when the original signer cannot sign for some reason,he delegate his signing capabilities to a person with an identity, in order to expand the scope of the proxy signer, an entity with a series of attribute properties can perform the right of signature.
Haiping Si +3 more
openaire +1 more source
Fuzzy Interval-Valued Multi Criteria Based Decision Making for Ranking Features in Multi-Modal 3D Face Recognition [PDF]
, 2017 Soodamani Ramalingam, 'Fuzzy interval-valued multi criteria based decision making for ranking features in multi-modal 3D face recognition', Fuzzy Sets and Systems, In Press version available online 13 June 2017.
Ramalingam, Soodamani
core +2 more sources
Towards Practical Attribute-Based Signatures
, 2015 An attribute-based signature ABS is a special digital signature created using a dynamic set of issued attributes. For instance, a doctor can sign a medical statement with his name, medical license number and medical speciality. These attributes can be verified along with the signature by any verifier with the correct public keys of the respective ...
Hampiholi, B. +3 more
openaire +2 more sources