咨询与建议

限定检索结果

文献类型

  • 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 篇 日文
检索条件"机构=Systems and Programming"
743 条 记 录,以下是251-260 订阅
排序:
Towards safe data flow processing by integration of design by contract in deterministic UML activities
Towards safe data flow processing by integration of design b...
收藏 引用
2011 23rd International Symposium on Information, Communication and Automation Technologies, ICAT 2011
作者: Daw, Zamira Vetter, Marcus Boercsoek, Josef Institute of Embedded Systems Hochschule Mannheim - University of Applied Sciences Mannheim Germany Dept. of Computer Architecture and System Programming University of Kassel Kassel Germany
Data flow processing is a common task of embedded systems which is usually modeled as a pipeline. Errors in a block of this pipeline can be propagated through it thus leading to unexpected and erroneous behaviors. For... 详细信息
来源: 评论
Beta reduction constraints  1
收藏 引用
12th International Conference on Rewriting Techniques and Applications, RTA 2001
作者: Bodirsky, Manuel Erk, Katrin Koller, Alexander Niehren, Joachim Programming Systems Lab Universität des Saarlandes Saarbrücken Germany Dept. of Computational Linguistics Universität des Saarlandes Saarbrücken Germany
The constraint language for lambda structures (CLLS) can model lambda terms that are known only partially. In this paper, we introduce beta reduction constraints to describe beta reduction steps between partially know... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Automated learning setups in automata learning
Automated learning setups in automata learning
收藏 引用
5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
作者: Merten, Maik Isberner, Malte Howar, Falk Steffen, Bernhard Margaria, Tiziana Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany University Potsdam Department of Service and Software Engineering Potsdam D-14482 Germany
Test drivers are an essential part of any practical active automata learning setup. These components to accomplish the translation of abstract learning queries into concrete system invocations while managing runtime d... 详细信息
来源: 评论
Major threat: from formal methods without tools to tools without formal methods
Major threat: from formal methods without tools to tools wit...
收藏 引用
IEEE International Conference on Engineering of Complex Computer systems
作者: B. Steffen Chair of Programming Systems University of Dortmund Dortmund Germany
Summary form only given. The panel moderated by Bernhard Steffen (University of Dortmund) reviews this development, discusses the perspectives, and establishes recommendations for future directions of software enginee... 详细信息
来源: 评论
Automated inference of models for black box systems based on interface descriptions
Automated inference of models for black box systems based on...
收藏 引用
5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
作者: Merten, Maik Howar, Falk Steffen, Bernhard Pellicione, Patrizio Tivoli, Massimo Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany Dipartimento di Informatica Università dell'Aquila Via Vetoio L'Aquila Italy
In this paper we present a method and tool to fully automatically infer data-sensitive behavioral models of black-box systems in two coordinated steps: (1) syntactical analysis of the interface descriptions, here give... 详细信息
来源: 评论
Comodeling revisited: Execution of behavior trees in modelica
Comodeling revisited: Execution of behavior trees in modelic...
收藏 引用
4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011
作者: Myers, Toby Schamai, Wladimir Fritzson, Peter Institute of Intelligent and Integrated Systems Griffith University Australia EADS Innovation Works Germany PELAB- Programming Environment Lab Linköping University IDA Sweden
Large-scale systems increasingly consist of a mixture of co-dependent software and hardware. The differing nature of software and hardware means that they are often modeled separately and with different approaches. Co... 详细信息
来源: 评论
Information system model for implementation and maintenance of stochastic control over a nonlinear object on manifolds
Information system model for implementation and maintenance ...
收藏 引用
2020 International Conference on Information Technology in Business and Industry, ITBI 2020
作者: Kolesnikova, S.I. Institute of Computational Systems and Programming St. Petersburg State University of Aerospace Instrumentation Bolshaya Morskaia str. 67 St. Petersburg190000 Russia
The paper presents a problem statement for a robust stochastic regulator synthesis based on the principles of control on manifolds, a solution algorithm of a new information system and its structure maintaining the sy... 详细信息
来源: 评论
A Case Study of Valency Patterns for Motion Verbs in Vakh Khanty by Means of Lingvodoc
A Case Study of Valency Patterns for Motion Verbs in Vakh Kh...
收藏 引用
2022 Ivannikov Open Conference, ISPRAS 2022
作者: Novitskaya, Irina Vorobeva, Victoria National Research Tomsk State University Department of Foreign Languages Tomsk Russia Ivannikov Institute for System Programming of the Ras Information Systems Department Tomsk Moscow Russia Tpu Information Systems Department Tomsk Moscow Russia
The article presents a study of the syntactic compatibility of verbs of motion in the Vakh dialect of the Khanty language. The study was conducted with the help of the tools of the platform for documentation of the Ur... 详细信息
来源: 评论
LearnLib tutorial: From finite automata to register interface programs
LearnLib tutorial: From finite automata to register interfac...
收藏 引用
5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
作者: Howar, Falk Isberner, Malte Merten, Maik Steffen, Bernhard Carnegie Mellon University Silicon Valley Campus Mountain View CA United States Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany
In the past decade, active automata learning, an originally merely theoretical enterprise, got attention as a method for dealing with black-box or third party systems. Applications ranged from the support of formal ve... 详细信息
来源: 评论