咨询与建议

限定检索结果

文献类型

  • 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 篇 日文
检索条件"机构=Programming Systems"
741 条 记 录,以下是201-210 订阅
排序:
Optimization of MIMO Antenna Approach for 5G Wireless Applications  11
Optimization of MIMO Antenna Approach for 5G Wireless Applic...
收藏 引用
11th IEEE International Conference on systems and Control, ICSC 2023
作者: Atuwayr, Aqreerah Asmeida, Akrem Ben Abdelmula, Haitham Saleh Anaiba, Abdulhakim Alhadi High Institution of Engineering Technology College of Computer Technology Zawia Libya Libyan Center for Electronic Systems Programming and Aviation Research Libya
In this communication, an improved MIMO antenna array with defected ground structure (DGS) is designed for 5G wireless applications. Its schematic comprises eight radiator elements, situated at the center of an FR-4 p... 详细信息
来源: 评论
An interactive action set detection in natural language hybrid system  11
An interactive action set detection in natural language hybr...
收藏 引用
11th International Conference on Interfaces and Human Computer Interaction
作者: Wachtel, Alexander Paczia, Jonas Tichy, Walter F. Karlsruhe Institute of Technology Programming Systems Prof. Walter F. Tichy Am Fasanengarten 5 Karlsruhe76131 Germany
In this paper, we introduce an interface for natural language dialog system and the Microsoft Excel API. This interface enables users to describe actions in unrestricted natural language interactively and run these ac... 详细信息
来源: 评论
Grid resource management using lottery scheduling  11
Grid resource management using lottery scheduling
收藏 引用
Proceedings of the 12th International Conference on Computer systems and Technologies
作者: Borovska, Plamenka Aleksieva-Petrova, Adelina Gancheva, Veska Beshkov, Stefan Department of Computer Systems Technical University of Sofia Bulgaria Department of Programming and Computer Technologies Technical University of Sofia Bulgaria Experian Bulgaria Bulgaria
The GRID infrastructure provides an aggregation of a wide variety of distributed resources for solving large-scale data intensive problems in various fields. The aim of this paper is to propose a method for grid resou... 详细信息
来源: 评论
Specification, implementation, and verification of Domain Specific Languages: A logic programming-based approach
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2002年 2407卷 211-239页
作者: Gupta, Gopal Pontelli, Enrico Applied Logic Programming Languages and Systems Lab. Department of Computer Science University of Texas at Dallas Richardson TX 95083 United States Laboratory for Logic Databases and Advanced Programming Department of Computer Science New Mexico State University Las Cruces NM 88003 United States
Domain Specific Languages (DSLs) are high level languages designed for solving problems in a particular domain, and have been suggested as means for developing reliable software systems. We present a (constraint) logi... 详细信息
来源: 评论
Architecture potential analysis: A closer look inside architecture evaluation
Journal of Software
收藏 引用
Journal of Software 2007年 第4期2卷 43-56页
作者: Florentz, Bastian Huhn, Michaela Institute for Programming and Reactive Systems Technical University Brunswick Germany
The share of software in embedded systems has been growing permanently in the recent years. Thus, software architecture as well as its evaluation have become important parts of the development of embedded systems to d... 详细信息
来源: 评论
Inferring semantic interfaces of data structures
Inferring semantic interfaces of data structures
收藏 引用
5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
作者: Howar, Falk Isberner, Malte Steffen, Bernhard Bauer, Oliver Jonsson, Bengt Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany Dept. of Information Technology Uppsala University Sweden
In this paper, we show how to fully automatically infer semantic interfaces of data structures on the basis of systematic testing. Our semantic interfaces are a generalized form of Register Automata (RA), comprising p... 详细信息
来源: 评论
A recommender system for WordPress themes using item-based collaborative filtering technique  29
A recommender system for WordPress themes using item-based c...
收藏 引用
29th International Scientific Conference Electronics, ET 2020
作者: Ujkani, Berat Minkovska, Daniela Stoyanova, Lyudmila Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd Sofia1000 Bulgaria
Recommender systems allow making personalized recommendations for items or products while browsing online, using numerous algorithms and techniques to predict and recommend potentially useful items to a specific user.... 详细信息
来源: 评论
Why you should establish a connection to the internet
收藏 引用
TechTrends 1996年 第2期41.0卷 10-16页
作者: Hill, Judy A. Misic, Mark M. Information Systems and Computer Programming Dept. Purdue University-Calumet in Hammond Indiana United States College of Business Northern Illinois University in DeKalb United States
来源: 评论
Place bisimulation equivalences for design of concurrent and sequential systems
Place bisimulation equivalences for design of concurrent and...
收藏 引用
MFCS '98 Workshop on Concurrency
作者: Tarasyuk, Igor V. Theoretical Programming Laboratory A.P. Ershov Institute of Informatics Systems 6 Acad. Lavrentiev ave. Novosibirsk 630090 Russia
In this paper, we supplement the set of basic and back-forth behavioural equivalences for Petri nets considered in [11] by place bisimulation ones. The relationships of all the equivalence notions are examined, and th... 详细信息
来源: 评论
Automatic loop shaping of QFT applied to an active control design
Automatic loop shaping of QFT applied to an active control d...
收藏 引用
Mediterranean Conference on Control and Automation
作者: Comasólivas, R. Escobet, T. Quevedo, J. Automatic Control Department Technical University of Catalonia Terrassa Spain Department of Electronic Systems Design and Programming Technical University of Catalonia Terrassa Spain
This paper presents a methodology to design automatically a QFT (Quantitative Feedback Theory) robust controller for plants with model uncertainty. The method proposed has as objective to find a QFT robust controller ... 详细信息
来源: 评论