咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是441-450 订阅
排序:
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
LTL Guided Planning: Revisiting Automatic Tool Composition i...
收藏 引用
Annual IEEE/ NASA Goddard Workshop on Software Engineering
作者: Tiziana Margaria Bernhard Steffen Chair of Service and Software Engineering University of Potsdam Potsdam Germany Chair of Programming Systems University of Dortmund Dortmund Germany
We revisit the automatic tool composition feature of the electronic tool integration platform under the perspective of planning. It turns out that in todays terminology, ETIs temporal logic-based synthesis of tool seq... 详细信息
来源: 评论
Monte-Carlo Tree Search with Tree Shape Control
Monte-Carlo Tree Search with Tree Shape Control
收藏 引用
IEEE Ukraine Conference on Electrical and Computer Engineering
作者: Oleksandr I. Marchenko Oleksii O. Marchenko Department of System Programming and Specialized Computer Systems National Technical University of Ukraine "Igor Sikorsky Kyiv polytechnic institute"
The paper, basing on analysis of the Monte-Carlo Tree Search (MCTS) method and specific features of its behavior for various cases of usage, proposes a new variant of the method, which was called as Monte-Carlo Tree S... 详细信息
来源: 评论
Client/server architecture: An alternative view
收藏 引用
Computer Bulletin (London, 1986) 1997年 第1期39卷 18-18页
作者: Sammons, Daniel Daniel G. Sammons is a Systems Consultant in Walldorf Germany currently on assignment to Bull AG. He graduated from programming school in 1965 in New York and has worked in Germany since 1968 having been stationed there while on active duty in the US Army
Giant awake - Lilliputians sleeping… It is striking to think that while a £3 million a year supercomputer complete with robot and human operator(s) is running all night on the ground floor, the floors above are ...
来源: 评论
Approach and Concept of Workflow for Animal Husbandry Data Integration and Analysis
Approach and Concept of Workflow for Animal Husbandry Data I...
收藏 引用
National Conference with International Participation (TELECOM)
作者: Veska Gancheva Stella Vetova Programming and Computer Technologies Technical University of Sofia Sofia Bulgaria Computer Systems Technical University of Sofia Sofia Bulgaria
A concept for data integration and risk analysis in animal husbandry production is presented in this paper. The proposed animal husbandry data integration and analysis model structure consists of three layers, each of... 详细信息
来源: 评论
A dynamic compilation framework for controlling microprocessor energy and performance  38
A dynamic compilation framework for controlling microprocess...
收藏 引用
MICRO-38: 38th Annual IEEE/ACM International Symposium on Microarchitecture
作者: Wu, Qiang Reddi, V.J. Wu, Youfeng Lee, Jin Connors, Dan Brooks, David Martonosi, Margaret Clark, Douglas W. Depts. of Computer Science Electrical Engjneering Princeton University Dept. of Electrical and Computer Engineering U. of Colorado Boulder Programming Systems Lab. Corporate Tech. Group Intel Corporation Division of Engineering and Applied Science Harvard University
Dynamic voltage and frequency scaling (DVFS) is an effective technique for controlling microprocessor energy and performance. Existing DVFS techniques are primarily based on hardware, OS timeinterrupts, or static-comp... 详细信息
来源: 评论
Estimation of Pareto's Law from Grouped Observations
收藏 引用
Journal of the American Statistical Association 1970年 第330期65卷 712-712页
作者: Aigner, Dennis J. Goldberger, Arthur S. Associate professor of economics and director of the programming and computation service Social Systems Research Institute University of Wisconsin Madison. Professor of economics University of Wisconsin Madison
The problem of estimating the scale parameter in the Pareto distribution from grouped observations is considered. Several estimators--the maximum likelihood estimator and four variants of least squares--are evaluated....
来源: 评论
Design and implementation of an embedded interactive timing system for medical treatment of patients with learning and attention issues  28
Design and implementation of an embedded interactive timing ...
收藏 引用
28th International Scientific Conference Electronics, ET 2019 - Proceedings
作者: Angelova, Maria A. Velchev, Yuliyan S. Dimitrov, Kalin L. Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies 8 Kliment Ohridski blvd Sofia1000 Bulgaria Department of Radio Communications and Video Technologies Faculty of Telecommunications Technical University of Sofia 8 Kliment Ohridski blvd Sofia1000 Bulgaria
This article describes the design and implementation of an Embedded Interactive Timing System. Such systems are used in the therapy of children who have learning problems. The matching of different beats can help the ... 详细信息
来源: 评论
Authentication and autoconfiguration for MANET nodes
Authentication and autoconfiguration for MANET nodes
收藏 引用
International Conference on Embedded and Ubiquitous Computing, EUC 2004
作者: Buiati, Fabio Puttini, Ricardo De Sousa, Rafael Barenco Abbas, C.J. García Villalba, L.J. University of Brasília Department of Electrical Engineering Brasília70910-900 Brazil Department of Computer Systems and Programming Complutense University of Madrid–UCM Juan del Rosal 8 DespachoMadrid431 28040 Spain
In this paper we propose a secure autoconfiguration model for Manet. Our design is based in a distributed and self-organization certification service, which provides node identification and authentication for the auto... 详细信息
来源: 评论
A Web-Based Runtime-Reconfigurable Role Management Service
A Web-Based Runtime-Reconfigurable Role Management Service
收藏 引用
International Workshop on Automated Specification and Verification of Web systems, WWV
作者: Martin Karusseit Tiziana Margaria Chair of Programming Systems Universität Dortmund Germany Chair of Service and Software Engineering Universität Postdam Germany
Today Web-based applications are very complex and provide several hundred users with access to sensible data. Adequate access control mechanisms that prevent unauthorized access and gives policy-compliant access to us... 详细信息
来源: 评论
Approbation of a Generalization of the Synergetic Design of Regulators for a Stochastic Base Immunology System
Approbation of a Generalization of the Synergetic Design of ...
收藏 引用
Information Technology and Nanotechnology (ITNT), International Conference on
作者: Svetlana Kolesnikova Ekaterina Kustova Institute of Computational Systems and Programming St. Petersburg State University of Aerospace Instrumentation St. Petersburg Russia
The results of application of the invariance condition as the basic principle of the synergetic control theory to a stochastic biomedical object - immunology, are presented. Using four-dimensional nonlinear base objec... 详细信息
来源: 评论