中文
相关论文

相关论文: The Design of a COM-Oriented Module System

200 篇论文

Component-based development is challenging in a distributed setting, for starters considering programming a task may involve the assembly of loosely-coupled remote components. In order for the task to be fulfilled, the supporting…

编程语言 · 计算机科学 2020-09-18 Zorica Savanović , Letterio Galletta , Hugo Torres Vieira

We develop an interface-modeling framework for quality and resource management that captures configurable working points of hardware and software components in terms of functionality, resource usage and provision, and quality indicators…

计算机科学中的逻辑 · 计算机科学 2023-06-22 Martijn Hendriks , Marc Geilen , Kees Goossens , Rob de Jong , Twan Basten

The design of embedded systems, that are ubiquitously used in mobile devices and cars, is becoming continuously more complex such that efficient system-level design methods are becoming crucial. My research aims at developing systems that…

人工智能 · 计算机科学 2019-05-15 Philipp Wanko

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…

软件工程 · 计算机科学 2015-07-29 Daniel Ricardo dos Santos , Silvio Ranise , Serena Elisa Ponta

Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between assumptions, which are constraints that the designer of a component puts on the…

形式语言与自动机理论 · 计算机科学 2020-05-11 Ezio Bartocci , Thomas Ferrère , Thomas A. Henzinger , Dejan Nickovic , Ana Oliveira da Costa

Large language models (LLMs) achieve strong performance across a wide range of tasks, but remain frozen after pretraining until subsequent updates. Many real-world applications require timely, domain-specific information, motivating the…

Modern frameworks for development of graphical interfaces are using the native controls of the operating system. Because of that they are using operating system events model for inter-component communication. We consider a method to…

软件工程 · 计算机科学 2007-05-23 Vaghinak Petrosyan

This paper introduces a conceptual, yet quantifiable, architecture framework by extending the notion of system modularity in its broadest sense. Acknowledging that modularity is not a binary feature and comes in various types and levels,…

系统与控制 · 计算机科学 2016-08-05 Babak Heydari , Mohsen Mosleh , Kia Dalili

The purpose of this paper is the modeling of a repository for modules and interfaces that must include all integrated information system management of a port terminal.Modules will provide a basic framework necessary for automatic management…

软件工程 · 计算机科学 2013-06-20 Ahmed Faouzi , Charif Mabrouki , Alami Semma

The theoretical ability of modular robots to reconfigure in response to complex tasks in a priori unknown environments has frequently been cited as an advantage and remains a major motivator for work in the field. We present a modular robot…

机器人学 · 计算机科学 2018-12-14 Jonathan Daudelin , Gangyuan Jing , Tarik Tosun , Mark Yim , Hadas Kress-Gazit , Mark Campbell

The objective of this article is to provide for the reader a basic description of all the steps involved in the COM object life-cycle process. COM is a software technology and process performer. The first section briefly introduces the…

操作系统 · 计算机科学 2009-12-22 Emil Vassev

The Metadata Object Description Schema (MODS) was developed to describe bibliographic concepts and metadata and is maintained by the Library of Congress. Its authoritative version is given as an XML schema based on an XML mindset which…

计算与语言 · 计算机科学 2023-08-02 Rushrukh Rayan , Cogan Shimizu , Heidi Sieverding , Pascal Hitzler

Interface theories are powerful frameworks supporting incremental and compositional design of systems through refinements and constructs for conjunction, and parallel composition. In this report we present a first Interface Theor -- |Modal…

计算机科学中的逻辑 · 计算机科学 2020-11-19 Albert Benveniste , Kim Larsen , Jean-Baptiste Raclet

In data modelling, product information has most often been handled separately from process information. The integration of product and process models in a unified data model could provide the means by which information could be shared…

仪器与探测器 · 物理学 2007-05-23 J. -M. Le Goff , I. Willers , Z. Kovacs , R. McClatchey

The auto differentiable simulation is a type of simulation that outputs of the simulation include not only the simulation result itself, but also their derivatives with respect to various input parameters. It provides an efficient method to…

计算物理 · 物理学 2025-12-01 Ji Qianga , Yue Hao , Allen Qiang , Jinyu Wan

Many biological systems dynamically rearrange their components through a sequence of configurations in order to perform their functions. Such dynamic processes have been studied using network models that sequentially retrieve a set of…

统计力学 · 物理学 2022-12-01 Lukas Herron , Pablo Sartori , BingKan Xue

Combinatorial design theory studies set systems with certain balance and symmetry properties and has applications to computer science and elsewhere. This paper presents a modular approach to formalising designs for the first time using…

计算机科学中的逻辑 · 计算机科学 2024-01-08 Chelsea Edmonds , Lawrence Paulson

The plethora of existing data models and specific data modeling techniques is not only confusing but leads to complex, eclectic and inefficient designs of systems for data management and analytics. The main goal of this paper is to describe…

数据库 · 计算机科学 2016-06-08 Alexandr Savinov

Existing literature in Continual Learning (CL) has focused on overcoming catastrophic forgetting, the inability of the learner to recall how to perform tasks observed in the past. There are however other desirable properties of a CL system,…

机器学习 · 计算机科学 2021-02-15 Tom Veniat , Ludovic Denoyer , Marc'Aurelio Ranzato

The main goal of concept-oriented programming (COP) is describing how objects are represented and accessed. It makes references (object locations) first-class elements of the program responsible for many important functions which are…

软件工程 · 计算机科学 2014-09-16 Alexandr Savinov