中文
相关论文

相关论文: Pattern Reification as the Basis for Description-D…

200 篇论文

With the increasing technical sophistication of both information consumers and providers, there is increasing demand for more meaningful experiences of digital information. We present a framework that separates digital object experience, or…

数字图书馆 · 计算机科学 2007-05-23 Naomi Dushay

The evaluation mechanism of pattern matching with dynamic patterns is modelled in the Pure Pattern Calculus by one single meta-rule. This contribution presents a refinement which narrows the gap between the abstract calculus and its…

计算机科学中的逻辑 · 计算机科学 2011-02-21 Thibaut Balabonski

The development and deployment of systems using supervised machine learning (ML) remain challenging: mainly due to the limited reliability of prediction models and the lack of knowledge on how to effectively integrate human intelligence…

软件工程 · 计算机科学 2023-12-04 Jakob Smedegaard Andersen , Walid Maalej

Modern software development methodologies include reuse of open source code. Reuse can be facilitated by architectural knowledge of the software, not necessarily provided in the documentation of open source software. The effort required to…

软件工程 · 计算机科学 2011-10-11 Eleni Constantinou , George Kakarontzas , Ioannis Stamelos

The massive amount of current data has led to many different forms of data analysis processes that aim to explore this data to uncover valuable insights. Methodologies to guide the development of big data science projects, including…

软件工程 · 计算机科学 2018-12-27 Maria Cristina Vale Tavares , Paulo Alencar , Donald Cowan

Discovery Systems (DS) can be considered as entry points for global loosely coupled distributed systems. An efficient Discovery System in essence increases the performance, reliability and decision making capability of distributed systems.…

分布式、并行与集群计算 · 计算机科学 2007-07-06 A. Ali , A. Anjum , J. Bunn , F. Khan , R. McClatchey , H. Newman , C. Steenberg , M. Thomas , Ian Willers

This paper discusses the concept of model-driven software engineering applied to the Grid application domain. As an extension to this concept, the approach described here, attempts to combine both formal architecture-centric and…

软件工程 · 计算机科学 2007-05-23 David Manset , Herve Verjus , Richard McClatchey , Flavio Oquendo

Generation of software from modeling languages such as UML and domain specific languages (DSLs) has become an important paradigm in software engineering. In this contribution, we present some positions on software development in a model…

软件工程 · 计算机科学 2014-09-09 Bernhard Rumpe , Martin Schindler , Steven Völkel , Ingo Weisemöller

The Big Data landscape poses challenges in managing diverse data formats, requiring efficient storage and processing for high-quality analysis. Effective metadata management is crucial for organizing, accessing, and reusing data within…

数据库 · 计算机科学 2025-03-21 Claudia Diamantini , Alessandro Mele , Domenico Potena , Cristina Rossetti , Emanuele Storti

Learning a stable Linear Dynamical System (LDS) from data involves creating models that both minimize reconstruction error and enforce stability of the learned representation. We propose a novel algorithm for learning stable LDSs. Using a…

机器学习 · 计算机科学 2020-11-19 Giorgos Mamakoukas , Orest Xherija , T. D. Murphey

A self-adaptive system can modify its own structure and behavior at runtime based on its perception of the environment, of itself and of its requirements. To develop a self-adaptive system, software developers codify knowledge about the…

软件工程 · 计算机科学 2022-10-13 Andreas Metzger , Clément Quinton , Zoltán Ádám Mann , Luciano Baresi , Klaus Pohl

It is difficult to create robust, reusable, and reactive behaviors for robots that can be easily extended and combined. Frameworks such as Behavior Trees are flexible but difficult to characterize, especially when designing reactions and…

机器人学 · 计算机科学 2019-08-07 Chris Paxton , Nathan Ratliff , Clemens Eppner , Dieter Fox

Real-time human-device interaction in industrial Metaverse faces challenges such as high computational load, limited bandwidth, and strict latency. This paper proposes a task-oriented edge-assisted cross-system framework using digital twins…

机器人学 · 计算机科学 2025-08-29 Kan Chen , Zhen Meng , Xiangmin Xu , Jiaming Yang , Emma Li , Philip G. Zhao

Computer systems are so complex, so they are usually designed and analyzed in terms of layers of abstraction. Complexity is still a challenge facing logical reasoning tools that are used to find software design flaws and implementation…

软件工程 · 计算机科学 2021-06-18 Ramy Shahin

In this document, we develop a structured approach to the management of HPC resilience based on the concept of resilience-based design patterns. A design pattern is a general repeatable solution to a commonly occurring problem. We identify…

分布式、并行与集群计算 · 计算机科学 2016-12-30 Saurabh Hukerikar , Christian Engelmann

We investigate the application of semantic information theory to drug delivery systems (DDS) within the molecular communication (MC) framework. To operationalise this, we observe a DDS as a molecular concentration-based channel. Semantic…

信息论 · 计算机科学 2025-09-17 Milica Lekić , Mohammad Zoofaghari , Ilangko Balasingham , Mladen Veletić

Recent work on database application development platforms has sought to include a declarative formulation of a conceptual data model in the application code, using annotations or attributes. Some recent work has used metadata to include the…

数据库 · 计算机科学 2023-08-15 Malcolm Crowe , Fritz Laux

Monitoring Machine Learning (ML) models in production environments is crucial, yet traditional approaches often yield verbose, low-interpretability outputs that hinder effective decision-making. We propose a cognitive architecture for ML…

Model transformations are helpful to evolve, refactor, refine and maintain models. While domain-specific languages are normally intuitive for modelers, common model transformation approaches (regardless of whether they transform graphical…

软件工程 · 计算机科学 2015-11-18 Katrin Hölldobler , Bernhard Rumpe Ingo Weisemöller

The promise of increased agility, autonomy, scalability, and reusability has made the microservices architecture a \textit{de facto} standard for the development of large-scale and cloud-native commercial applications. Software patterns are…

‹ 上一页 1 8 9 10 下一页 ›