咨询与建议

限定检索结果

文献类型

  • 525 篇 会议
  • 195 篇 期刊文献
  • 21 册 图书

馆藏范围

  • 741 篇 电子文献
  • 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...
  • 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...

作者

  • 48 篇 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 篇 英文
  • 18 篇 其他
  • 5 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Systems and Programming"
741 条 记 录,以下是431-440 订阅
排序:
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
"There is still something missing": comparing a gender-sensitive and gender-transformative approach in Burundi
收藏 引用
DEVELOPMENT IN PRACTICE 2023年 第4期33卷 451-462页
作者: Hillenbrand, Emily Mohanraj, Pranati Njuki, Jemimah Ntakobakinvuna, Domitille Sitotaw, Abinet Tasew Development Sociology Cornell University United States Gender Youth and Livelihoods Team Food and Water Systems Unit CARE USA United States Economic Empowerment UN Women in New York United States MEAL Specialist for Gender and Women's Empowerment Programming in CARE Burundi Democratic Republic Congo Food and Water Systems-Gender Youth and Livelihoods Team with CARE United States
This paper presents a comparative perspective on a gender-transformative model for gender equality, versus a gender-sensitive approach, both of which were integrated into a gender and agriculture development intervent... 详细信息
来源: 评论
Computationally Efficient Early Prognosis of the Outcome of Comatose Cardiac Arrest Survivors Using Slow-Wave Activity Features in EEG  50
Computationally Efficient Early Prognosis of the Outcome of ...
收藏 引用
50th Computing in Cardiology, CinC 2023
作者: Salminen, Miikka Partala, Juha Vayrynen, Eero Kortelainen, Jukka Cerenion Oy Oulu Finland University of Oulu Oulu University Secure Programming Group Biomimetics and Intelligent Systems Group Oulu Finland University of Oulu Physiological Signal Analysis Team Center for Machine Vision and Signal Analysis Mrc Oulu Oulu Finland
This study, part of 'Predicting Neurological Recovery from Coma After Cardiac Arrest: The George B. Moody PhysioNet Challenge 2023', evaluated a computationally efficient method in predicting cardiac arrest (C... 详细信息
来源: 评论