咨询与建议

限定检索结果

文献类型

  • 526 篇 会议
  • 196 篇 期刊文献
  • 21 册 图书

馆藏范围

  • 743 篇 电子文献
  • 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
  • 19 篇 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

语言

  • 716 篇 英文
  • 18 篇 其他
  • 5 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Systems and Programming"
743 条 记 录,以下是601-610 订阅
排序:
Constraints over Lambda-Structures in semantic underspecification  36
Constraints over Lambda-Structures in semantic underspecific...
收藏 引用
36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics, COLING-ACL 1998
作者: Egg, Markus Niehren, Joachim Ruhrberg, Peter Xu, Feiyu Department of Computational Linguistics Universität des Saarlandes Saarbrücken Germany Programming Systems Lab Universität des Saarlandes Saarbrücken Germany
We introduce a first-order language for semantic underspecification that we call Constraint Language for Lambda-Structures (CLLS). A λ-structure can be considered as a λ-term up to consistent renaming of bound varia... 详细信息
来源: 评论
Off-line scheduling of a real-time system  98
Off-line scheduling of a real-time system
收藏 引用
1998 ACM Symposium on Applied Computing, SAC 1998
作者: Schild, Klaus Würtz, Jörg Daimler-Benz AG Research and Technology Alt-Moabit 96a BerlinD-10559 Germany Programming Systems Lab DFKI Stuhlsatzenhausweg 3 SaarbrückenD-66123 Germany
This paper shows how a recently introduced class of applications can be solved by constraint programming. This new type of application is due to the emergence of special real-time systems, enjoying increasing populari... 详细信息
来源: 评论
About an autonomous adaptive control methodology
About an autonomous adaptive control methodology
收藏 引用
IEEE International Symposium on Intelligent Control (ISIC)
作者: A.A. Zhdanov Simulation Systems Department Institute for System Programming Russian Academy of Science Moscow Russia
We present the basis of the original autonomous adaptive control (AAC) methodology. It is an approach to the design of intelligent systems that simulate structure and functions of the nervous system and brain. The AAC... 详细信息
来源: 评论
A new framework for integrated global local scheduling  98
A new framework for integrated global local scheduling
收藏 引用
International Conference on Parallel Architecture and Compilation Techniques (PACT)
作者: S. Mantripragada S. Jain J. Dehnert High Performance Programming Environment Group Silicon Graphics Computer Systems Mountain View CA USA
Global Instruction Schedulers can be classified as either structure or profile driven. Structure driven approaches attempt to find instruction level parallelism by redistributing instructions along all possible execut... 详细信息
来源: 评论
Place Bisimulation Equivalences for Design of Concurrent and Sequential systems
收藏 引用
Electronic Notes in Theoretical Computer Science 1998年 18卷 191-206页
作者: Igor V. Tarasyuk 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...
来源: 评论
Distributed object-based applications for document management
收藏 引用
Hitachi Review 1998年 第6期47卷 273-276页
作者: Wakayama, Satoshi Ito, Yasuki Fukuda, Toshihiko Kato, Kanji Hitachi Ltd. Kansai Programming Dept. Software Div. Kansai Programming Dept. 5Th Group Hitachi Ltd. Hitachi Ltd. Business Development Div. Information Systems Group
We have developed an Enterprise Document Management System which supports document management in offices. This system is intended to construct business systems for the next generation. We designed this system with the... 详细信息
来源: 评论
The first-order theory of ordering constraints over feature trees
The first-order theory of ordering constraints over feature ...
收藏 引用
Annual Symposium on Logic in Computer Science
作者: M. Miffler J. Niehren R. Treinen Programming Syst. Lab. Saarlandes Univ. Saarbrucken Germany Programming Systems Lab Universitat des Saarlandes Saarbrucken Germany Laboratoire de Recherche en Informatique Universite de Paris Sud Orsay France
The system FT/sub /spl les// of ordering constraints over feature trees has been introduced as an extension of the system FT of equality constraints over feature trees. We investigate the first-order theory of FT/sub ... 详细信息
来源: 评论
Aspect-oriented programming workshop report
Aspect-oriented programming workshop report
收藏 引用
Workshops on Object-Oriented Technology, ECOOP 1997
作者: Mens, Kim Lopes, Cristina Tekinerdogan, Bedir Kiczales, Gregor Department of Computer Science Programming Technology Lab Vrije Universiteit Brussel Pleinlaan 2 BrusselB-1050 Belgium Systems and Practices Laboratory Xerox PARC 3333 Coyote Hill Rd Palo AltoCA94304 United States Department of Computer Science Software Engineering University of Twente P.O. Box 217 Enschede7500 AE Netherlands
Whereas it is generally acknowledged that code tangling reduces the quality of software and that aspect-oriented programming (AOP) is a means of addressing this problem, there is — as yet — no clear definition or ch... 详细信息
来源: 评论
Review: Object-Oriented programming in Java
收藏 引用
ITNOW 1998年 第4期40卷 31-31页
作者: Martin West IBM European Object Technology Practice Chairman BCS Object-Oriented Programming & Systems Specialist Group
来源: 评论
Software cost estimation using economic production models
收藏 引用
Journal of Management Information systems 1998年 第1期15卷 143-163页
作者: Hu, Q. Plant, R.T. Hertz, D.B. Dept. of Decis. and Info. Systems Florida Atlantic University United States University of Miami FL United States Dept. of Comp. Information Systems University of Miami Coral Gables FL United States University of Liverpool United Kingdom Programming Research Group Oxford University Wadham College Oxford United Kingdom Department of Computer Science Univ. of Wolverhampton in England Templeton College Oxford United Kingdom Dept. of Comp. Information Systems University of Miami United States Columbia University CEO Identification Technol. Intl. Inc. United States McKinsey and Co. New York City NY United States
One of the major difficulties in controlling software development project cost overruns and schedule delays has been developing practical and accurate software cost models. Software development could be modeled as an ... 详细信息
来源: 评论