咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是431-440 订阅
排序:
Improving the PVM teaching environment  97
Improving the PVM teaching environment
收藏 引用
Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
作者: Chris McDonald Kamran Kazemi Programming Languages and Systems Group Department of Computer Science The University of Western Australia Crawley Western Australia 6907
The parallel programming community has long recognized the need for a simple programming environment offering interprocess communication between heterogeneous systems. As the Parallel Virtual Machine environment, PVM,...
来源: 评论
Global constraints for round robin tournament scheduling
Global constraints for round robin tournament scheduling
收藏 引用
作者: Henz, Martin Müller, Tobias Thiel, Sven School of Computing National University of Singapore Singapore 117543 Singapore Programming Systems Lab. Saarland University 66041 Saarbrücken Germany Max-Planck-Inst. für Informatik Im Stadtwald 66123 Saarbrücken Germany
In the presence of side-constraints and optimization criteria, round robin tournament problems are hard combinatorial problems, commonly tackled with tree search and branch-and-bound optimization. Recent results indic... 详细信息
来源: 评论
Simplicity principles for plug-in development: The jABC approach
Simplicity principles for plug-in development: The jABC appr...
收藏 引用
Workshop on Developing Tools as Plug-ins (TOPI)
作者: Stefan Naujokat Anna-Lena Lamprecht Bernhard Steffen Sven Jörges Tiziana Margaria Chair for Programming Systems Technical University Dortmund Germany Chair for Service and Software Engineering University of Potsdam Germany
In this paper we present our experiences from a decade of plug-in development in the jABC framework, that is characterized by rigorous application of simplicity principles in two dimensions. First, the scope of the pl... 详细信息
来源: 评论
Improving grammar-based evolutionary algorithms via attributed derivation trees
Improving grammar-based evolutionary algorithms via attribut...
收藏 引用
7th European Conference on Genetic programming, EuroGP 2004
作者: Zvada, Szilvia Ványi, Róbert Department of Programming Systems Friedrich-Alexander University Martensstraße 3 ErlangenD-91058 Germany Department of Theoretical Computer Science Friedrich-Alexander University Martensstraße 3 ErlangenD-91058 Germany
Using Genetic programming difficult optimization problems can be solved, even if the candidate solutions are complex objects. In such cases, it is a costly procedure to correct or replace the invalid individuals that ... 详细信息
来源: 评论
Method of Activity of Intelligent Agent for Semantic Analysis of Software Requirements
Method of Activity of Intelligent Agent for Semantic Analysi...
收藏 引用
IEEE International Conference on Intelligent Data Acquisition and Advanced Computing systems
作者: Olga Pavlova Tetiana Hovorushchenko Artem Boyarchuk System Programming Department of Khmelnytsky National University Computer Engineering & System Programming Department of Khmelnytsky National University Lecturer of Computer Systems Networks and Cybersecurity Department of National Aerospace University "Kharkiv Aviation Institute"
The paper deals with the development of the method of activity and the realization of the intelligent agent (IA) for semantic analysis of the natural language software requirements. This IA performs the analysis of th... 详细信息
来源: 评论
Automated continuous quality assurance
Automated continuous quality assurance
收藏 引用
Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)
作者: Johannes Neubauer Bernhard Steffen Oliver Bauer Stephan Windmüller Maik Merten Tiziana Margaria Falk Howar Chair for Programming Systems Technical University Dortmund Dortmund Germany Chair for Service and Software Engineering University of Potsdam Germany
We present a case study that illustrates the power of active learning for enabling the automated quality assurance of complex and distributed evolving systems. We illustrate how the development of the OCS, Springer Ve... 详细信息
来源: 评论
Input Data Time Range Impact on Forecast Quality Using Automated Procedures  11
Input Data Time Range Impact on Forecast Quality Using Autom...
收藏 引用
11th International Scientific Conference on Computer Science, COMSCI 2023
作者: Koparanov, Kiril Andreev Antonova, Elena Ventseslavova Nakov, Ognyan Nakov Minkovska, Daniela Veleva Georgiev, Krasin Krasimirov Stoyanova, Lyudmila Yordanova Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd Sofia1000 Bulgaria Technical University of Sofia Faculty of Computer Systems and Technologies Department of Computer Systems 8 Kliment Ohridski blvd Sofia1000 Bulgaria Technical University of Sofia Faculty of Transport Department of Air Transport 8 Kliment Ohridski blvd Sofia1000 Bulgaria
Easy access to time series forecasting provides a strong competitive advantage for any company or organization. As automated forecasting environments become more prevalent in the market, it is crucial to explore their... 详细信息
来源: 评论
An efficient algorithm for the configuration problem of dominance graphs
An efficient algorithm for the configuration problem of domi...
收藏 引用
2001 Operating Section Proceedings, American Gas Association
作者: Althaus, Ernst Duchier, Denys Koller, Alexander Mehlhorn, Kurt Niehren, Joachim Thiel, Sven Max-Planck-Institute for Computer Science Saarbrücken Germany Programming Systems Lab. Fachbereich Informatik Universität des Saarlandes Saarbrücken Germany Department of Computational Linguistics Universität des Saarlandes Saarbrücken Germany
Dominance constraints are logical tree descriptions originating from automata theory that have multiple applications in computational linguistics. The satisfiability problem of dominance constraints is NP-complete. In... 详细信息
来源: 评论
Modeling aspect-oriented compositions
收藏 引用
MoDELS 2005 International Workshops OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, NfC, MDD, WUsCAM
作者: Cottenier, Thomas Van Berg, Aswin Den Elrad, Tzilla Software and Systems Engineering Research Motorola Labs 1300 E Algonquin Road Schaumburg IL 60173 United States Concurrent Programming Research Group Illinois Institute of Technology 3300 S Federal Street Chicago IL 60616 United States
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QoS requirements on the system. This paper presents a framework for modularizin... 详细信息
来源: 评论
The method of dynamic routing in Self-healing Networks  5
The method of dynamic routing in Self-healing Networks
收藏 引用
5th IEEE KhPI Week on Advanced Technology, KhPIWeek 2024
作者: Anna, Shyman Kuchuk, Nina Kovalenko, Andriy Kashkevich, Svitlana Partyka, Stanislav Yankovskyi, Oleksandr Department of Computer Engineering and Programming National Technical University Kharkiv Polytechnic Institute" Kharkiv Ukraine Department of Electronic Computers Kharkiv National University of Radio Electronics Kharkiv Ukraine Department of Computerized Management Systems National Aviation University Kyiv Ukraine
The report proposes a dynamic routing method for Self-healing Networks (ShN). The method takes into account the specific features of ShN. During routing, the flow of service information is reduced. The search for the ... 详细信息
来源: 评论