检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

2,218 篇 会议
476 篇 期刊文献
2 册 图书
2 篇 学位论文

馆藏范围

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

日期分布

学科分类号

2,646 篇 工学
- 2,414 篇 计算机科学与技术...
- 2,214 篇 软件工程
- 211 篇 电气工程
- 208 篇 信息与通信工程
- 126 篇 控制科学与工程
- 59 篇 电子科学与技术（可...
- 42 篇 机械工程
- 38 篇 生物工程
- 25 篇 安全科学与工程
- 22 篇 仪器科学与技术
- 22 篇 建筑学
- 21 篇 生物医学工程（可授...
- 20 篇 土木工程
- 19 篇 航空宇航科学与技...
- 18 篇 环境科学与工程（可...
- 17 篇 材料科学与工程（可...
- 17 篇 动力工程及工程热...
- 17 篇 化学工程与技术
491 篇 理学
- 364 篇 数学
- 43 篇 统计学（可授理学、...
- 41 篇 生物学
- 40 篇 物理学
- 40 篇 系统科学
- 17 篇 化学
413 篇 管理学
- 220 篇 图书情报与档案管...
- 218 篇 管理科学与工程(可...
- 128 篇 工商管理
121 篇 教育学
- 121 篇 教育学
30 篇 法学
- 21 篇 社会学
24 篇 经济学
- 23 篇 应用经济学
23 篇 医学
8 篇 农学
5 篇 文学
2 篇 军事学
2 篇 艺术学

主题

2,698 篇 java programming...
255 篇 java
44 篇 computer softwar...
33 篇 software
22 篇 codes
20 篇 libraries
18 篇 computer personn...
16 篇 software systems
16 篇 software enginee...
16 篇 semantics
16 篇 graphical user i...
16 篇 language
15 篇 source code
14 篇 analysis program...
14 篇 open source soft...
13 篇 runtime
13 篇 extensible marku...
13 篇 computer program...
12 篇 program diagnost...
12 篇 security

机构

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 篇 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 篇 singapore manage...
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,416 篇 英文
250 篇 其他
12 篇 中文
10 篇 日文
8 篇 德文
3 篇 俄文
2 篇 法文
1 篇 西班牙文
1 篇 葡萄牙文
1 篇 斯洛伐克文
1 篇 塞尔维亚文
1 篇 乌克兰文

检索条件"主题词=Java programming language"

共 2698 条记录，以下是491-500 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Simulation of a Pairing-Based Identity-Based Identification Scheme in IOS 4

Simulation of a Pairing-Based Identity-Based Identification ...

引用

IEEE 2015 International Conference on Signal and Image Processing Applications (ICSIPA)

作者： Cheah, Zi-Yik Lee, Yik-Shu Teh, Thong-Yun Chin, Ji-Jian Multimedia Univ Fac Engn Cyberjaya 63100 Selangor Malaysia

ISBN: (纸本)9781479989966

Pairing-based cryptography have begun to draw attention ever since the work of Boneh and Franklin in 2001 proposing the first identity-based encryption scheme using bilinear pairings. In 2010, Tan et al. developed a pairing library that has running times that is as competitive as Pairing-Based Crypto (PBC) library. However, since Tan et al's pairing library was written in java, it was not known to work for other platforms such as iOS. In this work, we adapt Tan et al's java library for iOS through the implementation of a pairing-based identity-based identification (IBI) scheme.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

OpenJDK's ***() Is Broken: The Good, the Bad and the Worst Case 27th

OpenJDK's ***() Is Broken: The Good, the Bad and the Worst C...

引用

27th International Conference on Computer-Aided Verification (CAV)

作者： de Gouw, Stijn Rot, Jurriaan de Boer, Frank S. Bubel, Richard Haehnle, Reiner CWI NL-1009 AB Amsterdam Netherlands SDL Amsterdam Netherlands Leiden Univ Leiden Netherlands Tech Univ Darmstadt Darmstadt Germany

ISBN: (纸本)9783319216904;9783319216898

We investigate the correctness of TimSort, which is the main sorting algorithm provided by the java standard library. The goal is functional verification with mechanical proofs. During our verification attempt we discovered a bug which causes the implementation to crash. We characterize the conditions under which the bug occurs, and from this we derive a bug-free version that does not compromise the performance. We formally specify the new version and mechanically verify the absence of this bug with KeY, a state-of-the-art verification tool for java.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Software System for Newspaper Distribution 13

Software System for Newspaper Distribution

引用

13th IEEE International Symposium on Intelligent Systems and Informatics (SISY)

作者： Marton, Iulia-Kinga Szabo, Zoltan Simon, Karoly Kando, Norbert Univ Babes Bolyai R-3400 Cluj Napoca Romania Univ Babes Bolyai Codespring LLC R-3400 Cluj Napoca Romania Codespring LLC Cluj Napoca Romania

ISBN: (纸本)9781467393881

The paper presents a software system for newspaper distribution. The system contains a central server, an Android client application and a web application for data administration. Application data (customer database, distributor profiles, distributions, etc.) is managed by the system administrators using the web application. The application also generates statistics and provides opportunity to create checklists for verification. The mobile client application is used by the distributors. Using this application, they can view their task list, the nearest addresses where they have to deliver newspapers and they can report feedback related to deliveries.

关键词： Android (operating system) Internet mobile computing publishing Android client application Web application central server customer database data administration data distribution distributor profile mobile client application newspaper distribution software system system administrator Authentication Databases java Mobile communication Servers Software systems Web pages Software systems system administrator web applications Data management Servers data distribution mobile communication Web pages Mobile Computing Publishing Database newspapers java java programming language Client Application

来源：评论

学校读者我要写书评

暂无评论

Live Visualization of GUI Application Code Coverage with GUITracer 3

Live Visualization of GUI Application Code Coverage with GUI...

引用

3rd IEEE Working Conference on Software Visualization (VISSOFT)

作者： Molnar, Arthur-Jozsef Univ Babes Bolyai Fac Math & Comp Sci R-3400 Cluj Napoca Romania

ISBN: (纸本)9781467375269

The present paper introduces the initial implementation of a software exploration tool targeting graphical user interface (GUI) driven applications. GUITracer facilitates the comprehension of GUI-driven applications by starting from their most conspicuous artefact - the user interface itself. The current implementation of the tool can be used with any java-based target application that employs one of the AWT, Swing or SWT toolkits. The tool transparently instruments the target application and provides real time information about the GUI events fired. For each event, call relations within the application are displayed at method, class or package level, together with detailed coverage information. The tool facilitates feature location, program comprehension as well as GUI test creation by revealing the link between the application's GUI and its underlying code. As such, GUITracer is intended for software practitioners developing or maintaining GUI-driven applications. We believe our tool to be especially useful for entry-level practitioners as well as students seeking to understand complex GUI-driven software systems. The present paper details the rationale as well as the technical implementation of the tool. As a proof-of-concept implementation, we also discuss further development that can lead to our tool's integration into a software development workflow.

关键词： graphical user interfaces program diagnostics program testing software tools AWT toolkit GUI application code coverage GUI events GUI test creation GUI-driven applications GUITracer SWT toolkit Swing feature location graphical user interface program comprehension software exploration tool Computer architecture Graphical user interfaces Industries java Libraries Open source software graphical user interfaces Reverse engineering analysis programme program testing wobbling open source software Computer Architecture Software Tools java java programming language Libraries industries

来源：评论

学校读者我要写书评

暂无评论

Energy Consumption Analysis of Algorithms Implementations

Energy Consumption Analysis of Algorithms Implementations

引用

ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)

作者： Rashid, Mohammad Ardito, Luca Torchiano, Marco Politecn Torino Dept Control & Comp Engn Turin Italy

ISBN: (纸本)9781467378994

Context: Mobile devices, typically battery driven, require new efforts to improve the energy efficiency of both hardware and software designs. Goal: The goal of this work is to analyze the energy efficiency of different sorting algorithms implementations. Method: We set up an experiment on an ARM based device, measuring the energy consumption of different sorting algorithms implemented in different programming languages. Result: The algorithms and languages exhibit significantly different energy consumption, the ARM assembly language implementation of Counting sort is the greenest solution. Conclusion: We provide the basic information to select algorithms, and we identified the main factors affecting energy consumption.

关键词： energy consumption mobile computing programming languages sorting ARM assembly language ARM based device energy consumption analysis energy efficiency hardware design mobile devices software design sorting algorithms implementation Algorithm design and analysis Energy consumption java Power demand Software algorithms Sorting energy consumption Computer programming languages energy consumption analysis Energy efficiency Algorithm design and analysis Software algorithms sorting programs Software design Power demand computer hardware design Mobile devices Mobile Computing java java programming language grade

来源：评论

学校读者我要写书评

暂无评论

Service-Oriented Toolchains for Software Evolution 9

Service-Oriented Toolchains for Software Evolution

引用

IEEE 9th International Symposium on the Maintenance and Evolution of Service-Oriented Systems and Cloud-Based Environments (MESOCA)

作者： Jelschen, Jan Carl von Ossietzky Univ Oldenburg D-26111 Oldenburg Germany

ISBN: (纸本)9781467379359

Software evolution projects need to be supported by integrated toolchains, yet can suffer from inadequate tool interoperability. Practitioners are forced to deal with technical integration issues, instead of focusing on their projects' actual objectives. Lacking integration support, the resulting toolchains are rigid and inflexible, impeding project progress. This paper presents SENSEI, a service-oriented support framework for toolchain-building, that clearly separates software evolution needs from implementing tools and interoperability issues. It aims to improve interoperability using component-based principles, and provides model-driven code generation to partly automate the integration process. The approach has been prototypically implemented, and was applied in the context of the Q-MIG project, to build parts of an integrated software migration and quality assessment toolchain.

关键词： open systems program compilers software maintenance software quality software tools Q-MIG project SENSEI component-based principles integrated software migration integrated toolchains integration support model-driven code generation quality assessment toolchain service-oriented support framework service-oriented toolchains software evolution projects tool interoperability toolchain-building Automation Buildings Interoperability java Measurement Software Standards Interoperability software evolution compilers Software maintenance software quality Automation Software Tools open systems Buildings java java programming language computer software

来源：评论

学校读者我要写书评

暂无评论

Sanitary Sewer Overflow Reduction Optimization Using Genetic Algorithm

Sanitary Sewer Overflow Reduction Optimization Using Genetic...

引用

World Environmental and Water Resources Congress

作者： Ogidan, Olufunso Giacomoni, Marcio Univ Texas San Antonio Environm Sci & Engn Program One UTSA Circle San Antonio TX 78249 USA Univ Texas San Antonio Dept Civil & Environm Engn San Antonio TX 78249 USA

ISBN: (数字)9780784479162

ISBN: (纸本)9780784479162

Municipalities across the United States face the challenge of sanitary sewer overflows (SSOs), events which pose serious public health and environmental problems. SSOs are unintentional discharges of untreated sewage from the sewer system that can occur as a result of rain derived infiltration and inflow (RDII). SSOs can be reduced by decreasing RDII into the collection system, increasing conveyance capacity, and lessening peak flow through detention storage facilities. However, the sheer length of sanitary sewer systems makes the implementation of these controls very costly. Thus, a novel approach is required to a posteriori design cost-effective rehabilitation options. This study describes a multiobjective evolutionary optimization approach to design a rehabilitation strategy for SSOs reduction in the eastern subsewershed of the San Antonio Water System (SAWS) sewer network. The subsewershed consists of 3,304 conduits connected via 3,155 manholes to form a network that is 160.8 miles long and services an area covering 20.4 square miles with an approximate population of 36,000 inhabitants. The hydraulic behavior of the system is simulated using the EPA Storm Water Management Model (EPA-SWMM) hydraulic model, and the number of SSOs is calculated as the number of nodes that oveflow during the 5 year 6 hours design storm. The optimization method utilized was the Nondominated Sorting Genetic Algorithm (NSGA II) to generate near Pareto-optimal solutions that express tradeoffs between the number of SSOs and cost. The NSGA II was implemented in java, where each individual is represented as a set of vectors that is composed of three sets of genes. The decision variables include the number of pipe segments to be replaced, the location of the first link to be replaced, and the amount of commercial diameter increase from existing pipe diameter. The use of the optimization approach is expected to generate more efficient solutions in comparison to typical engineering approaches

关键词： sanitary sewer overflows Sewer Systems Sanitary sewers SET gene Genetic Algorithm (GA) optimization method Sewerage networks Set of vectors java java programming language

来源：评论

学校读者我要写书评

暂无评论

From Preprocessor-Constrained Parse Graphs to Preprocessor-Constrained Control Flow 15

From Preprocessor-Constrained Parse Graphs to Preprocessor-C...

引用

15th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)

作者： Luedemann, Dierk Koschke, Rainer Univ Bremen D-28359 Bremen Germany

ISBN: (纸本)9781467375290

Preprocessor-aware static analysis tools are needed for C Code to gain sound knowledge about the interference among all conditionally compiled program parts. We provide formal descriptions and algorithms to construct a preprocessor-aware control flow graph from preprocessor-aware parse graphs of SuperC. Based on the structure of parse graphs capturing the syntax nodes constrained by preprocessor constraints, we show how to model, formalize, and compute preprocessor-aware intra-procedural control-flow graphs. Such preprocessor-aware control-flow graphs may serve as the basis for subsequent preprocessor-aware control and data flow analyses.

关键词： C language data flow analysis flow graphs program processors C code SuperC preprocessor-aware intraprocedural control-flow graph preprocessor-aware parse graph preprocessor-aware static analysis tools preprocessor-constrained control flow preprocessor-constrained parse graph syntax nodes Algorithm design and analysis Computational modeling Data preprocessing Grammar java Linux Syntactics data flow analysis Program processors Flowcharts Algorithm design and analysis syntax Data preprocessing C language Linux Computational modeling java java programming language Parsing C CODES

来源：评论

学校读者我要写书评

暂无评论

Assessment of Access Control Systems Using Mutation Testing 1

Assessment of Access Control Systems Using Mutation Testing

引用

International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity

作者： Daoudagh, Said Lonetti, Francesca Marchetti, Eda CNR Ist Sci & Tecnol Informaz A Faedo Pisa Italy

ISBN: (纸本)9781467370974

In modern pervasive applications, it is important to validate access control mechanisms that are usually defined by means of the standard XACML language. Mutation analysis has been applied on access control policies for measuring the adequacy of a test suite. In this paper, we present a testing framework aimed at applying mutation analysis at the level of the java based policy evaluation engine. A set of java based mutation operators is selected and applied to the code of the Policy Decision Point (PDP). A first experiment shows the effectiveness of the proposed framework in assessing the fault detection of XACML test suites and confirms the efficacy of the application of code-based mutation operators to the PDP.

关键词： access control java java programming language PDP1 gene mutational analysis Extensible Access Control Markup language Defect detection

来源：评论

学校读者我要写书评

暂无评论

Explora: A Visualisation Tool forMetric Analysis of Software Corpora 3

Explora: A Visualisation Tool forMetric Analysis of Software...

引用

3rd IEEE Working Conference on Software Visualization (VISSOFT)

作者： Merino, Leonel Lungu, Mircea Nierstrasz, Oscar Univ Bern Software Composit Grp Bern Switzerland

ISBN: (纸本)9781467375269

When analysing software metrics, users find that visualisation tools lack support for (1) the detection of patterns within metrics;and (2) enabling analysis of software corpora. In this paper we present Explora, a visualisation tool designed for the simultaneous analysis of multiple metrics of systems in software corpora. Explora incorporates a novel lightweight visualisation technique called PolyGrid that promotes the detection of graphical patterns. We present an example where we analyse the relation of subtype polymorphism with inheritance and invocation in corpora of Smalltalk and java systems and find that (1) subtype polymorphism is more likely to be found in large hierarchies;(2) as class hierarchies grow horizontally, they also do so vertically;and (3) in polymorphic hierarchies the length of the name of the classes is orthogonal to the cardinality of the call sites.

关键词： program diagnostics software metrics Explora java system PolyGrid Smalltalk system graphical pattern detection lightweight visualisation technique multiple metrics analysis software corpora metric analysis subtype polymorphism visualisation tool Color Correlation java Software Software metrics Visualization Software measurement Visualization analysis programme computer software QUANTITATIVE ANALYSIS java java programming language computer programs

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共270页 << < 46 47 48 49 50 51 52 53 54 55 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：