Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366206816> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4366206816 endingPage "122" @default.
- W4366206816 startingPage "113" @default.
- W4366206816 abstract "A tender process consists in competing offers from different candidate suppliers or contractors. The tender winner is supposed to supply or provide a service in better conditions than competitors. Tenders are developed using centralized unverified systems, which reduce transparency, fairness and trust on the process, it also reduces the ability to detect malicious attempts to manipulate the process. Systems that provide formal verification, decentralization, authentication, trust and transparency can mitigate these risks. Satisfiability Modulo Theories provides a formal analysis to prove correctness of tender offers properties, verified properties ensures system reliability. In addition, one technology that claims to provide decentralization is Blockchain, a chain of distributed and decentralized records linked in a way such that integrity is ensured. This paper presents a formal verified and decentralized proposal system, based on Satisfiability Modulo Theories and Blockchain technology, to make electronic procurement tenders more reliable, transparent and fair." @default.
- W4366206816 created "2023-04-19" @default.
- W4366206816 creator A5077763089 @default.
- W4366206816 creator A5078179817 @default.
- W4366206816 creator A5086701100 @default.
- W4366206816 date "2023-01-01" @default.
- W4366206816 modified "2023-10-16" @default.
- W4366206816 title "Blockchain and Satisfiability Modulo Theories for Tender Systems" @default.
- W4366206816 doi "https://doi.org/10.15514/ispras-2023-35(1)-8" @default.
- W4366206816 hasPublicationYear "2023" @default.
- W4366206816 type Work @default.
- W4366206816 citedByCount "0" @default.
- W4366206816 crossrefType "journal-article" @default.
- W4366206816 hasAuthorship W4366206816A5077763089 @default.
- W4366206816 hasAuthorship W4366206816A5078179817 @default.
- W4366206816 hasAuthorship W4366206816A5086701100 @default.
- W4366206816 hasBestOaLocation W43662068161 @default.
- W4366206816 hasConcept C11413529 @default.
- W4366206816 hasConcept C114614502 @default.
- W4366206816 hasConcept C136810230 @default.
- W4366206816 hasConcept C144133560 @default.
- W4366206816 hasConcept C162324750 @default.
- W4366206816 hasConcept C162853370 @default.
- W4366206816 hasConcept C164155591 @default.
- W4366206816 hasConcept C199360897 @default.
- W4366206816 hasConcept C201650216 @default.
- W4366206816 hasConcept C2779687700 @default.
- W4366206816 hasConcept C2780233690 @default.
- W4366206816 hasConcept C33923547 @default.
- W4366206816 hasConcept C34447519 @default.
- W4366206816 hasConcept C38652104 @default.
- W4366206816 hasConcept C41008148 @default.
- W4366206816 hasConcept C54732982 @default.
- W4366206816 hasConcept C55439883 @default.
- W4366206816 hasConcept C70105528 @default.
- W4366206816 hasConcept C80444323 @default.
- W4366206816 hasConcept C98045186 @default.
- W4366206816 hasConceptScore W4366206816C11413529 @default.
- W4366206816 hasConceptScore W4366206816C114614502 @default.
- W4366206816 hasConceptScore W4366206816C136810230 @default.
- W4366206816 hasConceptScore W4366206816C144133560 @default.
- W4366206816 hasConceptScore W4366206816C162324750 @default.
- W4366206816 hasConceptScore W4366206816C162853370 @default.
- W4366206816 hasConceptScore W4366206816C164155591 @default.
- W4366206816 hasConceptScore W4366206816C199360897 @default.
- W4366206816 hasConceptScore W4366206816C201650216 @default.
- W4366206816 hasConceptScore W4366206816C2779687700 @default.
- W4366206816 hasConceptScore W4366206816C2780233690 @default.
- W4366206816 hasConceptScore W4366206816C33923547 @default.
- W4366206816 hasConceptScore W4366206816C34447519 @default.
- W4366206816 hasConceptScore W4366206816C38652104 @default.
- W4366206816 hasConceptScore W4366206816C41008148 @default.
- W4366206816 hasConceptScore W4366206816C54732982 @default.
- W4366206816 hasConceptScore W4366206816C55439883 @default.
- W4366206816 hasConceptScore W4366206816C70105528 @default.
- W4366206816 hasConceptScore W4366206816C80444323 @default.
- W4366206816 hasConceptScore W4366206816C98045186 @default.
- W4366206816 hasIssue "1" @default.
- W4366206816 hasLocation W43662068161 @default.
- W4366206816 hasOpenAccess W4366206816 @default.
- W4366206816 hasPrimaryLocation W43662068161 @default.
- W4366206816 hasRelatedWork W1989853073 @default.
- W4366206816 hasRelatedWork W2164489925 @default.
- W4366206816 hasRelatedWork W3000182365 @default.
- W4366206816 hasRelatedWork W3042596554 @default.
- W4366206816 hasRelatedWork W3130214435 @default.
- W4366206816 hasRelatedWork W4200562580 @default.
- W4366206816 hasRelatedWork W4205150388 @default.
- W4366206816 hasRelatedWork W4293588802 @default.
- W4366206816 hasRelatedWork W4319151664 @default.
- W4366206816 hasRelatedWork W4361853884 @default.
- W4366206816 hasVolume "35" @default.
- W4366206816 isParatext "false" @default.
- W4366206816 isRetracted "false" @default.
- W4366206816 workType "article" @default.