咨询与建议

限定检索结果

文献类型

  • 281 篇 会议
  • 126 篇 期刊文献
  • 16 册 图书

馆藏范围

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

日期分布

学科分类号

  • 276 篇 工学
    • 216 篇 计算机科学与技术...
    • 159 篇 软件工程
    • 35 篇 信息与通信工程
    • 32 篇 控制科学与工程
    • 25 篇 电气工程
    • 17 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 安全科学与工程
    • 7 篇 土木工程
    • 7 篇 网络空间安全
    • 6 篇 材料科学与工程(可...
    • 6 篇 石油与天然气工程
    • 5 篇 动力工程及工程热...
  • 144 篇 理学
    • 98 篇 数学
    • 20 篇 系统科学
    • 17 篇 生物学
    • 13 篇 物理学
    • 13 篇 统计学(可授理学、...
    • 7 篇 化学
  • 55 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 12 篇 教育学
    • 10 篇 教育学
  • 12 篇 医学
    • 10 篇 临床医学
    • 9 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 8 篇 法学
    • 8 篇 社会学
  • 6 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学

主题

  • 24 篇 artificial intel...
  • 22 篇 computer science
  • 12 篇 software enginee...
  • 10 篇 semantics
  • 9 篇 application soft...
  • 9 篇 logic programmin...
  • 8 篇 programming prof...
  • 7 篇 information stor...
  • 6 篇 java
  • 6 篇 monitoring
  • 6 篇 hardware
  • 6 篇 middleware
  • 6 篇 equations
  • 5 篇 information syst...
  • 5 篇 libraries
  • 5 篇 parallel program...
  • 5 篇 laboratories
  • 5 篇 computer languag...
  • 5 篇 specifications
  • 5 篇 security

机构

  • 10 篇 department of sy...
  • 7 篇 department of ap...
  • 6 篇 programming meth...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 mart learning ed...
  • 4 篇 federal research...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 3 篇 german research ...
  • 3 篇 zuse institute b...
  • 3 篇 university of tw...
  • 3 篇 department of co...
  • 3 篇 rwth aachen univ...
  • 3 篇 research group p...
  • 3 篇 university of ka...
  • 3 篇 programming rese...
  • 3 篇 department of ap...
  • 3 篇 department of ap...

作者

  • 10 篇 fritzson peter
  • 8 篇 hayek ali
  • 7 篇 mostafa abotaleb
  • 7 篇 philippsen micha...
  • 6 篇 boercsoek josef
  • 6 篇 abdelhameed ibra...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 maiti manoranjan
  • 5 篇 de meuter wolfga...
  • 5 篇 henning christia...
  • 5 篇 doaa sami khafag...
  • 5 篇 roy abi zeid dao...
  • 5 篇 ali hayek
  • 4 篇 troels andreasen
  • 4 篇 choe km
  • 4 篇 scholz sven-bodo
  • 4 篇 bergstra j.a.
  • 4 篇 skiba alexander
  • 4 篇 daou roy abi zei...

语言

  • 415 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
423 条 记 录,以下是241-250 订阅
排序:
InfoShield: a security architecture for protecting information usage in memory
InfoShield: a security architecture for protecting informati...
收藏 引用
IEEE Symposium on High-Performance computer Architecture
作者: W. Shi J.B. Fryman G. Gu H.-H.S. Lee Y. Zhang J. Yang School of Electrical and Computer Engineering Georgia Tech College of Computing Georgia Institute of Technology Programming System Lab Corporate Technology Intel Corporation USA Department of Computer Science University of Pittsburgh USA Department of Computer Science and Engineering University of California Riverside USA
Cyber theft is a serious threat to Internet security. It is one of the major security concerns by both network service providers and Internet users. Though sensitive information can be encrypted when stored in non-vol... 详细信息
来源: 评论
Making Slicing Mainstream How can we be Weiser?
Making Slicing Mainstream How can we be Weiser?
收藏 引用
Beyond Program Slicing 2005
作者: Kalleberg, Karl Trygve Hall, Tracy Ettinger, Ran Institutt for Informatikk Universitetet i Bergen PB 7800 NorwayN-5020 Norway Department of Computer Science Hertfordshire University HertfordshireAL10 9LB United Kingdom Programming Tools Group Computing Laboratory Oxford University OxfordOX1 3QD United Kingdom
By now, the concept of program slicing has been known in the research community for around 25 years. As a research topic, it has enjoyed a fair share of popularity, evidenced by the number of articles published on the...
来源: 评论
OpenModelica - A free open-source environment for system modeling, simulation, and teaching
OpenModelica - A free open-source environment for system mod...
收藏 引用
IEEE International Conference on computer-Aided Design
作者: Peter Fritzson Peter Aronsson Adrian Pop Hakan Lundvall Kaj Nystrom Levon Saldamli David Broman Anders Sandholm PELAB-Programming Environment Laboratory Department Computer Science Linköping University Linkoping Sweden MathCore Engineering AB Teknikringen 1B SE-583 30 Linköping Sweden EPACT AB Linköping Sweden
Modelica is a modern, strongly typed, declarative, and object-oriented language for modeling and simulation of complex systems. This paper gives a quick overview of some aspects of the OpenModelica environment - an op... 详细信息
来源: 评论
AmbientOriented programming in AmbientTalk: Combining mobile hardware with simplicity and expressiveness
AmbientOriented Programming in AmbientTalk: Combining mobile...
收藏 引用
OOPSLA'05 - 20th Annual ACM Conference on Object-Oriented programming, Systems, Languages, and Applications
作者: Dedecker, Jessie Cutsem, Tom Van Mostinckx, Stijn De Meuter, Wolfgang D Hond, Theo Programming Technology Laboratory Department of Computer Science Vrije Universiteit Brussel Belgium
A new field in distributed computing, called Ambient Intelligence, has emerged as a consequence of the increasing availability of wireless devices and the mobile networks they induce. Developing software for such mobi... 详细信息
来源: 评论
Ambient-oriented programming
Ambient-oriented programming
收藏 引用
OOPSLA'05 - 20th Annual ACM Conference on Object-Oriented programming, Systems, Languages, and Applications
作者: Dedecker, Jessie Van Cutsem, Tom Mostinckx, Stijn D'Hondt, Theo De Meuter, Wolfgang Programming Technology Laboratory Department of Computer Science Vrije Universiteit Brussel Belgium
A new field in distributed computing, called Ambient In-telligence, has emerged as a consequence of the increasing availability of wireless devices and the mobile networks they induce. Developing software for such mob... 详细信息
来源: 评论
Adaptive detection of design flaws
Adaptive detection of design flaws
收藏 引用
作者: Kreimer, Jochen Research Group Programming Languages and Compilers Department of Computer Science University of Paderborn Germany
Criteria for software quality measurement depend on the application area. In large software systems criteria like maintainability, comprehensibility and extensibility play an important role. My aim is to identify desi... 详细信息
来源: 评论
Rapidly prototyping implementation infrastructure of Domain Specific Languages: A semantics-based approach
Rapidly prototyping implementation infrastructure of Domain ...
收藏 引用
20th Annual ACM Symposium on Applied Computing
作者: Wang, Qian Gupta, Gopal Applied Logic Programming-Languages and System Lab Department of Computer Science University of Texas Dallas
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. However, designing of a domain... 详细信息
来源: 评论
Model checking
收藏 引用
作者: Berg, Therese Raffelt, Harald Computer Science Department Uppsala University Sweden Department of Programming Systems and Compiler Construction University of Dortmund Germany
In this chapter an introduction to model checking and model learning was given. Furthermore, it was shown how to combine both techniques to an approach in which properties of a SUT are verified directly. First of all ... 详细信息
来源: 评论
Component + aspect = An extensible and adaptable system software
Component + aspect = An extensible and adaptable system soft...
收藏 引用
2005 International Conference on Software Engineering Research and Practice, SERP'05
作者: Netinant, Paniti Department of Computer Science Bangkok University Bangkok Thailand Concurrent Programming Research Group Computer Science Department Illinois Institute of Technology Chicago IL United States
The benefits associated with separation of concerns are well established. Aspect-Orientation is a methodology that aims at separating components and aspects from the early stages of the software life cycle, and using ... 详细信息
来源: 评论
Debugging natural semantics specifications  05
Debugging natural semantics specifications
收藏 引用
AADEBUG 2005: 6th International Symposium on Automated and Analysis-Driven Debugging
作者: Pop, Adrian Fritzson, Peter Programming Environments Laboratory Department of Computer and Information Science Linköping University S-58183 Linköping
In this paper we present the design and usage of a debugging framework for the Relational Meta-Language (RML), which is a language for writing executable Natural Semantics specifications. The language is successfully ... 详细信息
来源: 评论