咨询与建议

限定检索结果

文献类型

  • 2,216 篇 会议
  • 480 篇 期刊文献
  • 5 篇 学位论文
  • 2 册 图书
  • 2 篇 科技报告

馆藏范围

  • 2,705 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,648 篇 工学
    • 2,419 篇 计算机科学与技术...
    • 2,217 篇 软件工程
    • 213 篇 电气工程
    • 208 篇 信息与通信工程
    • 127 篇 控制科学与工程
    • 61 篇 电子科学与技术(可...
    • 42 篇 机械工程
    • 37 篇 生物工程
    • 25 篇 安全科学与工程
    • 22 篇 仪器科学与技术
    • 22 篇 建筑学
    • 21 篇 生物医学工程(可授...
    • 20 篇 土木工程
    • 19 篇 航空宇航科学与技...
    • 18 篇 材料科学与工程(可...
    • 18 篇 环境科学与工程(可...
    • 17 篇 动力工程及工程热...
    • 17 篇 化学工程与技术
  • 489 篇 理学
    • 365 篇 数学
    • 42 篇 统计学(可授理学、...
    • 40 篇 生物学
    • 40 篇 系统科学
    • 38 篇 物理学
    • 17 篇 化学
  • 416 篇 管理学
    • 222 篇 图书情报与档案管...
    • 219 篇 管理科学与工程(可...
    • 128 篇 工商管理
  • 122 篇 教育学
    • 122 篇 教育学
  • 30 篇 法学
    • 21 篇 社会学
  • 24 篇 经济学
    • 23 篇 应用经济学
  • 24 篇 医学
  • 8 篇 农学
  • 5 篇 文学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 2,705 篇 java programming...
  • 256 篇 java
  • 45 篇 computer softwar...
  • 33 篇 software
  • 22 篇 codes
  • 21 篇 libraries
  • 19 篇 computer personn...
  • 18 篇 language
  • 16 篇 software systems
  • 16 篇 software enginee...
  • 16 篇 semantics
  • 16 篇 graphical user i...
  • 15 篇 source code
  • 14 篇 runtime
  • 14 篇 analysis program...
  • 14 篇 open source soft...
  • 13 篇 extensible marku...
  • 13 篇 testing
  • 13 篇 computer program...
  • 12 篇 computer program...

机构

  • 6 篇 unisys corporati...
  • 6 篇 kth royal instit...
  • 5 篇 graduate school ...
  • 5 篇 ibm corp thomas ...
  • 5 篇 ibm t.j. watson ...
  • 4 篇 ibm ottawa
  • 4 篇 dipartimento di ...
  • 4 篇 singapore manage...
  • 4 篇 inria sophia ant...
  • 4 篇 department of co...
  • 4 篇 univ york dept c...
  • 4 篇 carnegie mellon ...
  • 3 篇 univ york york y...
  • 3 篇 université de mo...
  • 3 篇 cwi
  • 3 篇 school of comput...
  • 3 篇 utrecht universi...
  • 3 篇 iit dept comp sc...
  • 3 篇 department of ma...
  • 3 篇 indiana univ dep...

作者

  • 16 篇 bettini lorenzo
  • 15 篇 inoue katsuro
  • 14 篇 binder walter
  • 11 篇 leavens gary t.
  • 9 篇 schoeberl martin
  • 9 篇 ernst michael d.
  • 8 篇 ishio takashi
  • 8 篇 monperrus martin
  • 8 篇 carpenter bryan
  • 8 篇 wellings andy
  • 7 篇 visser willem
  • 7 篇 baudry benoit
  • 7 篇 fox geoffrey
  • 7 篇 damiani ferrucci...
  • 7 篇 poll erik
  • 7 篇 poetzsch-heffter...
  • 7 篇 bal henri e.
  • 7 篇 vitek jan
  • 6 篇 kielmann thilo
  • 6 篇 milanova ana

语言

  • 2,503 篇 英文
  • 165 篇 其他
  • 14 篇 中文
  • 10 篇 日文
  • 8 篇 德文
  • 3 篇 俄文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 塞尔维亚文
  • 1 篇 乌克兰文
检索条件"主题词=JAVA programming language"
2705 条 记 录,以下是761-770 订阅
排序:
One approach to the development of custom SNMP agents and integration with management systems
One approach to the development of custom SNMP agents and in...
收藏 引用
35th International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2012
作者: Kazaz, Tarik Kulin, Merima Kaljic, Enio Carsimanovic, Tarik Faculty of Electrical Engineering University of Sarajevo Sarajevo Bosnia and Herzegovina BH Telecom JSC Sarajevo Bosnia and Herzegovina
This paper presents an approach to the development of custom agents and their integration with network management systems. For the development of agents is given one approach, and according to this approach an impleme... 详细信息
来源: 评论
Juggrnaut - An abstract JVM
Juggrnaut - An abstract JVM
收藏 引用
International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011
作者: Heinen, Jonathan Barthels, Henrik Jansen, Christina Software Modeling and Verification Group RWTH Aachen University Germany
We introduce a new kind of hypergraphs and hyperedge replacement grammars, where nodes are associated types. We use them to adapt the abstraction framework Juggrnaut presented by us in [7,8] - for the verification of ... 详细信息
来源: 评论
Modeling and simulating multiclock reactive systems in java
Modeling and simulating multiclock reactive systems in Java
收藏 引用
2012 IEEE International Conference on Computer Science and Automation Engineering, CSAE 2012
作者: Li, Zhaolin Wang, Fang Li, Shenglong Liu, Hao Research Institute of Information Technology Tsinghua National Laboratory for Information Science and Technology Tsinghua University Beijing China Institute of Microelectronics Tsinghua National Laboratory for Information Science and Technology Tsinghua University Beijing China
In this paper an extension of the java programming language towards multiclock reactive system programming has been presented, called java-MR. It provides an application programming interface that will realize the mod... 详细信息
来源: 评论
Design and realization of digital signature system
Design and realization of digital signature system
收藏 引用
2012 International Conference on Materials Engineering and Automatic Control, ICMEAC 2012
作者: Cui, Xin Jiang, Li College of Computer Science and Technology Shan Dong University of Technology Zibo China
The crux of safety communication of computer network lies in the accuracy of data transmission and the security of confidential data. Information security is the premise and foundation of all communication based on co... 详细信息
来源: 评论
Research on automatic scoring for java programming questions  1
收藏 引用
Computer Science and Information Engineering, CSIE 2012
作者: Qiao, ShanPing Sun, XueSong Shandong Provincial Key Laboratory of Network Based Intelligent Computing University of Jinan Jinan 250022 China
Automatic scoring for java programming questions is a very important and hard problem. Currently automatic scoring technology is mainly based on whether the program runs properly. This way is not always feasible becau... 详细信息
来源: 评论
Roles as modular units of composition
Roles as modular units of composition
收藏 引用
7th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2012
作者: Barbosa, Fernando Aguiar, Ademar Escola Superior de Tecnologia Instituto Politécnico de Castelo Branco Av. do Empresário Castelo Branco Portugal Departamento Informática Faculdade de Engenharia Universidade do Porto Rua Dr. Roberto Frias Porto Portugal
Object oriented decomposition is the most successful decomposition strategy used nowadays. But a single decomposition strategy cannot capture all aspects of a concept. Roles have been successfully used to model the di... 详细信息
来源: 评论
Fast method dispatch and effective use of primitives for reified generics in managed X10
Fast method dispatch and effective use of primitives for rei...
收藏 引用
2012 2nd ACM SIGPLAN X10 Workshop, X10 2012
作者: Takeuchi, Mikio Zakirov, Salikh Kawachiya, Kiyokuni Onodera, Tamiya IBM Research - Tokyo 5-6-52 Toyosu Koto-ku Tokyo 135-8511 Japan Google Inc. Japan
Two new techniques for improving performance of reified generics without specializing types are presented. With these techniques, the cost of method dispatch is reduced by 95% from the regular self dispatching based i... 详细信息
来源: 评论
Evaluation of tools for automated unit testing for applications in OSGi  12
Evaluation of tools for automated unit testing for applicati...
收藏 引用
5th Balkan Conference in Informatics, BCI 2012
作者: Geletka, Frantisek Samuelis, Ladislav Vojtko, Jozef Department of Computers and Informatics Technical University of Košice Letná 9 042 00 Košice Slovakia Test Centre Department of RWE IT Južná Trieda 6 042 00 Košice Slovakia
This work provides an overview and comparison of the currently available tools for testing in OSGi environment such as Pax-Exam, JUnit4OSGi or Spring DM. We developed a plugin for JUnit4OSGi that allows to generate ba... 详细信息
来源: 评论
Custom declarative refactoring in NetBeans: Tool demonstration
Custom declarative refactoring in NetBeans: Tool demonstrati...
收藏 引用
5th Workshop on Refactoring Tools, WRT'12
作者: Lahoda, Jan Bečička, Jan Ruijs, Ralph Benjamin Oracle Czech S. R. O. Czech Republic
In this paper, we briefly describe NetBeans' custom refactoring feature, its history and possible evolution. We will also mention some of the pain points that we ran into while this feature and its parts have been... 详细信息
来源: 评论
PE-KeY: A partial evaluator for java programs
PE-KeY: A partial evaluator for java programs
收藏 引用
9th International Conference on Integrated Formal Methods, IFM 2012
作者: Ji, Ran Bubel, Richard Technische Universität Darmstadt Germany
We present a prototypical implementation of a partial evaluator for java programs based on the verification system KeY. We argue that using a program verifier as technological basis provides potential benefits leading... 详细信息
来源: 评论