咨询与建议

限定检索结果

文献类型

  • 46 篇 会议
  • 26 篇 期刊文献
  • 6 篇 学位论文
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 65 篇 工学
    • 45 篇 计算机科学与技术...
    • 30 篇 软件工程
    • 16 篇 电气工程
    • 8 篇 信息与通信工程
    • 6 篇 控制科学与工程
    • 4 篇 机械工程
    • 3 篇 仪器科学与技术
    • 3 篇 电子科学与技术(可...
    • 2 篇 材料科学与工程(可...
    • 1 篇 冶金工程
    • 1 篇 建筑学
    • 1 篇 纺织科学与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 核科学与技术
    • 1 篇 生物医学工程(可授...
    • 1 篇 网络空间安全
  • 9 篇 理学
    • 5 篇 数学
    • 2 篇 化学
    • 1 篇 天文学
    • 1 篇 地球物理学
  • 6 篇 教育学
    • 5 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 6 篇 管理学
    • 5 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 2 篇 文学
    • 1 篇 中国语言文学
    • 1 篇 新闻传播学
  • 2 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
  • 1 篇 经济学
    • 1 篇 理论经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 艺术学

主题

  • 80 篇 java language
  • 5 篇 java
  • 5 篇 jml language
  • 4 篇 sv-benchmarks
  • 4 篇 program analysis
  • 4 篇 software enginee...
  • 4 篇 competition
  • 4 篇 verification tas...
  • 4 篇 jazyk java
  • 4 篇 c language
  • 4 篇 software verific...
  • 4 篇 formal verificat...
  • 4 篇 benchmark
  • 3 篇 benchexec
  • 3 篇 simulation
  • 3 篇 runtime assertio...
  • 3 篇 compile-time ana...
  • 3 篇 text
  • 3 篇 alloy analyzer
  • 3 篇 alloy modeling l...

机构

  • 4 篇 brno university ...
  • 4 篇 ludwig maximilia...
  • 3 篇 mit comp sci lab...
  • 2 篇 iowa state univ ...
  • 1 篇 kobe univ nada k...
  • 1 篇 univ holguin dep...
  • 1 篇 univ tokyo bunky...
  • 1 篇 univ cordoba dep...
  • 1 篇 wright state uni...
  • 1 篇 inje univ sch in...
  • 1 篇 univ cent martha...
  • 1 篇 niigata seiryo u...
  • 1 篇 univ zaragoza de...
  • 1 篇 univ texas dept ...
  • 1 篇 quanzhou univers...
  • 1 篇 pontificia univ ...
  • 1 篇 univ london sch ...
  • 1 篇 natl chiao tung ...
  • 1 篇 expt middle sch ...
  • 1 篇 anatel natl agcy...

作者

  • 4 篇 beyer dirk
  • 3 篇 cheon y
  • 3 篇 leavens gt
  • 3 篇 marinov d
  • 3 篇 ruby c
  • 2 篇 cok dr
  • 2 篇 clifton c
  • 2 篇 darko marinov
  • 2 篇 jackson d
  • 2 篇 khurshid s
  • 1 篇 o'callahan r
  • 1 篇 karras d. a.
  • 1 篇 eduardo pérez
  • 1 篇 yu huiming
  • 1 篇 oscar reyes
  • 1 篇 etsuya shibayama
  • 1 篇 zhan zhenzhong
  • 1 篇 villanueva r. l.
  • 1 篇 masahide nakamur...
  • 1 篇 li zhao

语言

  • 72 篇 英文
  • 5 篇 中文
  • 3 篇 其他
检索条件"主题词=Java language"
80 条 记 录,以下是71-80 订阅
排序:
Study on Negotiation of Multi-Agent System Based on Game Theory
Study on Negotiation of Multi-Agent System Based on Game The...
收藏 引用
The 8th International Conference on Computer Supported Cooperative Work in Design(第八届计算机支持的协同工作设计国际会议)(CSCWD2004)
作者: Shao-mei Wang Wen-bin Hu Logistics Engineering Department Wuhan University of TechnologyWuhanChina 430063
Aimed at Multi-object group decision problem,this paper advances a negotiation mechanism based ongame theory, and presents composing method ofnegotiation alliance to the negotiation problem. Basedon importing Nash Bal... 详细信息
来源: 评论
DESIGN OF A WEB BASED COLLABORATIVE CONFERENCE SYSTEM
DESIGN OF A WEB BASED COLLABORATIVE CONFERENCE SYSTEM
收藏 引用
第十二届工业工程和工程管理国际会议
作者: ZHAN Hongfei Factury of Engineeringof the Ningbo University,Zhejiang,Ningbo,P. R. . china,315211
The network based cooperative work based on web service is becoming one of the most important work model for modern enterprises. More and more enterprise processes is moving to the network. Remote collaborative confer... 详细信息
来源: 评论
Object equality profiling  03
Object equality profiling
收藏 引用
Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
作者: Darko Marinov Robert O'Callahan MIT Lab for Computer Science IBM T. J. Watson Research Center
We present Object Equality Profiling (OEP), a new technique for helping programmers discover optimization opportunities in programs. OEP discovers opportunities for replacing a set of equivalent object instances with ... 详细信息
来源: 评论
DESIGN OF A WEB BASED COLLABORATIVE CONFERENCE SYSTEM
DESIGN OF A WEB BASED COLLABORATIVE CONFERENCE SYSTEM
收藏 引用
2005年中国机械工程学会年会
作者: ZHAN Hongfei (Factury of Engineering of the Ningbo University, Ningbo, 315211)
<正>The network based cooperative work based on web service is becoming one of the most important work model for modern enterprises. More and more enterprise processes is moving to the network. Remote collaborative ... 详细信息
来源: 评论
Cutting java Expressions into Lines for Detecting their Evaluation at Runtime
Cutting Java Expressions into Lines for Detecting their Eval...
收藏 引用
作者: Izuru Kume Etsuya Shibayama Masahide Nakamura Naoya Nitta NAIST The University of Tokyo Kobe University Konan University
Practical java Debuggers can evaluate expressions at specified break points. Such evaluations may cause extra side effects and make an execution at debugging different from the original one. As a result, java develope... 详细信息
来源: 评论
The Development of Prediction Software Gm(1,1) and its Application in Marine Economy Field
The Development of Prediction Software Gm(1,1) and its Appli...
收藏 引用
2015 International Industrial Informatics and Computer Engineering Conference(IIICEC 2015)
作者: Xiao Jianhua Luo Shaoyu School of Economics and Management Wuyi University
Gm(1,1) model is the simplest and also the most widely used grey prediction ***,the manual computation cost is so very large,and cooperation of related calculation software is relatively complicated,so the performabil... 详细信息
来源: 评论
Design and Implementation of the Thesis Evaluation System Based on Web Technology
Design and Implementation of the Thesis Evaluation System Ba...
收藏 引用
2016 6th International Conference on Information Engineering for Mechanics and Materials(ICIMM 2016)
作者: Li Bo Jilin Agricultural University Graduate School
This paper introduces the research of Thesis Evaluation System Based on Web technology, the system makes Web page by HTML/CSS/JS, AJAX/JQuery, applying Struts2 framework to build the system framework, using java langu... 详细信息
来源: 评论
RESEARCH AND IMPLEMENTATION OF A WEB-BASED CAD SYSTEM
收藏 引用
Transactions of Nanjing University of Aeronautics and Astronautics 2002年 第2期19卷 145-150页
作者: 曾建江 陈文亮 丁秋林 南京航空航天大学航空宇航学院 南京210016
Computer aided design on the Internet/Intranet explores new frontiers in design environment. A new Web based CAD system is introduced. The users can install the CAD system on the server to build three dimensional m... 详细信息
来源: 评论
Design and implement of virtual laboratory platform based on Internet
Zhongnan Gongye Daxue Xuebao/Journal of Central South Univer...
收藏 引用
Zhongnan Gongye Daxue Xuebao/Journal of Central South University of Technology 2002年 第5期33卷 530-533页
作者: Wang, Jian-Xin Pei, Hui-Min Chen, Song-Qiao Coll. of Info. Sci. and Eng. Cent. South Univ. Changsha 410083 China
In order to overcome the shortage of the current virtual laboratory, the project of architecture and implement of the virtual laboratory platform were introduced in this paper. The key implement and design technologie... 详细信息
来源: 评论
JCLAL: a java framework for active learning
The Journal of Machine Learning Research
收藏 引用
The Journal of Machine Learning Research 2016年 第1期17卷
作者: Kevin Murphy Bernhard Schölkopf Oscar Reyes Eduardo Pérez María Del Carmen Rodríguez-Hernández Habib M. Fardoun Sebastián Ventura Google MPI for Intelligent Systems Department of Computer Science University of Holguín Holguín Cuba Department of Computer Science and Systems Engineering University of Zaragoza Zaragoza Spain Department of Information Systems King Abdulaziz University Jeddah Saudi Arabia Department of Computer Science and Numerical Analysis University of Córdoba Córdoba Spain and Department of Information Systems King Abdulaziz University Jeddah Saudi Arabia
Active Learning has become an important area of research owing to the increasing number of real-world problems which contain labelled and unlabelled examples at the same time. JCLAL is a java Class Library for Active ... 详细信息
来源: 评论