咨询与建议

限定检索结果

文献类型

  • 525 篇 会议
  • 195 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 464 篇 工学
    • 374 篇 计算机科学与技术...
    • 305 篇 软件工程
    • 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...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 software enginee...
  • 12 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 11 篇 artificial intel...
  • 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...

作者

  • 48 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 19 篇 bernhard steffen
  • 17 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 12 篇 tiziana margaria
  • 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

语言

  • 693 篇 英文
  • 18 篇 其他
  • 5 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Programming Systems"
720 条 记 录,以下是271-280 订阅
排序:
Demo: Approximative event processing on sensor data streams  9
Demo: Approximative event processing on sensor data streams
收藏 引用
9th ACM International Conference on Distributed Event-Based systems, DEBS 2015
作者: Löffler, Christoffer Mutschler, Christopher Philippsen, Michael Fraunhofer Institute for Integrated Circuits IIS Locating and Communication Department Sensor Fusion and Event Processing Group Erlangen Germany Department of Computer Science Programming Systems Group Erlangen Germany
Event-Based systems (EBS) can efficiently analyze large streams of sensor data in near-realtime. But they struggle with noise or incompleteness that is seen in the unprecedented amount of data generated by the Interne... 详细信息
来源: 评论
Ontology-based roles association networks for visualizing trends in political debate  9th
Ontology-based roles association networks for visualizing tr...
收藏 引用
9th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2015
作者: Andreasen, Troels Christiansen, Henning Eberholst, Mads Kæmsgaard Research Group PLIS: Programming Logic and Intelligent Systems Roskilde University Roskilde Denmark Department of Communication Business and Information Technologies Research Group: Communication Journalism and Social Change Roskilde University Roskilde Denmark
Online resources, large data repositories and streaming social network messages embed plenitudes of interesting knowledge, often of associative nature. A specific communicative context, such as the political debate in... 详细信息
来源: 评论
Medical Software User Interfaces, Stroke MD application design
Medical Software User Interfaces, Stroke MD application desi...
收藏 引用
E-Health and Bioengineering Conference
作者: Elena Zamsa Programming Systems department Institute of Mathematics and Computer Science IMI Chisinau Republic of Moldova
The article presents the design of an application interface for associated medical data visualization and management for neurologists in a stroke clustering and prediction system called Stroke MD. The goal of the syst... 详细信息
来源: 评论
User-level synthesis: Treating product lines as systems of constraints  15
User-level synthesis: Treating product lines as systems of c...
收藏 引用
19th International Software Product Line Conference, SPLC 2015
作者: Steffen, Bernhard Lamprecht, Anna-Lena Margaria, Tiziana Department for Programming Systems TU Dortmund University Dortmund44227 Germany Institute for Informatics and Computational Science Potsdam University Potsdam14482 Germany Lero - Irish Software Research Centre University of Limerick Limerick Ireland
In this paper, we sketch how treating product lines as systems of possibly heterogeneous constraints allows one to elegantly and consistently manage product lines in terms of a product line of product lines. In fact, ...
来源: 评论
Just-in-time software pipelining
Just-in-time software pipelining
收藏 引用
12th ACM/IEEE International Symposium on Code Generation and Optimization, CGO 2014
作者: Rong, Hongbo Park, Hyunchul Wu, Youfeng Wang, Cheng Programming Systems Lab United States
Software pipelining exploits instruction-level parallelism from loops. In static compilers, it has been one of the most eficient optimizations for wide-issue architectures. How- ever, the compilation time is at least ... 详细信息
来源: 评论
Towards incremental model slicing for delta-oriented software product lines
Towards incremental model slicing for delta-oriented softwar...
收藏 引用
IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
作者: Sascha Lity Hauke Baller Ina Schaefer TU Braunschweig Institute for Programming and Reactive Systems Braunschweig Germany TU Braunschweig Institute of Software Engineering and Automotive Informatics Braunschweig Germany
The analysis of nowadays software systems for supporting, e.g., testing, verification or debugging is becoming more challenging due to their increasing complexity. Model slicing is a promising analysis technique to ta... 详细信息
来源: 评论
Constraint logic programming for resolution of relative time expressions
收藏 引用
10th Conference on Computability in Europe, CiE 2014
作者: Christiansen, Henning Research Group PLIS: Programming Logic and Intelligent Systems Department of Communication Business and Information Technologies Roskilde University Denmark
Translating time expression into absolute time points or durations is a challenge for natural languages processing such as text mining and text understanding in general. We present a constraint logic language CLP(Time... 详细信息
来源: 评论
Supporting commissioning of production plants by model-based testing and model learning
Supporting commissioning of production plants by model-based...
收藏 引用
IEEE International Symposium on Industrial Electronics (ISIE)
作者: Jan Ladiges Alexander Fay Christopher Haubeck Winfried Lamersdorf Sascha Lity Ina Schaefer Automation Technology Institute Helmut-Schmidt-University Hamburg Germany Distributed Systems and Information Systems University of Hamburg Hamburg Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Braunschweig Germany Technische Universitat Braunschweig Braunschweig Niedersachsen DE
During the commissioning phase of production systems the identification and correction of malfunctions is a tedious task mainly done manually by commissioning engineers. This task is of high importance because missed ... 详细信息
来源: 评论
Cyber-Physical-Social System Self-Organization: Ontology-Based Multi-level Approach and Case Study
Cyber-Physical-Social System Self-Organization: Ontology-Bas...
收藏 引用
International Conference on Self-Adaptive and Self-Organizing systems (SASO)
作者: Alexander Smirnov Alexey Kashevnik Nikolay Shilov Information technology and programming department ITMO University St.Petersburg Russia Laboratory of Computer Aided Integrated Systems SPIIRAS St.Petersburg Russia
This paper presents a multi-level approach for self-organization of in cyber-physical system resources. Cyber-physical system consists of physical part and cyber part. For implementation of joint actions by devices in... 详细信息
来源: 评论
Towards incremental test suite optimization for software product lines  14
Towards incremental test suite optimization for software pro...
收藏 引用
6th International Workshop on Feature-Oriented Software Development, FOSD 2014
作者: Baller, Hauke Lochau, Malte Institute for Programming and Reactive Systems Braunschweig Germany Real-time Systems Lab Darmstadt Germany
The design of an appropriate test suite for software testing is a challenging task. It requires a suitable tradeoff between effectiveness, e.g., a suficient amount of test cases to satisfy the test goals of a given co... 详细信息
来源: 评论