Results 31 to 40 of about 546,186 (309)

Multi-Keyword Searchable and Data Verifiable Attribute-Based Encryption Scheme for Cloud Storage

IEEE Access, 2019
In a data sharing system, it is a basic requirement for a user, who has an appropriate privilege to perform keyword retrieval for encrypted documents stored in the cloud.
Jin Sun, Lili Ren, Shangping Wang, Xiaomin Yao   +3 more
doaj   +1 more source

Streaming Verification in Data Analysis [PDF]

, 2015
Streaming interactive proofs (SIPs) are a framework to reason about outsourced computation, where a data owner (the verifier) outsources a computation to the cloud (the prover), but wishes to verify the correctness of the solution provided by the cloud service. In this paper we present streaming interactive proofs for problems in data analysis.
Samira Daruki, Justin Thaler, Suresh Venkatasubramanian   +2 more
openaire   +2 more sources

On Using First-Order Theorem Provers in the Jahob Data Structure Verification System [PDF]

, 2006
This paper presents our integration of efficient resolution-based theorem provers into the Jahob data structure verification system. Our experimental results show that this approach enables Jahob to automatically verify the correctness of a range of
Charles Bouillaguet, Viktor Kuncak, Zee, Karen, Karen Zee, Kuncak, Viktor, Rinard, Martin, Wies, Thomas, Martin Rinard, Bouillaguet, Charles, Thomas Wies   +9 more
core   +1 more source

Redmap Australia: Challenges and Successes With a Large-Scale Citizen Science-Based Approach to Ecological Monitoring and Community Engagement on Climate Change

Frontiers in Marine Science, 2019
Citizen science includes a suite of research approaches that involves participation by citizens, who are not usually trained scientists, in scientific projects.
Gretta T. Pecl, Gretta T. Pecl, Jemina Stuart-Smith, Peter Walsh, Dianne J. Bray, Martha Kusetic, Michael Burgess, Stewart D. Frusher, Stewart D. Frusher, Daniel C. Gledhill, Oliver George, Gary Jackson, John Keane, Victoria Y. Martin, Melissa Nursey-Bray, Andrew Pender, Lucy M. Robinson, Lucy M. Robinson, Lucy M. Robinson, Keith Rowling, Marcus Sheaves, Natalie Moltschaniwskyj, Natalie Moltschaniwskyj   +22 more
doaj   +1 more source

Elevated ZNF704 expression is associated with poor prognosis of uveal melanoma and promotes cancer cell growth by regulating AKT/mTOR signaling

Biomarker Research, 2023
Background Uveal melanoma (UM) is the most common intraocular malignancy in adults, with a poor survival prognosis. To date, limited understanding of UM’s molecular mechanisms constitutes an obstacle to developing effective therapy.
Jingting Luo, Haowen Li, Jingying Xiu, Jingyao Zeng, Zhaoxun Feng, Hanqing Zhao, Yang Li, Wenbin Wei   +7 more
doaj   +1 more source

ETHICS AND DATA VERIFICATION ON PAID-CONTENT BLOG (INTERPRETIVE STUDY ON INDONESIAN BLOGGER)

Profetik, 2020
Abstrak. Akhir-akhir ini popularitas penggunaan konten blog berbayar sebagai salah satu marketing konten digital meningkat. Para peneliti menemukan bahwa terdapat lebih dari 180 blogger Indonesia yang menawarkan layanan blogger di platform sociabuzz.com ...
Svaradiva Anurdea Devi, Pinckey Triputra
doaj   +1 more source

The Role of Internal Audit in Preparing Sustainability Reporting by Aviation Enterprises [PDF]

Облік і фінанси
In the context of global decarbonization, the transition to ecological aviation fuel, and the digitalization of business processes, internal audit is becoming a key mechanism for ensuring the accuracy, verification, and integration of ESG indicators into
Dmytro Leshchenko
doaj   +1 more source

Data protection preliminary verification translation: Italy

, 2014
Requested by Fineco Bank S.p.A.
Data protection preliminary verification translation:, Italy
core   +4 more sources

Tree Buffers [PDF]

, 2015
In runtime verification, the central problem is to decide if a given program execution violates a given property. In online runtime verification, a monitor observes a program’s execution as it happens.
Kiefer, Stefan, Stefan Kiefer, Grigore, Radu, Radu Grigore   +3 more
core   +1 more source

Verification of Concurrent Design Patterns with Data [PDF]

, 2019
We provide a solution for the design of safe concurrent systems by compositional application of verified design patterns-called ar-chitectures-to a small set of functional components. To this end, we extend the theory of architectures developed previously for the BIP framework with the elements necessary for handling data: definition and operations on ...
Bliudze, Simon, Henrio, Ludovic, Madelaine, Eric   +2 more
openaire   +2 more sources