咨询与建议

限定检索结果

文献类型

  • 526 篇 会议
  • 196 篇 期刊文献
  • 21 册 图书

馆藏范围

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

日期分布

学科分类号

  • 466 篇 工学
    • 376 篇 计算机科学与技术...
    • 307 篇 软件工程
    • 55 篇 信息与通信工程
    • 52 篇 控制科学与工程
    • 27 篇 电气工程
    • 27 篇 土木工程
    • 24 篇 电子科学与技术(可...
    • 23 篇 船舶与海洋工程
    • 22 篇 生物工程
    • 19 篇 机械工程
    • 16 篇 建筑学
    • 15 篇 网络空间安全
    • 14 篇 生物医学工程(可授...
    • 10 篇 材料科学与工程(可...
    • 9 篇 农业工程
  • 222 篇 理学
    • 124 篇 数学
    • 38 篇 系统科学
    • 35 篇 物理学
    • 29 篇 生物学
    • 27 篇 统计学(可授理学、...
    • 21 篇 海洋科学
  • 117 篇 管理学
    • 76 篇 管理科学与工程(可...
    • 44 篇 图书情报与档案管...
    • 41 篇 工商管理
  • 18 篇 经济学
    • 17 篇 应用经济学
  • 15 篇 法学
    • 14 篇 社会学
  • 15 篇 教育学
    • 13 篇 教育学
  • 15 篇 医学
    • 12 篇 临床医学
    • 11 篇 基础医学(可授医学...
  • 12 篇 农学
    • 11 篇 作物学
  • 3 篇 文学
  • 2 篇 哲学
  • 1 篇 军事学

主题

  • 21 篇 application soft...
  • 21 篇 artificial intel...
  • 20 篇 software enginee...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 10 篇 java
  • 9 篇 computer archite...
  • 9 篇 model checking
  • 9 篇 analytical model...
  • 8 篇 computer science
  • 8 篇 software systems
  • 8 篇 electronic mail

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 8 篇 programming syst...
  • 7 篇 chair for progra...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 programming syst...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of pr...
  • 5 篇 technical univer...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...

作者

  • 49 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 22 篇 bernhard steffen
  • 18 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 14 篇 tiziana margaria
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 12 篇 christopher muts...
  • 10 篇 veska gancheva
  • 9 篇 wang cheng
  • 9 篇 lamprecht anna-l...
  • 9 篇 youfeng wu
  • 9 篇 christiansen hen...
  • 9 篇 naujokat stefan
  • 9 篇 niehren joachim
  • 8 篇 mostafa abotaleb

语言

  • 714 篇 英文
  • 19 篇 其他
  • 6 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Programming Systems"
743 条 记 录,以下是281-290 订阅
排序:
The technique for computer systems Trojan diagnosis in the monitor mode
The technique for computer systems Trojan diagnosis in the m...
收藏 引用
IEEE International Workshop on Intelligent Data Acquisition and Advanced Computing systems: Technology and Applications
作者: Segiy Lysenko Oleg Savenko System programming Department Khmelnitsky National University Khmelnitskiy Ukraine Computer Systems and Programming Faculty Lecturer of System programming Department Khmelnitsky National University Khmelnitskiy Ukraine
New technique for computer system Trojan diagnosis in monitor mode which uses fuzzy logic and allows improving reliability and efficiency is developed.
来源: 评论
Offline Validation of Firewalls
Offline Validation of Firewalls
收藏 引用
Annual IEEE/ NASA Goddard Workshop on Software Engineering
作者: Stephan Windmuller Chair for Programming Systems Technical University Dortmund Dortmund Germany
This paper introduces a simulation environment for testing firewall configurations without the need of an actual, complex network setup. It assists the user in defining the required rule set based on an existing, info... 详细信息
来源: 评论
Executable Requirements Specification: Formal Semantics of Live Activity Diagrams
Executable Requirements Specification: Formal Semantics of L...
收藏 引用
Theoretical Aspects of Software Engineering (TASE)
作者: Christoph Knieke Michaela Huhn Malte Lochau TU Braunschweig Institute for Programming and Reactive Systems Brunswick Germany
Errors, inconsistences, incompletenesses and ambiguities in the requirements specification are major reasons for the failure of IT projects. Since the new major version 2 of the UML, the suitability of activity diagra... 详细信息
来源: 评论
Interpreting patient data using medical background knowledge
Interpreting patient data using medical background knowledge
收藏 引用
3rd International Conference on Biomedical Ontology 2012, ICBO 2012
作者: Oberkampf, Heiner Zillner, Sonja Bauer, Bernhard Hammon, Matthias Corporate Technology Siemens AG 81739 Munich Germany Programming Distributed Systems University of Augsburg 86135 Augsburg Germany University Hospital Erlangen 91054 Erlangen Germany
Clinical patient data, such as medical images and reports, establish the basis of the diagnostic process. In order to improve the access to heterogeneous and distributed clinical data sources recent work concentrates ... 详细信息
来源: 评论
Static and Dynamic Dependency Visualization in a Layered Software City
收藏 引用
SN Computer Science 2022年 第6期3卷 511页
作者: Dashuber, Veronika Philippsen, Michael QAware GmbH Aschauer Str. 32 Munich 81549 Germany Programming Systems Group Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) Martensstr. 3 Erlangen 91058 Germany
A Software City is an established way to visualize metrics such as the test coverage or complexity. As current layouting algorithms are mainly based on the static code structure, dependencies that are orthogonal to th... 详细信息
来源: 评论
A declarative pipeline language for complex data analysis
A declarative pipeline language for complex data analysis
收藏 引用
22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012
作者: Christiansen, Henning Theil Have, Christian Torp Lassen, Ole Petit, Matthieu Research Group PLIS: Programming Logic and Intelligent Systems Department of Communication Business and Information Technologies Roskilde University P.O. Box 260 Roskilde 4000 Denmark
We introduce BANpipe - a logic-based scripting language designed to model complex compositions of time consuming analyses. Its declarative semantics is described together with alternative operational semantics facilit... 详细信息
来源: 评论
Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented Perspective
Requirement-Driven Evaluation of Remote ERP-System Solutions...
收藏 引用
Annual IEEE/ NASA Goddard Workshop on Software Engineering
作者: Markus Doedt Bernhard Steffen Chair of Programming Systems Technical University Dortmund Dortmund Germany
This paper systematically evaluates four different APIs provided by popular ERP systems (SAP BAPI, SAP eSOA, Microsoft Dynamics NAV and Intuit Quick books) according to their potential for service-oriented enterprise ... 详细信息
来源: 评论
An Evaluation of Service Integration Approaches of Business Process Management systems
An Evaluation of Service Integration Approaches of Business ...
收藏 引用
Annual IEEE/ NASA Goddard Workshop on Software Engineering
作者: Markus Doedt Bernhard Steffen Chair of Programming Systems TU Dortmund University Dortmund Germany
In this paper, we evaluate and categorize how five representative, Java-based, state-of-the-art business process management systems, namely jBPM (4.x and 5.x), Activiti, AristaFlow and jABC, realize the integration of... 详细信息
来源: 评论
FormulaBuilder: A tool for graph-based modelling and generation of formulae
FormulaBuilder: A tool for graph-based modelling and generat...
收藏 引用
28th International Conference on Software Engineering 2006, ICSE '06
作者: Jörges, Sven Margaria, Tiziana Steffen, Bernhard Department of Programming Systems Otto-Hahn-Str. 14 44227 Dortmund Germany Department of Service and Software Engineering August-Bebel-Str. 89 14482 Potsdam
In this paper we present the FormulaBuilder, a flexible tool for graph-based modelling and generation of formulae. The FormulaBuilder allows easy and intuitive creation of formulae by using basic components called For... 详细信息
来源: 评论
Development and Analysis of Genetic Algorithm for Optimization of Continuous Cast Billets Warehousing Process
Development and Analysis of Genetic Algorithm for Optimizati...
收藏 引用
2024 International Russian Smart Industry Conference, SmartIndustryCon 2024
作者: Shchegolikhin, Ivan S. Andreev, Sergey M. Nosov Magnitogorsk State Technical University Department of Computer Engineering and Programming Magnitogorsk Russia Nosov Magnitogorsk State Technical University Department of Automated Control Systems Magnitogorsk Russia
Warehouses are an important logistic component of various companies. Warehouses may have different layouts, equipment and their own features. Optimization of warehouse operations can decrease overhead costs and increa... 详细信息
来源: 评论