English
Related papers

Related papers: Modelling Business Agreements in the Multimodal Tr…

200 papers

In this contribution we extend an ontology for modelling agents and their interactions, called Ontology for Agents, Systems, and Integration of Services (in short, OASIS), with conditionals and ontological smart contracts (in short, OSCs).…

Artificial Intelligence · Computer Science 2024-02-22 Domenico Cantone , Carmelo Fabio Longo , Marianna Nicolosi-Asmundo , Daniele Francesco Santamaria , Corrado Santoro

Ontology is the explicit and formal representation of the concepts in a domain and relations among them. Transportation science is a wide domain dealing with mobility over various complex and interconnected transportation systems, such as…

Artificial Intelligence · Computer Science 2020-12-17 Ali Yazdizadeh , Bilal Farooq

The blockchain constitutes a technology-based, rather than social or regulation based, means to lower uncertainty about one another in order to exchange value. However, its use may very well also lead to increased complexity resulting from…

Computers and Society · Computer Science 2018-01-09 Henry Kim , Marek Laskowski

Blockchains are gaining momentum due to the interest of industries and people in \emph{decentralized applications} (Dapps), particularly in those for trading assets through digital certificates secured on blockchain, called tokens. As a…

Cryptography and Security · Computer Science 2024-02-22 Giampaolo Bella , Domenico Cantone , Cristiano Longo , Marianna Nicolosi-Asmundo , Daniele Francesco Santamaria

The confluence of Internet of Things(IoT) , Blockchain(BC) and Artificial Intelligence(AI) acts as a key accelerator for enabling Machine Economy. To be ready for future businesses these technologies needs to be adapted by extending the IoT…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-03-02 Misha Abraham , Himajit Aithal , Krishnan Mohan

Semantic representation is a key enabler for several application domains, and the multi-agent systems realm makes no exception. Among the methods for semantically representing agents, one has been essentially achieved by taking a…

Artificial Intelligence · Computer Science 2024-02-22 Giampaolo Bella , Domenico Cantone , Carmelo Fabio Longo , Marianna Nicolosi-Asmundo , Daniele Francesco Santamaria

Blockchain has been praised for its capacity to hold data in a decentralized and tamper-proof way. It also supports the execution of code through blockchain's smart contracts, adding automation of actions to the network with high…

Cryptography and Security · Computer Science 2021-01-25 Nicolas Six , Claudia Negri Ribalta , Nicolas Herbaut , Camille Salinesi

At the beginning of 2018, there is a growing belief that blockchain technologies constitute a revolutionary innovation in how we transfer value electronically. In that vein, blockchain may be a suitable complement to ontologies to achieve a…

Computers and Society · Computer Science 2018-01-09 Henry M. Kim , Marek Laskowski , Ning Nan

Blockchain systems and smart contracts provide ways to securely implement multi-party transactions without the use of trusted intermediaries, which currently underpin many commercial transactions. However, they do so by transferring trust…

Logic in Computer Science · Computer Science 2018-11-16 Ron van der Meyden

An appealing feature of blockchain technology is smart contracts. A smart contract is executable code that runs on top of the blockchain to facilitate, execute and enforce an agreement between untrusted parties without the involvement of a…

Cryptography and Security · Computer Science 2017-10-18 Maher Alharby , Aad van Moorsel

Infrastructure maintenance is inherently complex, especially for widely dispersed transport systems like roads and railroads. Maintaining this infrastructure involves multiple partners working together to ensure safe, efficient upkeep that…

Computers and Society · Computer Science 2024-10-29 Fatjon Seraj

The digital transformation of companies is expected to increase the digital interconnection between different companies to develop optimized, customized, hybrid business models. These cross-company business models require secure, reliable,…

Cryptography and Security · Computer Science 2020-07-29 Kevin Wallis , Jan Stodt , Eugen Jastremskoj , Christoph Reich

A smart contract is a computer program which allows users to automate their actions on the blockchain platform. Given the significance of smart contracts in supporting important activities across industry sectors including supply chain,…

Software Engineering · Computer Science 2021-04-20 Palina Tolmach , Yi Li , Shang-Wei Lin , Yang Liu , Zengxiang Li

In this work we propose an ontology to support automated negotiation in multiagent systems. The ontology can be connected with some domain-specific ontologies to facilitate the negotiation in different domains, such as Intelligent…

Artificial Intelligence · Computer Science 2017-10-31 Susel Fernandez , Takayuki Ito

A smart contract is a digital program of transaction protocol (rules of contract) based on the consensus architecture of blockchain. Smart contracts with Blockchain are modern technologies that have gained enormous attention in scientific…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-02-17 Norah M. Alshahrani , M. L. Mat Kiah , B. B. Zaidan , A. H. Alamoodi , Abdu Saif

Research on blockchains addresses multiple issues, with one being writing smart contracts. In our previous research we described methodology and a tool to generate, in automated fashion, smart contracts from BPMN models. The generated smart…

Software Engineering · Computer Science 2025-05-29 C. G. Liu , P. Bodorik , D. Jutla

Smart contracts codify real-world transactions and automatically execute the terms of the contract when predefined conditions are met. This paper proposes SmartML, a modeling language for smart contracts that is platform independent and…

Software Engineering · Computer Science 2024-07-01 Adele Veschetti , Richard Bubel , Reiner Hähnle

To alleviate difficulties in writing smart contracts for distributed blockchain applications, as other research, we propose transformation of Business Process Model and Notation (BPMN) models into blockchain smart contracts. Unlike other…

Software Engineering · Computer Science 2025-06-02 Christian Gang Liu

Business ontology can enhance the successful development of complex enterprise system; this is being achieved through knowledge sharing and the ease of communication between every entity in the domain. Through human semantic interaction…

Computers and Society · Computer Science 2014-01-13 Adeyinka K Akanbi

Blockchains are maintained by a network of participants that run algorithms designed to maintain collectively a distributed machine tolerant to Byzantine attacks. From the point of view of users, blockchains provide the illusion of…

Logic in Computer Science · Computer Science 2022-07-15 Martán Ceresa , César Sánchez
‹ Prev 1 2 3 10 Next ›