English
Related papers

Related papers: Semantic interoperability and characterization of …

200 papers

The use of adaptive workflow management for in situ visualization and analysis has been a growing trend in large-scale scientific simulations. However, coordinating adaptive workflows with traditional procedural programming languages can be…

Programming Languages · Computer Science 2023-03-30 Qi Wu , Tyson Neuroth , Oleg Igouchkine , Konduri Aditya , Jacqueline H. Chen , Kwan-Liu Ma

Broadly speaking, there are two kinds of semantics-aware assistant systems for mathematics: proof assistants express the semantic in logic and emphasize deduction, and computer algebra systems express the semantics in programming languages…

Logic in Computer Science · Computer Science 2013-06-14 Michael Kohlhase , Felix Mance , Florian Rabe

In the SysLab project we develop a software engineering method based on a mathematical foundation. The SysLab system model serves as an abstract mathematical model for information systems and their components. It is used to formalize the…

Software Engineering · Computer Science 2014-09-26 Cornel Klein , Bernhard Rumpe , Manfred Broy

Software is a communication system. The usual topic of communication is program behavior, as encoded by programs. Domain-specific libraries are codebooks, domain-specific languages are coding schemes, and so forth. To turn metaphor into…

Software Engineering · Computer Science 2007-07-30 Todd L. Veldhuizen

Modeling and Simulation (M&S) is finding increasing application in development and testing of command and control systems comprised of information-intensive component systems. Achieving interoperability is one of the chief System of Systems…

Software Engineering · Computer Science 2024-07-31 Saurabh Mittal , Bernard P. Zeigler , José L. Risco-Martín

More often than not, there is a need to understand the structure of complex computer code: what functions and in what order they are called, how information travels around static, input, and output variables, what depends on what. As a…

Software Engineering · Computer Science 2016-10-10 Igor Polkovnikov

Our vision paper outlines a plan to improve the future of semantic interoperability in data spaces through the application of machine learning. The use of data spaces, where data is exchanged among members in a self-regulated environment,…

Databases · Computer Science 2023-03-17 Zeyd Boukhers , Christoph Lange , Oya Beyan

Stream processing is extensively used in the IoT-to-Cloud spectrum to distill information from continuous streams of data. Streaming applications usually run in dedicated Stream Processing Engines (SPEs) that adopt the DataFlow model, which…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-03-03 Vincenzo Gulisano , Alessandro Margara , Marina Papatriantafilou

Large systems biology projects can encompass several workgroups often located in different countries. An overview about existing data standards in systems biology and the management, storage, exchange and integration of the generated data…

Databases · Computer Science 2009-12-15 Gerhard Mayer

The MTP is an emerging standard for the software integration of process modules into a control system. The core concept of MTP is to separate process plants into autonomous modules called PEA which offer easy to use high level services.…

Software Engineering · Computer Science 2023-03-14 Christian Barth , Tobias Klausmann , Andreas Bayha , Matthias Freund , Kathrin Gerber

Modern software systems increasingly integrate machine learning (ML) due to its advancements and ability to enhance data-driven decision-making. However, this integration introduces significant challenges for software engineering,…

Software Engineering · Computer Science 2025-11-03 Luz-Viviana Cobaleda , Julián Carvajal , Paola Vallejo , Andrés López , Raúl Mazo

Nowadays ontologies present a growing interest in Data Fusion applications. As a matter of fact, the ontologies are seen as a semantic tool for describing and reasoning about sensor data, objects, relations and general domain theories. In…

Artificial Intelligence · Computer Science 2011-06-21 Amandine Bellenger , Sylvain Gatepaille

Advanced bioimaging technologies have enabled the large-scale acquisition of multidimensional data, yet effective metadata management and interoperability remain significant challenges. To address these issues, we propose a new…

Digital Libraries · Computer Science 2025-08-05 Yuki Yamagata , Koji Kyoda , Hiroya Itoga , Emi Fujisawa , Shuichi Onami

Over the last years, there has been a change of perspective concerning the management of information systems, since they are no longer isolated and need to communicate with others. However, from a semantic point of view, real communication…

Multiagent Systems · Computer Science 2024-01-23 Idoia Berges , Jesús Bermúdez , Alfredo Goñi , Arantza Illarramendi

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…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-03-12 Tao Gu , Xiao Hang Wang , Hung Keng Pung , Da Qing Zhang

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,…

Cryptography and Security · Computer Science 2009-06-23 C. H. Liu , Y. F. Lin , Jason J. Y. Chen

This paper describes an approach to the representation and processing of ontologies in the Semantic Web, based on the ICMAUS theory of computation and AI. This approach has strengths that complement those of languages based on the Resource…

Artificial Intelligence · Computer Science 2007-05-23 J Gerard Wolff

IT services provisioning is usually underpinned by service level agreements (SLAs), aimed at guaranteeing services quality. However, there is a gap between the customer perspective (business oriented) and that of the service provider…

Software Engineering · Computer Science 2011-10-03 Anacleto Correia , Fernando Brito e Abreu , Vasco Amaral

Ontologies provide conceptual abstractions over data, in domains such as the Internet of Things, in a way that sensor data can be harvested and interpreted by people and applications. The Semantic Sensor Network (SSN) ontology is the…

Artificial Intelligence · Computer Science 2016-06-22 Prem Prakash Jayaraman , Jean-Paul Calbimonte , Hoan Nguyen Mau Quoc

An established trend in software engineering insists on using components (sometimes also called services or packages) to encapsulate a set of related functionalities or data. By defining interfaces specifying what functionalities they…

Software Engineering · Computer Science 2015-07-29 Daniel Ricardo dos Santos , Silvio Ranise , Serena Elisa Ponta