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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,211 篇 会议
480 篇 期刊文献
5 篇 学位论文
2 册 图书
2 篇 科技报告

馆藏范围

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

日期分布

学科分类号

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

主题

2,700 篇 java programming...
255 篇 java
44 篇 computer softwar...
33 篇 software
21 篇 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 篇 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,532 篇 英文
131 篇 其他
14 篇 中文
10 篇 日文
8 篇 德文
3 篇 俄文
2 篇 法文
1 篇 西班牙文
1 篇 葡萄牙文
1 篇 斯洛伐克文
1 篇 塞尔维亚文
1 篇 乌克兰文

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

共 2700 条记录，以下是401-410 订阅

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

详细简洁

排序：

DroidTrace: A Ptrace Based Android Dynamic Analysis System with Forward Execution Capability 10

DroidTrace: A Ptrace Based Android Dynamic Analysis System w...

引用

10th International Wireless Communications & Mobile Computing Conference (IWCMC)

作者： Zheng, Min Sun, Mingshen Lui, John C. S. Chinese Univ Hong Kong Hong Kong Hong Kong Peoples R China

ISBN: (纸本)9781479909599

Android, being an open source smartphone operating system, enjoys a large community of developers who create new mobile services and applications. However, it also attracts malware writers to exploit Android devices in order to distribute malicious apps in the wild. In fact, Android malware are becoming more sophisticated and they use advanced "dynamic loading" techniques like java reflection or native code execution to bypass security detection. To detect dynamic loading, one has to use dynamic analysis. Currently, there are only a handful of Android dynamic analysis tools available, and they all have shortcomings in detecting dynamic loading. The aim of this paper is to design and implement a dynamic analysis system which allows analysts to perform systematic analysis of dynamic payloads with malicious behaviors. We propose "DroidTrace", a ptrace based dynamic analysis system with forward execution capability. Our system uses ptrace to monitor selected system calls of the target process which is running the dynamic payloads, and classifies the payloads behaviors through the system call sequence, e.g., behaviors such as file access, network connection, inter-process communication and even privilege escalation. Also, DroidTrace performs "physical modification" to trigger different dynamic loading behaviors within an app. Using DroidTrace, we carry out a large scale analysis on 36,170 dynamic payloads in 50,000 apps and 294 malware in 10 families (four of them are zero-day) with various dynamic loading behaviors.

关键词： Androids Humanoid robots java Loading Malware Monitoring Payloads Androids Payload Spyware Androids Humanoid robots Methyltestosterone java java programming language loading Analysis systems dynamic loading

来源：评论

学校读者我要写书评

暂无评论

Performance Antipatterns of One To Many Association in Hibernate

Performance Antipatterns of One To Many Association in Hiber...

引用

Federated Conference on Computer Science and Information Systems (FedCSIS)

作者： Wegrzynowicz, Patrycja Univ Warsaw Inst Informat PL-02097 Warsaw Poland

ISBN: (纸本)9781467344715

Hibernate is the most popular ORM framework for java. It is a straightforward and easy-to-use implementation of java Persistence API. However, its simplicity of usage often becomes mischievous to developers and leads to serious performance issues in Hibernate-based applications. This paper presents live performance antipatterns related to the usage of one-to-many associations in hibernate. These antipatterns focus on the problems of the owning side of collections, the java types and annotations used in mappings, as well as processing of collections. Each antipattern consists of the description of a problem along with a sample code, negative performance consequences, and the recommended solution. Performance is analyzed in terms of the number and complexity of issued database statement. The code samples illustrate how the antipatterns decrease performance and how to implement the mappings to speed up the execution times.

关键词： MAPPING(MATHEMATICAL) java java programming language One to many ANNOTATIONS Developers Legal Executions Association (Psychology)

来源：评论

学校读者我要写书评

暂无评论

Hardware-based solution detecting illegal references in real-time java

Hardware-based solution detecting illegal references in real...

引用

15th Euromicro Conference on Real-Time Systems (ECRTS 2003)

作者： Higuera-Toledano, MT Univ Complutense Madrid Fac Informat E-28040 Madrid Spain

ISBN: (纸本)0769519369

The memory model used in the Real-Time Specification for java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus maintaining the pointer safety of java. An implementation solution to ensure the checking of these rules before each assignment statement consists to use write barriers executing a stack-based algorithm. This paper provides a hardware-based solution for both write barriers and the stack-based algorithm.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

PROPOSAL FOR EXPANSION OF STASEC TOOL

PROPOSAL FOR EXPANSION OF STASEC TOOL

引用

20th Telecommunications Forum

作者： Vukovic, Dijana R. Duric, Zoran I. Gligoroski, Danilo Univ Banjoj Luci Elektrotehn Fak Banja LukaPatre 5 Banja Luka Republika Srpsk Bosnia & Herceg Norwegian Univ Sci & Technol Dept Telemat N-7491 Trondheim Norway

ISBN: (纸本)9781467329842;9781467329835

Priority in the development of Web applications is the implementation of security mechanisms. In order to detect potential security vulnerabilities and implement appropriate security mechanisms, it is necessary to perform a detailed analysis of the application. For the detection of potential failures in the process of applications development, the static analysis of source code is used. STASEC [1] is a tool for static analysis of source code of Web applications that are implemented using the java programming language. This paper presents a proposal for expansion of this tool with new module for the automatic detection of application vulnerabilities caused by manipulation of the input data on the client.

关键词： sigurnost Web aplikacija stati& x010D ka analiza web applications security mechanism Source code java programming language Security hole automatic detection Clients Expansion incoming data customers

来源：评论

学校读者我要写书评

暂无评论

JAAT: java alias analysis tool for program maintenance activities

JAAT: Java alias analysis tool for program maintenance activ...

引用

9th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing

作者： Ohata, Fumiaki Inoue, Katsuro Toshiba Software Engn Ctr Kawasaki Kanagawa Japan Osaka Univ Dept Comp Sci Osaka Japan

ISBN: (纸本)076952561X

Alias analysis is a method for extracting sets of expressions which may possibly refer to the same memory locations during program execution. Although many researchers have already proposed analysis methods for the purpose of program optimization, difficulties still remain in applying such methods to practical software engineering tools in the sense of precision, extensibility and scalability. Focusing mainly on a practical use for program maintenance activities such as program debugging and understanding, we propose an alias analysis method for object-oriented programs and discuss our implementation. Using this method, we have developed a tool named JAAT. Our proposed method employs a two-phase, on-demand, and instance-based algorithm, in which intra-class analysis is done in Phase 1 for whole programs and libraries, and inter-class analysis is done in Phase 2 only for a user-demanded target. JAAT can analyze large programs or libraries such as JDK class library. Also, JAAT includes various features for program maintenance activities, such as GUI for displaying aliases, and an XML database for storing analysis information.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

SOLj: A domain-specific language (DSL) for secure service-based systems

SOLj: A domain-specific language (DSL) for secure service-ba...

引用

11th IEEE International Workshop on Future Trends of Distributed Computing Systems

作者： Bharadwaj, Ramesh Mukhopadhyay, Supratik Naval Res Lab 4555 Overlook Ave Washington DC 20375 USA Utah State Univ Logan UT 84322 USA

ISBN: (纸本)9780769528106

We present SOLj (Secure Operations language-java), an event-driven domain-specific synchronous programming extension of java for developing secure service-based systems. The language has capabilities for handling service invocations asynchronously, includes strong typing for the enforcement of information flow and security policies, and exception handling mechanisms to deal with failures of components or services (both benign and Byzantine). Applications written in SOLj are formally verifiable using static analysis techniques. SOLj programs may be deployed, configured, and run on SINS (Secure Infrastructure for Networked Systems) under development at the Naval Research Laboratory.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Cadena: An integrated development, analysis, and verification environment for component-based systems

Cadena: An integrated development, analysis, and verificatio...

引用

25th International Conference on Software Engineering (ICSE 2003)

作者： Hatcliff, J Deng, XH Dwyer, MB Jung, G Ranganath, VP Kansas State Univ Dept Comp & Informat Sci Manhattan KS 66506 USA

ISBN: (纸本)076951877X

The use of component models such as Enterprise java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-critical domains, component-based development is beginning to take hold as a mechanism for incorporating non-functional aspects such as real-time, quality-of-service, and distribution. To form an effective basis for development of such systems, we believe that support for reasoning about correctness properties of component-based designs is essential. In this paper we present Cadena - an integrated environment for building and modeling CCM systems. Cadena provides facilities for defining component types using CCM IDL, specifying dependency information and transition System semantics for these types, assembling systems from CCM components, visualizing various dependence relationships between components, specifying and verifying correctness properties of models of CCM systems derived from CCM IDL, component assembly information, and Cadena specifications, and producing CORBA stubs and skeletons implemented in java. We are applying Cadena to avionics applications built using Boeing's Bold Stroke framework.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Ecoreification: Making Arbitrary java Code Accessible to Metamodel-Based Tools 17

Ecoreification: Making Arbitrary Java Code Accessible to Met...

引用

ACM/IEEE 20th International Conference on Model Driven Engineering languages and Systems (MODELS)

作者： Klare, Heiko Burger, Erik Kramer, Max Langhammer, Michael Saglam, Timur Reussner, Ralf KIT Karlsruhe Germany

ISBN: (纸本)9781538634929

Models are used in software engineering to describe parts of a system that are relevant for the computation of specific analyses, or the provision of specific functionality. Metamodeling languages such as Ecore make it possible to realize analyses and functionality with model-driven technology, such as transformation engines. If models conform to a metamodel that was expressed using Ecore, numerous Eclipse-based tools can be reused to directly analyze, display, or transform models. In many software projects, models are, however, realized with objects of plain-old java classes rather than an explicit metamodel, so these popular tools cannot be used. In this new ideas paper, we present an Ecoreification approach, which can be used to automatically extract Ecore-conforming metamodels from java code, and a code generator that combines the benefits of both worlds. The resulting code can be used exactly as before, but it also uses the modeling infrastructure and implements all interfaces for Ecore-based tooling. This way, arbitrary non-standard models can be displayed and modified, for example using graphical Sirius editors, or transformed with well-proven transformation languages, such as QVT-O or ATL.

关键词： java Tools Unified modeling language Generators Libraries Software systems java java programming language UML Software systems dynamos Libraries Code generation EQUIPMENT Codes Metamodels

来源：评论

学校读者我要写书评

暂无评论

Why Statically Estimate Code Coverage Is So Hard? A Report of Lessons Learned 29

Why Statically Estimate Code Coverage Is So Hard? A Report o...

引用

9th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS)

作者： Aniche, Mauricio F. Oliva, Gustavo A. Gerosa, Marco A. Univ Sao Paulo Dept Comp Sci BR-05508 Sao Paulo Brazil

ISBN: (纸本)9781467392723

The calculation of test coverage is often unfeasible for large-scale mining software repositories studies, as its computation requires building each project and executing their test suites. Because of that, we have been working on heuristics to calculate code coverage based on static code analysis. However, our results have been disappointing so far. In this paper, we present our approach to the problem and an evaluation involving 18 open source projects (around 2,700 classes) from the Apache Software Foundation. Results show that our approach provides acceptable results for only 50% of all classes. We believe researchers can learn from our mistakes and possibly derive a better approach. We advise researchers who need to use code coverage in their studies to select projects with a well-defined build system, such as Maven.

关键词： data mining program diagnostics program testing public domain software Apache software foundation Maven code coverage large-scale mining software repositories open source projects static code analysis test suites Complexity theory Data mining java Manuals Measurement Production Software Static code analysis data mining open source software analysis programme program testing Complexity theory computer software java java programming language open source

来源：评论

学校读者我要写书评

暂无评论

Optimal Construction Facilities Location Selection for Linear Infrastructure Projects

Optimal Construction Facilities Location Selection for Linea...

引用

ASCE International Conference on Computing in Civil Engineering (i3CE)

作者： Mansour, Amr G. Eid, Mohamed S. Elbeltagi, Emad E. Arab Acad Sci Technol & Maritime Construct & Bldg Engn Cairo 11799 Egypt Mansoura Univ Dept Struct Engn Mansoura 35516 Egypt

ISBN: (数字)9780784482421

ISBN: (纸本)9780784482421

Planning an efficient construction site layout increases safety and productivity of operations. As opposed to considering only confined construction sites, this paper optimizes site layout for linear infrastructure projects in congested inner cities roads ( i. e., road maintenance). The construction site location of these projects dynamically changes as the work progresses. Therefore, selecting construction facilities locations ( CFL) is a major problem prior to organizing these facilities. The presented work optimizes CFL selection in inner-cities congested roads, using uniform-cost search ( UCS) as an optimization tool, through minimizing the ( 1) resources transportation cost, ( 2) land renting cost, and ( 3) facilities relocation cost. The proposed model is coded in java using NetBeans IDE 8.1 platform. A hypothetical case study with a solution space of 243 solutions was conducted to demonstrate the model's benefits. The model succeeded in finding the optimal CFL for road segments in under 1,100 milliseconds using an 8 GB RAM, 2.00 GHz machine.

关键词： construction sites constructional plant SITE LAYOUT Solution space Road Highway maintenance Location selection NetBeans java java programming language INFRASTRUCTURE

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共270页 << < 37 38 39 40 41 42 43 44 45 46 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：