中文
相关论文

相关论文: Ontological Smart Contracts in OASIS: Ontology for…

200 篇论文

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…

The blockchain technology provides integrity and reliability of the information, thus offering a suitable solution to guarantee trustability in a multi-stakeholder scenario that involves actors defining business agreements. The Ride2Rail…

计算机与社会 · 计算机科学 2025-12-08 Mario Scrocca , Marco Comerio , Alessio Carenini , Irene Celino

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…

A key challenge in System of Systems (SoS) engineering is the analysis and maintenance of global properties under SoS evolution, and the integration of new constituent elements. There is a need to model the constituent systems composing a…

软件工程 · 计算机科学 2017-03-22 Oldrich Faldik , Richard Payne , John Fitzgerald , Barbora Buhnova

Traditionally, agent and web service are two separate research areas. We figure that, through agent communication, agent is suitable to coordinate web services. However, there exist agent communication problems due to the lack of uniform,…

密码学与安全 · 计算机科学 2009-06-23 C. H. Liu , Y. F. Lin , Jason J. Y. Chen

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…

人工智能 · 计算机科学 2017-10-31 Susel Fernandez , Takayuki Ito

Towns and cities are currently equipping themselves with a host of connected devices, with a view to transforming themselves into ''smart cities''. To manage this mass of connected objects, autonomous software entities, known as agents, can…

人工智能 · 计算机科学 2024-01-08 Nathan Aky , Denis Payet , Sylvain Giroux , Rémy Courdier

Foundational ontologies devoted to the effective representation of processes and procedures are not widely investigated at present, thereby limiting the practical adoption of semantic approaches in real scenarios where the precise…

人工智能 · 计算机科学 2023-07-03 Giampaolo Bella , Gianpietro Castiglione , Daniele Francesco Santamaria

Personal service robots are increasingly used in domestic settings to assist older adults and people requiring support. Effective operation involves not only physical interaction but also the ability to interpret dynamic environments,…

机器人学 · 计算机科学 2025-09-29 Margherita Martorana , Francesca Urgese , Ilaria Tiddi , Stefan Schlobach

Nowadays, sophisticated domains are emerging which require appropriate formalisms to be specified accurately in order to reason about them. One such domain is constituted of smart contracts that have emerged in cyber physical systems as a…

计算机科学中的逻辑 · 计算机科学 2025-02-14 Kalonji Kalala

We explore the role of ontologies in enhancing hybrid modeling and simulation through improved semantic rigor, model reusability, and interoperability across systems, disciplines, and tools. By distinguishing between methodological and…

人工智能 · 计算机科学 2025-06-17 John Beverley , Andreas Tolk

Computing becomes increasingly mobile and pervasive today; these changes imply that applications and services must be aware of and adapt to their changing contexts in highly dynamic environments. Today, building context-aware systems is a…

分布式、并行与集群计算 · 计算机科学 2020-03-12 Tao Gu , Xiao Hang Wang , Hung Keng Pung , Da Qing Zhang

In this position paper, we consider some foundational topics regarding smart contracts (such as terminology, automation, enforceability, and semantics) and define a smart contract as an automatable and enforceable agreement. We explore a…

计算机与社会 · 计算机科学 2017-03-16 Christopher D. Clack , Vikram A. Bakshi , Lee Braine

This paper introduces ontological concepts required to evaluate and manage the coverage of social services in a Smart City context. Here, we focus on the perspective of key stakeholders, namely social purpose organizations and the clients…

数据库 · 计算机科学 2022-06-27 Mark S. Fox , Bart Gajderowicz , Daniela Rosu , Alina Turner , Lester Lyu

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…

计算机与社会 · 计算机科学 2018-01-09 Henry Kim , Marek Laskowski

Ontology matching (OM) enables semantic interoperability between different ontologies and resolves their conceptual heterogeneity by aligning related entities. OM systems currently have two prevailing design paradigms: conventional…

人工智能 · 计算机科学 2026-03-10 Zhangcheng Qiang , Weiqing Wang , Kerry Taylor

Even though modern service-oriented and data-oriented architectures promise to deliver loosely coupled control systems, they are inherently brittle as they commonly depend on a priori agreed interfaces and data models. At the same time, the…

天体物理仪器与方法 · 物理学 2013-10-22 Wim Pessemier , Gert Raskin , Hans Van Winckel , Geert Deconinck , Philippe Saey

This chapter contributes to evolving the versatility and complexity of blockchain-enabled services through extending the functionality of blockchain-enforced smart contracts. The contributions include: (i) a method for automated management…

密码学与安全 · 计算机科学 2018-06-29 Craig Wright , Antoaneta Serguieva

Context awareness is one of the important fields in ubiquitous computing. Smart Home, a specific instance of ubiquitous computing, provides every family with opportunities to enjoy the power of hi-tech home living. Discovering that…

网络与互联网体系结构 · 计算机科学 2010-07-09 Tam Van Nguyen , Wontaek Lim , Huy Nguyen , Deokjai Choi , Chilwoo Lee

Agents, whether software or hardware, perceive their environment through sensors and act using actuators, often operating in dynamic, partially observable settings. They face challenges like incomplete and noisy data, unforeseen situations,…

人工智能 · 计算机科学 2024-05-29 Saeedeh Ghanadbashi , Fatemeh Golpayegani
‹ 上一页 1 2 3 10 下一页 ›