咨询与建议

限定检索结果

文献类型

  • 89 篇 会议
  • 38 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 72 篇 工学
    • 46 篇 计算机科学与技术...
    • 29 篇 软件工程
    • 15 篇 控制科学与工程
    • 9 篇 电子科学与技术(可...
    • 9 篇 信息与通信工程
    • 9 篇 航空宇航科学与技...
    • 8 篇 电气工程
    • 7 篇 土木工程
    • 6 篇 机械工程
    • 5 篇 交通运输工程
    • 5 篇 生物工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 动力工程及工程热...
    • 4 篇 建筑学
    • 4 篇 船舶与海洋工程
    • 3 篇 生物医学工程(可授...
  • 41 篇 理学
    • 16 篇 数学
    • 10 篇 物理学
    • 7 篇 系统科学
    • 5 篇 生物学
    • 4 篇 化学
    • 4 篇 海洋科学
    • 4 篇 统计学(可授理学、...
    • 2 篇 地质学
  • 24 篇 管理学
    • 20 篇 管理科学与工程(可...
    • 5 篇 工商管理
  • 5 篇 医学
    • 4 篇 临床医学
    • 3 篇 基础医学(可授医学...
  • 2 篇 法学
    • 2 篇 社会学
  • 1 篇 经济学
  • 1 篇 教育学

主题

  • 6 篇 software
  • 4 篇 software enginee...
  • 4 篇 testing
  • 4 篇 data models
  • 3 篇 embedded systems
  • 3 篇 servers
  • 3 篇 computational mo...
  • 3 篇 middleware
  • 3 篇 aerospace electr...
  • 3 篇 unified modeling...
  • 3 篇 robustness
  • 3 篇 engines
  • 2 篇 tools
  • 2 篇 runtime
  • 2 篇 airplanes
  • 2 篇 libraries
  • 2 篇 programming
  • 2 篇 peer to peer com...
  • 2 篇 application soft...
  • 2 篇 modeling languag...

机构

  • 5 篇 school of softwa...
  • 3 篇 system and softw...
  • 3 篇 system and softw...
  • 2 篇 school of mathem...
  • 2 篇 graduate school ...
  • 2 篇 software enginee...
  • 2 篇 department of ps...
  • 2 篇 department of me...
  • 2 篇 product lifecycl...
  • 2 篇 computer science...
  • 2 篇 informatics inst...
  • 2 篇 school of softwa...
  • 2 篇 innovative softw...
  • 2 篇 idis research gr...
  • 2 篇 system and techn...
  • 2 篇 software system ...
  • 2 篇 software enginee...
  • 2 篇 digital factory ...
  • 2 篇 sensor and syste...
  • 2 篇 soft computing a...

作者

  • 6 篇 armin zimmermann
  • 5 篇 zimmermann armin
  • 4 篇 ralph maschotta
  • 4 篇 hong min
  • 3 篇 tutut herawan
  • 3 篇 oliver hummel
  • 3 篇 sven jager
  • 3 篇 stefan burger
  • 3 篇 giese holger
  • 3 篇 tino jungebloud
  • 2 篇 nishimura hideka...
  • 2 篇 zhihua wei
  • 2 篇 zhenhua dong
  • 2 篇 weixiong rao
  • 2 篇 ingham michel d.
  • 2 篇 gong su
  • 2 篇 an lei
  • 2 篇 hummel oliver
  • 2 篇 enzhong wang
  • 2 篇 burger stefan

语言

  • 123 篇 英文
  • 2 篇 其他
  • 2 篇 中文
  • 1 篇 德文
检索条件"机构=System Software and Software Engineering Group"
127 条 记 录,以下是11-20 订阅
排序:
Static Analysis Techniques for Fixing software Defects in MPI-Based Parallel Programs
收藏 引用
Computers, Materials & Continua 2024年 第5期79卷 3139-3173页
作者: Norah Abdullah Al-Johany Sanaa Abdullah Sharaf Fathy Elbouraey Eassa Reem Abdulaziz Alnanih Department of Computer Science Faculty of Computing and Information TechnologyKing Abdulaziz UniversityJeddah21589Saudi Arabia Software Engineering and Distributed System Research Group King Abdulaziz UniversityJeddah21589Saudi Arabia
The Message Passing Interface (MPI) is a widely accepted standard for parallel computing on distributed ***, MPI implementations can contain defects that impact the reliability and performance of parallelapplications.... 详细信息
来源: 评论
An improved kangaroo transaction model using surrogate objects for distributed mobile system
An improved kangaroo transaction model using surrogate objec...
收藏 引用
10th ACM International Workshop on Data engineering for Wireless and Mobile Access, MobiDE'11
作者: Ravimaran, S. Maluk Mohamed, M.A. Software System Group Department of Computer Science and Engg. M.A.M. College of Engineering Anna University Tiruchirappalli India
The rapid growth in the use of wireless communication and mobile devices has created a potential for variety of mobile transaction support. The variety of mobile transaction models have already been developed for deal... 详细信息
来源: 评论
Tool support for the design of self-optimizing mechatronic multi-agent systems
收藏 引用
International Journal on software Tools for Technology Transfer 2008年 第3期10卷 207-222页
作者: Burmester, Sven Giese, Holger Münch, Eckehard Oberschelp, Oliver Klein, Florian Scheideler, Peter Software Engineering Group Department of Computer Science University of Paderborn Paderborn Germany System Analysis and Modeling Group Hasso Plattner Institute University of Potsdam Potsdam Germany Control Engineering and Mechatronics University of Paderborn Paderborn Germany Heinz Nixdorf Institute University of Paderborn Paderborn Germany
Complex technical systems, such as mechatronic systems, can exploit networking as well as the computational power available today to achieve an automatic improvement of the technical system performance at run-time thr... 详细信息
来源: 评论
Towards the automatic verification of behavior preservation at the transformation level for operational model transformations  4
Towards the automatic verification of behavior preservation ...
收藏 引用
4th Workshop on the Analysis of Model Transformations, AMT 2015 - co-located with the 18th International Conference on Model Driven engineering Languages and systems, MODELS 2015
作者: Dyck, Johannes Giese, Holger Lambers, Leen Schlesinger, Sebastian Glesner, Sabine System Analysis and Modeling Group Hasso Plattner Institute at the University of Potsdam Germany Software Engineering for Embedded Systems Technical University of Berlin Germany
The correctness of model transformations and, in particular, behavior preservation is important for model-driven engineering of high quality software. Behavior preservation verification techniques have been pre-sented...
来源: 评论
BPMashup: Dynamic execution of RESTful processes
BPMashup: Dynamic execution of RESTful processes
收藏 引用
2012 International Conference on Service-Oriented Computing, ICSOC 2012
作者: Xu, Xiwei Weber, Ingo Zhu, Liming Liu, Yan Rimba, Paul Lu, Qinghua Software System Research Group NICTA Australia School of Computer Science and Engineering UNSW Australia Pacific Northwest National Laboratory United States
来源: 评论
Dependability evaluation of complex systems with TimeNET
Dependability evaluation of complex systems with TimeNET
收藏 引用
1st Workshop on Dynamic Aspects in Dependability Models for Fault Tolerant systems, DYADEM-FTS 2010, Co-located to the European Dependable Computing Conference, EDCC 2010
作者: Zimmermann, Armin Technische Universität Ilmenau Faculty of Computer Science and Automation System and Software Engineering Group PF 100 565 D-98684 Ilmenau Germany
This paper presents recent changes to TimeNET, a software tool for the modeling and performability evaluation using stochastic Petri nets. A rare-event simulation module has been implemented for colored stochastic Pet... 详细信息
来源: 评论
Deriving architecture design variants for system optimization from design space descriptions expressed using a UML profile
Deriving architecture design variants for system optimizatio...
收藏 引用
2017 International Symposium on Model-Driven Approaches for Simulation engineering, Mod4Sim 2017, Part of the 2017 Spring Simulation Multi-Conference, SpringSim 2017
作者: Wichmann, Alexander Bedini, Francesco Maschotta, Ralph Zimmermann, Armin Technische Universität Ilmenau Department of Computer Science and Automation System and Software Engineering Group PO-Box 100 565 Ilmenau98684 Germany
In complex (dynamic) systems, models are usually too complex for a direct evaluation, and simulation is the method of choice (indirect optimization). Another aspect is the structure of the design space for complex sys... 详细信息
来源: 评论
Towards higher changeability for airplane cabin software
Towards higher changeability for airplane cabin software
收藏 引用
15th IASTED International Conference on software engineering and Applications, SEA 2011
作者: Burger, Stefan Heidinger, Emanuel Schneele, Stefan Hummel, Oliver Heinisch, Matthias Fischer, Wolfgang EADS Innovation Works Sensor and System Integration Munich Germany Software Engineering Group University of Mannheim Mannheim Germany Pre-Development Airbus Operations Buxtehude Germany
The development of airborne software is driven by rigorous safety requirements. Hence, it needs to be certified for adhering to safety standards set by governmental agencies, based on different criticality levels. Add... 详细信息
来源: 评论
Stream-based event prediction using Bayesian and bloom filters  13
Stream-based event prediction using Bayesian and bloom filte...
收藏 引用
2013 4th ACM/SPEC International Conference on Performance engineering, ICPE 2013
作者: Wang, Miao Holub, Viliam Murphy, John O'Sullivan, Patrick Performance Engineering Lab. School of Computer Science and Informatics University College Dublin Dublin Ireland Collaboration Solution System IBM Software Group Dublin Ireland
Nowadays, enterprise software systems store a large amount of operational information in logs. Manually analysing these data can be time-consuming and error-prone. Although a static knowledge database eases the task t... 详细信息
来源: 评论
Human Resource Application Development using Person-Job Matching for Placement of Prospective Employees  5
Human Resource Application Development using Person-Job Matc...
收藏 引用
5th International Conference on Advancement in Data Science, E-Learning and Information systems, ICADEIS 2023
作者: Putri, Alifiah Suakanto, Sinung Siswanto, Joko Arifin, Farah Fitriavida Darmawan, Irfan Angela, Dina Telkom University Faculty of Software Engineering Department of Information System Bandung Indonesia Bandung of Institute Technology Industrial Engineering Research Group Bandung Indonesia Faculty of Industrial Engineering Institut Teknologi Harapan Bangsa Information Techology Research Group Bandung Indonesia
The recruitment process presents a significant challenge for Human Resource (HR) staff, particularly in their ability to objectively assess candidate competencies and align them with job requirements. While qualitativ... 详细信息
来源: 评论