摊位 发表于 2025-3-27 00:11:16

http://reply.papertrans.cn/88/8711/871056/871056_31.png

摊位 发表于 2025-3-27 01:11:09

Co-simulation of Physical Model and Self-Adaptive Predictive Controller Using Hybrid Automata verification and reachability analysis techniques. In this paper, we explore recent studies on co-simulation of SAP controllers and propose a novel co-simulation platform that can be used to analyze the effectiveness of verification and reachability analysis techniques developed for SAP controllers.

Frequency 发表于 2025-3-27 06:49:19

Explaining Successful Docker Images Using Pattern Mining Analysishence on the potential revenues of its developers. In this paper, we present a frequent pattern mining-based approach for understanding how to improve an image to increase its popularity. The results in this work can provide valuable insights to Docker image providers, helping them to design more competitive software products.

exceptional 发表于 2025-3-27 09:54:40

http://reply.papertrans.cn/88/8711/871056/871056_34.png

粉笔 发表于 2025-3-27 16:52:06

http://reply.papertrans.cn/88/8711/871056/871056_35.png

lymphoma 发表于 2025-3-27 20:35:50

http://reply.papertrans.cn/88/8711/871056/871056_36.png

BINGE 发表于 2025-3-28 01:51:56

Benjamin Bossa,Benjamin Boulbene,Sébastien Dubé,Marc Pantelstems. These proceedings are once more structured so that the reader can readily compare the response of different material systems and evaluate the suitability of the range of models presented to the materials he is interested in. In fact a number of papers directly compare the of a range of different materi978-94-011-3688-4

泛滥 发表于 2025-3-28 03:25:47

Imane Lamrani,Ayan Banerjee,Sandeep K. S. Guptastems. These proceedings are once more structured so that the reader can readily compare the response of different material systems and evaluate the suitability of the range of models presented to the materials he is interested in. In fact a number of papers directly compare the of a range of different materi978-94-011-3688-4

招人嫉妒 发表于 2025-3-28 08:18:45

stems. These proceedings are once more structured so that the reader can readily compare the response of different material systems and evaluate the suitability of the range of models presented to the materials he is interested in. In fact a number of papers directly compare the of a range of different materi978-94-011-3688-4

Esophagitis 发表于 2025-3-28 12:22:37

http://reply.papertrans.cn/88/8711/871056/871056_40.png
页: 1 2 3 [4] 5 6
查看完整版本: Titlebook: Software Technologies: Applications and Foundations; STAF 2018 Collocated Manuel Mazzara,Iulian Ober,Gwen Salaün Conference proceedings 201