中文
相关论文

相关论文: Implementation of Formal Standard for Interoperabi…

200 篇论文

Large language model (LLM) serving infrastructures are undergoing a shift toward heterogeneity and disaggregation. Modern deployments increasingly integrate diverse accelerators and near-memory processing technologies, introducing…

分布式、并行与集群计算 · 计算机科学 2026-03-24 Jaehong Cho , Hyunmin Choi , Guseul Heo , Jongse Park

To extend the limited scope of autonomy used in prior missions for operation in distant and complex environments, there is a need to further develop and mature autonomy that jointly reasons over multiple subsystems, which we term…

The growth and development of institutions day by day especially universities are increasing very large number of peoples including employees as well as students, working on different domain in distance between multiple integrated…

软件工程 · 计算机科学 2014-05-16 Aftab Ahmed Chandio , Dingju Zhu , Ali Hassan Sodhro

DevOps is a trend towards a tighter integration between development (Dev) and operations (Ops) teams. The need for such an integration is driven by the requirement to continuously adapt enterprise applications (EAs) to changes in the…

Context: Modern Systems of Systems (SoSs) increasingly operate in dynamic environments (e.g., smart cities, autonomous vehicles) where runtime composition -- the on-the-fly discovery, integration, and coordination of constituent systems…

软件工程 · 计算机科学 2025-10-15 Muhammad Ashfaq , Ahmed R. Sadik , Teerath Das , Muhammad Waseem , Niko Makitalo , Tommi Mikkonen

Systems engineering approaches use high-level models to capture the architecture and behavior of the system. However, when safety engineers conduct safety and reliability analysis, they have to create formal models, such as fault-trees,…

软件工程 · 计算机科学 2020-04-29 Simon József Nagy , Bence Graics , Kristóf Marussy , András Vörös

The primal problem with Internet of Things (IoT) solutions for smart cities is the lack of interoperability at various levels, and more predominately at the device level. While there exist multitude of platforms from multiple manufacturers,…

系统与控制 · 计算机科学 2015-03-04 Prasant Misra , Vasanth Rajaraman , Kumaresh Dhotrad , Jay Warrior , Yogesh Simmhan

Industrial Product-Service Systems (IPSS) denote a service-oriented (SO) way of providing access to CPS capabilities. The design of such systems bears high risk due to uncertainty in requirements related to service function and behavior,…

软件工程 · 计算机科学 2022-05-09 Jürgen Dobaj , Andreas Riel , Thomas Krug , Matthias Seidl , Georg Macher , Markus Egretzberger

Co-simulation is a promising approach for the modelling and simulation of complex systems, that makes use of mature simulation tools in the respective domains. It has been applied in wildly different domains, oftentimes without a…

计算机与社会 · 计算机科学 2019-01-21 Gerald Schweiger , Claudio Gomes , Georg Engel , Josef-Peter Schoeggl , Alfred Posch , Irene Hafner , Thierry Nouidu

The MISE Project (Mediation Information System Engineering) aims at providing collaborating organizations with a Mediation Information System (MIS) in charge of supporting interoperability of a collaborative network. MISE proposes an…

软件工程 · 计算机科学 2015-10-01 Frederick Benaben , Nicolas Boissel-Dallier , Herve Pingaud , Jean-Pierre Lorre

Implementing a component-based system in a distributed way so that it ensures some global constraints is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the…

分布式、并行与集群计算 · 计算机科学 2010-07-30 Imene Ben-Hafaiedh , Susanne Graf , Hammadi Khairallah

MEMS devices are typical systems where multiphysics simulations are unavoidable. In this work, we present possible applications of 3-D self-assembled SOI (Silicon-on-Insulator) MEMS such as, for instance, thermal actuators and flow sensors.…

其他计算机科学 · 计算机科学 2007-11-29 C. Mendez , C. Louis , S. Paquay , P. De Vincenzo , I. Klapka , V. Rochus , F. Iker , Nicolas André , J. -P. Raskin

Introduction of DevOps into the software development life cycle represents a cultural shift in the IT culture, amalgamating development and operations to improve delivery speed in a rapid and maintainable manner. At the same time, security…

软件工程 · 计算机科学 2022-07-12 Akanksha Gupta

Robotic Mobile Fulfillment Systems (RMFS) rely on mobile robots for automated inventory transportation, coordinating order allocation and robot scheduling to enhance warehousing efficiency. However, optimizing RMFS is challenging due to…

人工智能 · 计算机科学 2026-05-06 Yibang Tang , Yifan Yang , Jingyuan Wang , Junhua Chen , Zhen Zhao

Ensuring the safe and efficient operation of CAVs relies heavily on the software framework used. A software framework needs to ensure real-time properties, reliable communication, and efficient resource utilization. Furthermore, a software…

多智能体系统 · 计算机科学 2025-05-07 David Klüner , Simon Schäfer , Lucas Hegerath , Jianye Xu , Julius Kahle , Hazem Ibrahim , Alexandru Kampmann , Bassam Alrifaee

In the paper by W. Dai et al. (IEEE Trans. On Industrial Informatics, vol. 11, no. 3, pp. 771-781, June 2015), a formal mapping between IEC 61499 and SOA is presented and a SOA-based execution environment architecture is described. In this…

软件工程 · 计算机科学 2015-11-10 Kleanthis Thramboulidis

Model-Based Systems Engineering (MBSE) is widely treated as the backbone of digital engineering, with languages such as the Systems Modeling Language (SysML) providing the means to capture system structure, behaviour, and verification…

软件工程 · 计算机科学 2026-05-13 Charles Lewis , Amal Elsokary , Siyuan Ji

Most of current Software-as-a-Service (SaaS) applications are developed as customizable service-oriented applications that serve a large number of tenants (users) by one application instance. The current rapid evolution of SaaS applications…

软件工程 · 计算机科学 2014-11-10 Ashraf A. Shahin

Enabled and driven by modern advances in wireless telecommunication and artificial intelligence, the convergence of communication, computing, and control is becoming inevitable in future industrial applications. Analytical and optimizing…

系统与控制 · 电气工程与系统科学 2022-11-07 Bin Han , Hans D. Schotten

The efficiency and accuracy of mapping are crucial in a large scene and long-term AR applications. Multi-agent cooperative SLAM is the precondition of multi-user AR interaction. The cooperation of multiple smart phones has the potential to…

机器人学 · 计算机科学 2021-06-24 Jialing Liu , Ruyu Liu , Kaiqi Chen , Jianhua Zhang , Dongyan Guo