Results 31 to 40 of about 387,319 (288)
PROBLEM OF LAND OWNERSHIP CERTIFICATES AS LEGAL PROOF OF OWNERSHIP
Problematika Hukum<p>Agrarian is the natural resource that humans need most, as a place to live and develop land resources. This development aims to achieve shared prosperity. maintain collective order and guarantee every community's rights in every region. So it is necessary to regulate in law a policy that determines land ownership according to the rights of ...
Frina Debora +5 more
openaire +1 more source
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity [PDF]
, 2014 We present a lightweight approach to Hoare-style specifications for fine-grained concurrency, based on a notion of time-stamped histories that abstractly capture atomic changes in the program state.
A. Cerone +10 more
core +1 more source
Rente as Proof of Land Ownership
Mulawarman Law Review, 2019 Rente or proof of payment of land taxes is no longer able used as proof of landownership, however there still people who think rente as proof of land ownership. This research is juridical empirical that analyze the position and perception of society that think rente as proof of ownership of the land in Pangkajene Islands Regency.
openaire +2 more sources
Applied Sciences, 2023 Advances in information technology have made data accessible anytime and anywhere. Currently, data confirmation is a popular area of research. Many current approaches to data confirmation rely on submitting certificates of ownership, embedding digital ...
Lingyun Zhang +4 more
doaj +1 more source
Leakage Resilient Proofs of Ownership in Cloud Storage, Revisited [PDF]
, 2014 Client-side deduplication is a very effective mechanism to reduce both storage and communication cost in cloud storage service. Halevi et al. (CCS ’11) discovered security vulnerability in existing implementation of client-side deduplication and proposed a cryptographic primitive called “proofs of ownership” (PoW) as a countermeasure.
Jia Xu, Jianying Zhou
openaire +1 more source
A perspective on specifying and verifying concurrent modules [PDF]
, 2018 The specification of a concurrent program module, and the verification of implementations and clients with respect to such a specification, are difficult problems.
Da Rocha Pinto, P +2 more
core +1 more source
Secure and efficient ownership verification for deduplicated cloud computing systems
Journal of Cloud Computing: Advances, Systems and ApplicationsCloud storage services offer a scalable platform to store a large amount of data at a low cost. It attracts a large number of customers to outsource their data to the cloud.
Jay Dave +5 more
doaj +1 more source
Secure Multimedia Authoring with Dishonest Collaborators
EURASIP Journal on Advances in Signal Processing, 2004 Many systems have been proposed for protecting the intellectual property of multimedia authors and owners from the public at large, who have access to the multimedia only after it is published.
Sheppard Nicholas Paul +2 more
doaj +1 more source
Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system
FEBS Letters, EarlyView.Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley +1 more source
Interpretation of The Legal Values and Justice in The Living Law Related To Court Decision
Sociological Jurisprudence Journal, 2021 The performance of judges in deciding on a legal dispute that is faced is a work process looking for legal norms both in the legislation and legal norms that live in the community.
Ismail Rumadan
doaj