咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 744 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 465 篇 工学
    • 374 篇 计算机科学与技术...
    • 305 篇 软件工程
    • 56 篇 信息与通信工程
    • 52 篇 控制科学与工程
    • 28 篇 土木工程
    • 27 篇 电气工程
    • 24 篇 电子科学与技术(可...
    • 23 篇 船舶与海洋工程
    • 22 篇 生物工程
    • 19 篇 机械工程
    • 17 篇 建筑学
    • 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

语言

  • 712 篇 英文
  • 23 篇 其他
  • 5 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Programming Systems"
744 条 记 录,以下是501-510 订阅
排序:
Model based quality assurance and self-management within a software architecture for parallel kinematic machines
Model based quality assurance and self-management within a s...
收藏 引用
International Conference on Mechatronics (ICM)
作者: Jens Steiner Michaela Huhn Tilo Mucke Institute for Programming and Reactive Systems Technical University of Braunschweig Brunswick Germany
This paper presents a model-based engineering approach used for the development of a software architecture tailored for the special requirements of parallel kinematic machines. Several quality assurance measures that ... 详细信息
来源: 评论
Biological LC/MS preprocessing and analysis with jABC, jETI and xcms
Biological LC/MS preprocessing and analysis with jABC, jETI ...
收藏 引用
2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006
作者: Kubczak, Christian Margaria, Tiziana Fritsch, Arno Steffen, Bernhard Department of Software Engineering University of Dortmund Germany Department of Service and Software Engineering University of Potsdam Germany Department of Mathematical Statistics and Biometric Applications University of Dortmund Germany Department of Programming Systems University of Dortmund Germany
LC/MS is a successful analysis technique for the statistical analysis used in several branches of biology. It requires an intense screening and combination of the raw data, which is usually done with programs and libr...
来源: 评论
A general architecture for the authoring and the operationalization of e-learning applications with educational modelling languages  8
A general architecture for the authoring and the operational...
收藏 引用
8th International Symposium on Information and Communication Technologies Applied to Education, SIIE 2006
作者: Martínez-Ortiz, Iván Moreno-Ger, Pablo Sierra, Jose Luis Fernández-Manjón, Baltasar Centro de Estudios Superiores Felipe II Aranjuez Madrid Spain Department of Computer Systems and Programming Universidad Complutense de Madrid Fac. de Informática Madrid28040 Spain
The modelling of the educational processes and their operational support is a key aspect in the construction of more effective e-learning applications. Instructional models are usually described by means of an educati... 详细信息
来源: 评论
Improving DVB-T for Brazilian environments
Improving DVB-T for Brazilian environments
收藏 引用
2006 International Telecommunications Symposium, ITS
作者: Akamine, Cristiano Iano, Yuzo Arthur, Rangel Bedicks Jr., Gunnar Caetano, Diogo Gará IEEE Computer Programming Engineering Digital Radio and Television Laboratory Mackenzie Presbyterian University São Paulo Brazil DECOM FEEC UNICAMP Digital Communications Communications Systems and Transmission Mackenzie Presbyterian University Campinas Brazil
In this paper the improvement in the performance obtained by a Time Interleaving applied to DVB-T scheme are analyzed in impulsive noise environments. The performance is evaluated in terms of bit error rate probabilit... 详细信息
来源: 评论
A GPC Strategy for a Water Treatment Plant Problem
A GPC Strategy for a Water Treatment Plant Problem
收藏 引用
2006 IET Irish Signals and systems Conference
作者: M.H. Schwarz C.S. Cox J. Borcsok Computer architecture & System programming University of Kassel Germany Control Systems Centre University of Sunderland UK
This paper presents an advanced control structure exploiting a GPC master-slave solution to regulate the oxygen and nitrification process of a simulated water treatment plant. The slave controller regulates the proces...
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Performance of WLAN and MANET networks for new auto-configured mobile IP agents
Performance of WLAN and MANET networks for new auto-configur...
收藏 引用
International Symposium on Telecommunications
作者: G. Amvame-Nze Flavio E. de Deus Roque Lambert C. Jacy Barenco Abbas L. J. Garcia Villalba Electrical Engineering Department University of Brasilia Brasilia Brazil Department of. Computer Systems and Programming Complutense University of Madrid Spain
This work presents the performance of WLAN and MANET networks using the auto-configuration of Mobile IP Agents Protocol (DRMIPA). This scheme would allow groups of MIP nodes in WLANs or MANETs to enjoy IP mobility at ... 详细信息
来源: 评论
Model-based design of distributed collaborative bioinformatics processes in the jABC
Model-based design of distributed collaborative bioinformati...
收藏 引用
IEEE International Conference on Engineering of Complex Computer systems
作者: T. Margaria C. Kubczak M. Njoku B. Steffen Chair Servce and Software Engineering University of Potsdam Potsdam Germany Chair of Programming Systems University of Dortmund Dortmund Germany Chair of Service Engineering for Distributed Systems University of Göttingen Gottingen Germany
Our approach to the model-driven collaborative design of workflows for bioinformatic applications uses the jABC for model driven mediation and choreography to complement a Web service-based elementary service provisio... 详细信息
来源: 评论
Evaluation of the Dynamic Reconfiguration Of Mobile IPV4 agents in MANET
Evaluation of the Dynamic Reconfiguration Of Mobile IPV4 age...
收藏 引用
IASTED International Conference on WIRELESS SENSOR NETWORKS, Part of the Sixth IASTED International Multi-Conference on WIRELESS AND OPTICAL COMMUNICATIONS
作者: Amvame-Nze, G. Abbas, C. J. Barenco García Villalba, L.J. Faculty of Technology Electrical Eigineering School University of Brasilia - UnB Brasilia 70900 Brazil Departamento de Computacion y Tecnología de la Información Universidad Simón Bolivar Oficina MYS 213-B Apartado Postal 89.000 Caracas 1080 Venezuela Dept. Computer Systems and Programming Complutense University of Madrid Spain
This work presents a Dynamic Reconfiguration of Mobile IP Agents (DRMIPA) and failure free architecture integrated with Mobile Ad hoc Networks (MANETs). Actual infra-structured networks do not implement the Mobile IP ... 详细信息
来源: 评论