咨询与建议

限定检索结果

文献类型

  • 145 篇 会议
  • 74 篇 期刊文献
  • 9 册 图书

馆藏范围

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

日期分布

学科分类号

  • 140 篇 工学
    • 100 篇 计算机科学与技术...
    • 88 篇 软件工程
    • 17 篇 控制科学与工程
    • 10 篇 信息与通信工程
    • 9 篇 土木工程
    • 9 篇 船舶与海洋工程
    • 8 篇 电气工程
    • 7 篇 机械工程
    • 5 篇 建筑学
    • 5 篇 生物医学工程(可授...
    • 5 篇 生物工程
    • 4 篇 力学(可授工学、理...
    • 4 篇 航空宇航科学与技...
    • 4 篇 环境科学与工程(可...
    • 4 篇 安全科学与工程
    • 3 篇 材料科学与工程(可...
  • 78 篇 理学
    • 48 篇 数学
    • 16 篇 系统科学
    • 12 篇 物理学
    • 12 篇 统计学(可授理学、...
    • 7 篇 海洋科学
    • 6 篇 生物学
  • 30 篇 管理学
    • 22 篇 管理科学与工程(可...
    • 10 篇 图书情报与档案管...
    • 8 篇 工商管理
  • 7 篇 医学
    • 6 篇 临床医学
    • 5 篇 基础医学(可授医学...
  • 5 篇 教育学
    • 4 篇 教育学
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 4 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
  • 1 篇 军事学

主题

  • 10 篇 unified modeling...
  • 8 篇 software enginee...
  • 7 篇 semantics
  • 7 篇 testing
  • 6 篇 software
  • 5 篇 programming
  • 5 篇 embedded systems
  • 5 篇 petri nets
  • 5 篇 analytical model...
  • 5 篇 artificial intel...
  • 4 篇 runtime
  • 4 篇 safety
  • 4 篇 application soft...
  • 4 篇 model checking
  • 4 篇 software archite...
  • 4 篇 optimization
  • 4 篇 monitoring
  • 4 篇 control systems
  • 4 篇 dipper throated ...
  • 4 篇 hardware

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 6 篇 department of co...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...
  • 5 篇 institute of sof...
  • 4 篇 school of electr...
  • 4 篇 department of el...
  • 4 篇 department of co...
  • 4 篇 institute for pr...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 3 篇 institute for so...

作者

  • 13 篇 goltz ursula
  • 13 篇 lochau malte
  • 8 篇 mostafa abotaleb
  • 8 篇 abdelhameed ibra...
  • 7 篇 tichy matthias
  • 6 篇 bauer bernhard
  • 6 篇 schaefer ina
  • 6 篇 christopher muts...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 leucker martin
  • 5 篇 ursula goltz
  • 5 篇 doaa sami khafag...
  • 5 篇 malte lochau
  • 4 篇 mennicke stephan
  • 4 篇 michael philipps...
  • 4 篇 lity sascha
  • 4 篇 van glabbeek rob
  • 4 篇 kolesnikova s.i.
  • 4 篇 matthias hagner

语言

  • 224 篇 英文
  • 3 篇 其他
  • 1 篇 日文
检索条件"机构=Institute of Programming Systems"
228 条 记 录,以下是131-140 订阅
排序:
Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe  12
Industrial evaluation of pairwise SPL testing with MoSo-PoLi...
收藏 引用
6th International Workshop on Variability Modeling of Software-Intensive systems, VaMoS'12
作者: Steffens, Michaela Oster, Sebastian Lochau, Malte Fogdal, Thomas Danfoss Power Electronics A/S Denmark Real-Time Systems Group Technische Universität Darmstadt Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany
Testing Software Product Lines is a very challenging task due to variability. Frequently, approaches such as combinatorial testing are used to generate representative sets of products for testing purposes instead of t... 详细信息
来源: 评论
Learning event detection rules with noise hidden Markov models
Learning event detection rules with noise hidden Markov mode...
收藏 引用
2012 NASA/ESA Conference on Adaptive Hardware and systems, AHS 2012
作者: Mutschler, Christopher Philippsen, Michael Programming Systems Group CS Dept. University of Erlangen-Nuremberg Germany Sensor Fusion and Event Processing Group Locating and Comm. Systems Dept. Fraunhofer Institute for Integrated Circuits IIS Erlangen Germany
Complex Event Processing (CEP) is a popular method to monitor processes in several contexts, especially when dealing with incidents at distinct points in time. Specific temporal combinations of various events are ofte... 详细信息
来源: 评论
Communication-free detection of resource conflicts in multi-agent-based cyber-physical systems
IEEE International Conference on Digital Ecosystems and Tech...
收藏 引用
IEEE International Conference on Digital Ecosystems and Technologies 2012年
作者: Le, Nguyen-Thinh Märtin, Lukas Mumme, Christopher Pinkwart, Niels Department of Informatics Clausthal University of Technology Germany Institute for Programming and Reactive Systems TU Braunschweig Germany
Multi-agent approaches can be applied to model behaviour and relations of entities in cyber-physical systems. Here entities frequently compete on insufficient resources (e.g., hardware) at the same time. Hence, resour... 详细信息
来源: 评论
Keyterm extraction from microblogs' messages using Wikipedia-based keyphraseness measure
Keyterm extraction from microblogs' messages using Wikipedia...
收藏 引用
International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT)
作者: Anton Korshunov Information Systems Department The Institute for System Programming Russian Academy of Sciences Moscow Russia
The paper describes a method for keyterm extraction from messages of microblogs. The described approach utilizes the information obtained by the analysis of structure and content of Wikipedia. The algorithm is based o... 详细信息
来源: 评论
Delta-oriented model-based SPL regression testing
Delta-oriented model-based SPL regression testing
收藏 引用
International Workshop on Product Line Approaches in Software Engineering (PLEASE)
作者: Sascha Lity Malte Lochau Ina Schaefer Ursula Goltz Institute for Programming and Reactive Systems Technical University of Braunschweig Brunswick Germany Institute for Software Systems Engineering Technical University of Braunschweig Brunswick Germany
Testing software product lines by considering each product variant in isolation is impracticable due to the high number of potential product configurations. Therefore, applying SPL reuse principles also to test artifa... 详细信息
来源: 评论
Communication-free detection of resource conflicts in multi-agent-based cyber-physical systems
Communication-free detection of resource conflicts in multi-...
收藏 引用
Inaugural IEEE-IES Digital Ecosystems and Technologies Conference, DEST
作者: Nguyen-Thinh Le Lukas Märtin Christopher Mumme Niels Pinkwart Department of Informatics Clausthal University of Technology Germany Institute for Programming and Reactive Systems Technical University of Braunschweig Germany
Multi-agent approaches can be applied to model behaviour and relations of entities in cyber-physical systems. Here entities frequently compete on insufficient resources (e.g., hardware) at the same time. Hence, resour... 详细信息
来源: 评论
Ontology design for medical diagnostic knowledge
Advances in Intelligent and Soft Computing
收藏 引用
Advances in Intelligent and Soft Computing 2012年 99卷 175-189页
作者: Jaszuk, M. Szostek, G. Walczak, A. Programming Department University of Information Technology and Management Rzeszów Poland Information Systems Institute Military University of Technology Warsaw Poland
The paper gives an overview of research devoted to developing a semi-automatic methodology of building a semantic model of medical diagnostic knowledge. The methodology is based on natural language processing methods ... 详细信息
来源: 评论
Towards integrated rule-driven software development for IT ecosystems
IEEE International Conference on Digital Ecosystems and Tech...
收藏 引用
IEEE International Conference on Digital Ecosystems and Technologies 2012年
作者: Mensing, Benjamin Goltz, Ursula AniculǍesei, Adina Herold, Sebastian Rausch, Andreas Gärtner, Stefan Schneider, Kurt TU Braunschweig Institute for Programming and Reactive Systems 38106 Braunschweig Germany TU Clausthal Software Systems Engineering Group 38670 Clausthal-Zellerfeld Germany Leibniz Universität Hannover Software Engineering Group 30167 Hannover Germany
Modern large-scale software-intensive systems are complex conglomerates of interacting (socio-) technical systems. The single systems are highly adaptive and autonomous leading to emergent behavior. Well-established d... 详细信息
来源: 评论
Towards integrated rule-driven software development for IT ecosystems
Towards integrated rule-driven software development for IT e...
收藏 引用
Inaugural IEEE-IES Digital Ecosystems and Technologies Conference, DEST
作者: Benjamin Mensing Ursula Goltz Adina Aniculăesei Sebastian Herold Andreas Rausch Stefan Gärtner Kurt Schneider Institute for Programming and Reactive Systems Technical University of Braunschweig Brunswick Germany Software Systems Engineering Group Technical University of Clausthal-Zellerfeld Clausthal-Zellerfeld Germany Software Engineering Group Leibniz Universität Hannover Hanover Germany
Modern large-scale software-intensive systems are complex conglomerates of interacting (socio-) technical systems. The single systems are highly adaptive and autonomous leading to emergent behavior. Well-established d... 详细信息
来源: 评论
Editorial: Special issue dedicated to ICFP 2010
收藏 引用
Journal of Functional programming 2012年 第4-5期22卷 379-381页
作者: UMUT A. ACAR JAMES CHENEY STEPHANIE WEIRICH Programming Languages and Systems Group Max Planck Institute for Software Systems Germany (e-mail: umut@***) Laboratory for Foundations of Computer Science University of Edinburgh Edinburgh UK (e-mail: jcheney@inf.ed.ac.uk) School of Engineering and Applied Science University of Pennsylvania Philadelphia PA 19104 USA (e-mail: sweirich@cis.upenn.edu)
The 15th ACM SIGPLAN International Conference on Functional programming (ICFP) took place on September 27–29, 2010 in Baltimore, Maryland. After the conference, the programme committee, chaired by Stephanie Weirich, ...
来源: 评论