咨询与建议

限定检索结果

文献类型

  • 21 篇 会议
  • 9 篇 期刊文献
  • 6 册 图书

馆藏范围

  • 36 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 21 篇 工学
    • 19 篇 计算机科学与技术...
    • 13 篇 软件工程
    • 2 篇 电气工程
    • 2 篇 信息与通信工程
    • 1 篇 动力工程及工程热...
    • 1 篇 控制科学与工程
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 安全科学与工程
  • 6 篇 理学
    • 5 篇 数学
    • 2 篇 系统科学
    • 1 篇 生物学
  • 1 篇 农学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理

主题

  • 3 篇 application soft...
  • 3 篇 computer archite...
  • 3 篇 petri nets
  • 3 篇 stochastic syste...
  • 3 篇 hardware
  • 3 篇 stochastic proce...
  • 2 篇 message passing
  • 2 篇 fault tolerance
  • 2 篇 monitoring
  • 2 篇 fault tolerant s...
  • 2 篇 performance anal...
  • 2 篇 steady-state
  • 2 篇 software
  • 2 篇 web services
  • 2 篇 memory architect...
  • 1 篇 iso
  • 1 篇 computer simulat...
  • 1 篇 optical material...
  • 1 篇 basic sciences
  • 1 篇 programming prof...

机构

  • 7 篇 fraunhofer insti...
  • 6 篇 fraunhofer insti...
  • 3 篇 julius-maximilia...
  • 2 篇 fraunhofer-insti...
  • 2 篇 fraunhofer insti...
  • 2 篇 fraunhofer insti...
  • 2 篇 kyushu institute...
  • 1 篇 electronics pack...
  • 1 篇 epfl
  • 1 篇 technical univer...
  • 1 篇 gmd research ins...
  • 1 篇 transportation s...
  • 1 篇 university of ma...
  • 1 篇 gmd institute fo...
  • 1 篇 fraunhofer first...
  • 1 篇 university of ap...
  • 1 篇 salk institute f...
  • 1 篇 fraunhofer insti...
  • 1 篇 cornell universi...
  • 1 篇 technische unive...

作者

  • 3 篇 c. lindemann
  • 2 篇 dietmar seipel
  • 2 篇 michael john
  • 2 篇 kock gerd
  • 2 篇 armin wolf
  • 1 篇 stephan weißlede...
  • 1 篇 masanobu umeda
  • 1 篇 veen arthur
  • 1 篇 behr peter m.
  • 1 篇 hua bi
  • 1 篇 european worksho...
  • 1 篇 thomas oliver
  • 1 篇 a. tavares
  • 1 篇 guido dornhege
  • 1 篇 jugel matthias l...
  • 1 篇 michael hanus
  • 1 篇 schlingloff bern...
  • 1 篇 sturmer ingo
  • 1 篇 matthias schmidt
  • 1 篇 l. rebenklau

语言

  • 33 篇 英文
  • 3 篇 中文
检索条件"机构=Fraunhofer Institute for Computer Architecture and Software Technology FIRST"
36 条 记 录,以下是1-10 订阅
An Overview of the Integrated Formalism RT-Z
收藏 引用
Formal Aspects of Computing 2022年 第2期13卷 94–110页
作者: Carsten Sühl Fraunhofer Institute for Computer Architecture and Software Technology (FIRST) Berlin Germany DE
We present an integration of the formal specification languages Z and timed CSP, called RT-Z, incorporating their combined strengths in a coherent frame. To cope with complex systems, RT-Z is equipped with structuring... 详细信息
来源: 评论
An Approach for Evaluating the Potential Impact of Anti-Patterns on Microservices Performance
An Approach for Evaluating the Potential Impact of Anti-Patt...
收藏 引用
IEEE International Conference on software architecture Workshops (ICSAW)
作者: Raghad Matar Jasmin Jahić Department of Architecture-Centric Engineering Fraunhofer Institute for Experimental Software Engineering Kaiserslautern Germany Department of Computer Science and Technology University of Cambridge Cambridge UK
The microservices architectural style has been increasingly adopted in recent years due to its advantageous characteristics. While there exist design patterns for microservices that are theoretically beneficial for en... 详细信息
来源: 评论
Applications of Declarative Programming and Knowledge Management: 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers  1
收藏 引用
丛书名: Lecture Notes in computer Science 7773 Lecture Notes in Artificial Intelligence
2013年
作者: Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller (auth.), Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf (eds.)
This book constitutes revised selected papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011, and the 25th Workshop on Logic Programming, WLP 2011, ...
来源: 评论
Modeling for automated test generation - A comparison
Modeling for automated test generation - A comparison
收藏 引用
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII - 8th Workshop on Model-Based Development of Embedded Systems, MBEES 2012
作者: Lackner, Hartmut Schlingloff, Bernd-Holger Fraunhofer Institute for Computer Architecture and Software Technology FIRST Berlin Germany
In this contribution, we compare and analyze different methodologies of modeling for test generation. As an example, we use an industrial requirement specification given in natural language, which describes a safety f... 详细信息
来源: 评论
Multi-core technology for fault tolerant high-performance spacecraft computer systems
Multi-core technology for fault tolerant high-performance sp...
收藏 引用
DAta Systems In Aerospace, DASIA 2012
作者: Behr, Peter M. Haulsen, Ivo Van Kampenhout, J. Reinier Pletner, Samuel Fraunhofer Institute for Computer Architecture and Software Technology Fraunhofer FIRST Kékulestr 7 12489 Berlin Germany
The current architectural trends in the field of multi-core processors can provide an enormous increase in processing power by exploiting the parallelism available in many applications. In particular because of their ... 详细信息
来源: 评论
From AUTOSAR models to co-simulation for MiL-testing in the automotive domain
From AUTOSAR models to co-simulation for MiL-testing in the ...
收藏 引用
5th IEEE International Conference on software Testing, Verification and Validation, ICST 2012
作者: Mews, Marcus Svacina, Jaroslav Weißleder, Stephan Department of Software Engineering and Theoretical Computer Science Technische Universität Berlin Germany Fraunhofer-Institute for Computer Architecture and Software Technology FIRST Berlin Germany
Models in testing are important for describing, understanding, and managing tests. In the automotive domain, AUTOSAR is an important standard to model components of electronic control units. AUTOSAR, however, lacks in... 详细信息
来源: 评论
From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain
From AUTOSAR Models to Co-simulation for MiL-Testing in the ...
收藏 引用
International Conference on software Testing, Verification, and Validation, ICST
作者: Marcus Mews Jaroslav Svacina Stephan Weißleder Department of Software Engineering and Theoretical Computer Science Technische Universität Berlin Germany Fraunhofer-Institute for Computer Architecture and Software Technology FIRST Berlin Germany
Models in testing are important for describing, understanding, and managing tests. In the automotive domain, AUTOSAR is an important standard to model components of electronic control units. AUTOSAR, however, lacks in... 详细信息
来源: 评论
Control variant-rich models by variability measures  11
Control variant-rich models by variability measures
收藏 引用
Proceedings of the 5th International Workshop on Variability Modeling of software-Intensive Systems
作者: Mann, Stefan Rock, Georg Fraunhofer Institute for Computer Architecture and Software Technology FIRST Kekuléstrabe 7 12489 Berlin Germany University of Applied Science Trier Computer Science Department Schneidershof 54293 Trier Germany
The embedded systems market and especially the software part of it is growing drastically in automotive industry. Today we see that the value of software or functionality that is realized using software within cars is... 详细信息
来源: 评论
Towards self-organization of networked medical devices
Towards self-organization of networked medical devices
收藏 引用
International Conference on Emerging Technologies and Factory Automation (ETFA)
作者: Andreas Kliem Joachim Hänsel Matthias Hovestadt Michael John Odej Kao Technische Universität Berlin Germany Fraunhofer Institute for Computer Architecture and Software Technology Germany
Soaring costs and an aging society originate the need for novel technologies in health care sector. Especially telemedicine and AAL systems are often promoted as such. Enabling patients to stay in their domestic envir... 详细信息
来源: 评论
An Evaluation of the Performance of DPWS on Embedded Devices in a Body Area Network
An Evaluation of the Performance of DPWS on Embedded Devices...
收藏 引用
International Conference on Advanced Information Networking and Applications Workshops (AINAW)
作者: Robert Hilbrich Fraunhofer Institute for Computer Architecture and Software Technology Berlin Germany
In view of the aging society, intelligent devices pervading everyday life are faced with important challenges, such as the ease of use and the ease of configuration. The whole potential of using a body area network wi... 详细信息
来源: 评论