Results 231 to 240 of about 128,518 (269)
Some of the next articles are maybe not open access.
Theory contraction and base contraction unified
Journal of Symbolic Logic, 1993AbstractOne way to construct a contraction operator for a theory (belief set) is to assign to it a base (belief base) and an operator of partial meet contraction for that base. Axiomatic characterizations are given of the theory contractions that are generated in this way by (various types of) partial meet base contractions.
openaire +2 more sources
Journal of Logic, Language and Information, 2013
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Studia Logica, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Contracting Spyware by Contract
2005The question of what constitutes "spyware" is controversial because many programs that are adware in the eyes of their distributors may be perceived as spyware in the eyes of the end user. Many of these programs are loaded on the computers of end users after the end user has agreed to the terms of a license presented in a click-through interface.
openaire +1 more source
Security Threat Mitigation for Smart Contracts: A Comprehensive Survey
ACM Computing Surveys, 2023Nikolay Ivanov +2 more
exaly
Survey on blockchain based smart contracts: Applications, opportunities and challenges
Journal of Network and Computer Applications, 2021Tharaka Hewa +2 more
exaly
Smart Contracts in Blockchain Technology: A Critical Review
Information (Switzerland), 2023Hamed Taherdoost, Taherdoost Hamed
exaly
Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities
Computers and Security, 2020Reza M Parizi +2 more
exaly