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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

982 篇 期刊文献
649 篇 会议
314 册 图书
38 篇 学位论文
5 件 标准
1 篇 科技报告
1 篇 资讯

馆藏范围

1,990 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

1,384 篇 工学
- 966 篇 计算机科学与技术...
- 588 篇 软件工程
- 394 篇 电气工程
- 124 篇 控制科学与工程
- 82 篇 机械工程
- 68 篇 信息与通信工程
- 45 篇 电子科学与技术（可...
- 35 篇 力学（可授工学、理...
- 33 篇 材料科学与工程（可...
- 32 篇 土木工程
- 21 篇 仪器科学与技术
- 14 篇 石油与天然气工程
- 14 篇 交通运输工程
- 12 篇 化学工程与技术
- 12 篇 环境科学与工程（可...
- 10 篇 动力工程及工程热...
- 10 篇 测绘科学与技术
228 篇 理学
- 104 篇 数学
- 63 篇 物理学
- 22 篇 生物学
- 19 篇 地球物理学
- 16 篇 化学
- 15 篇 系统科学
- 15 篇 统计学（可授理学、...
124 篇 管理学
- 108 篇 管理科学与工程(可...
- 15 篇 图书情报与档案管...
- 14 篇 工商管理
110 篇 教育学
- 105 篇 教育学
21 篇 农学
- 10 篇 作物学
19 篇 医学
16 篇 经济学
- 15 篇 应用经济学
10 篇 文学
7 篇 法学
3 篇 哲学
3 篇 历史学
3 篇 艺术学
1 篇 军事学

主题

1,990 篇 object-oriented ...
252 篇 nasa technical r...
252 篇 (ntrs)
128 篇 software enginee...
124 篇 java
67 篇 object oriented ...
55 篇 computer program...
52 篇 simulation
49 篇 reports
48 篇 computer program...
47 篇 programming lang...
43 篇 design
41 篇 formal specifica...
40 篇 applications pro...
40 篇 architecture (co...
40 篇 software
39 篇 design patterns
38 篇 expert systems
38 篇 artificial intel...
37 篇 software reusabi...

机构

13 篇 naval postgradua...
9 篇 brno university ...
5 篇 univ macedonia d...
4 篇 iit dept comp sc...
4 篇 georgia inst tec...
4 篇 technion israel ...
4 篇 univ oslo dept i...
4 篇 univ calif berke...
4 篇 univ auckland de...
4 篇 newcastle univ d...
3 篇 natl res univ hi...
3 篇 international bu...
3 篇 univ oslo dept m...
3 篇 victoria univ we...
3 篇 oak ridge natl l...
3 篇 nanjing univ sta...
3 篇 univ lancaster d...
3 篇 nova sch sci & t...
3 篇 swiss fed inst t...
3 篇 carleton univ ot...

作者

6 篇 kindler eugene
6 篇 meyer bertrand
6 篇 abdalla hs
6 篇 ducasse s
6 篇 giacaman nasser
5 篇 sokas algirdas
5 篇 xinogalos stelio...
5 篇 yang jeong
5 篇 budiardja reuben...
5 篇 cardall christia...
5 篇 romanovsky a
5 篇 lee young
5 篇 chatzigeorgiou a...
4 篇 tan wee hoe
4 篇 kramer matthias
4 篇 brinda torsten
4 篇 sinnen oliver
4 篇 chang jm
4 篇 noble j
4 篇 fong anthony s.

语言

1,826 篇 英文
129 篇 其他
31 篇 中文
3 篇 德文
1 篇 法文

检索条件"主题词=Object-Oriented Programming"

共 1990 条记录，以下是691-700 订阅

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

详细简洁

排序：

Stateful Declassification Policies for Event-Driven Programs 27

Stateful Declassification Policies for Event-Driven Programs

引用

27th IEEE Computer Security Foundations Symposium (CSF)

作者： Vanhoef, Mathy De Groef, Willem Devriese, Dominique Piessens, Frank Rezk, Tamara Katholieke Univ Leuven iMinds DistriNet Leuven Belgium INRIA Paris France

ISBN: (纸本)9781479942909

We propose a novel mechanism for enforcing information flow policies with support for declassification on event-driven programs. Declassification policies consist of two functions. First, a projection function specifies for each confidential event what information in the event can be declassified directly. This generalizes the traditional security labelling of inputs. Second, a stateful release function specifies the aggregate information about all confidential events seen so far that can be declassified. We provide evidence that such declassification policies are useful in the context of JavaScript web applications. An enforcement mechanism for our policies is presented and its soundness and precision is proven. Finally, we give evidence of practicality by implementing and evaluating the mechanism in a browser.

关键词： object-oriented programming pattern classification security of data Java Script Web applications aggregate information confidential events enforcement mechanism event-driven programs information flow policy projection function security labelling stateful declassification policy stateful release function Browsers Global Positioning System Labeling Monitoring Observers Presses Security

来源：评论

学校读者我要写书评

暂无评论

How to make a distributed programming course a big fun 44

How to make a distributed programming course a big fun

引用

IEEE Frontiers in Education Conference (FIE)

作者： Osipov, Evgeny Mousavi, Arash Lulea Univ Technol Dept Comp Sci Elect & Space Engn S-97187 Lulea Sweden

ISBN: (纸本)9781479939220

This article presents experiences of teachers from Lulea University of Technology when enhancing the teaching approach and depth of an undergraduate course on network programming and distributed applications. During the trial run of the course in the fall of 2013 agent-oriented programming and cloud technologies were married to provide students an exciting practical scenario and capability to test the performance of truly large scale distributed systems under extremely high traffic loads.

关键词： cloud computing computer aided instruction computer science education distributed programming educational courses educational institutions object-oriented programming software agents teaching Lulea University of Technology agent-oriented programming cloud technologies distributed applications distributed programming course large-scale distributed systems network programming applications teacher experiences teaching approach enhancement traffic loads undergraduate course depth enhancement Cloud computing Computer architecture Educational institutions Multi-agent systems programming profession

来源：评论

学校读者我要写书评

暂无评论

ASeCS: Assistive Self-Care Software Architectures for Delivering Service in Care Homes

ASeCS: Assistive Self-Care Software Architectures for Delive...

引用

47th Annual Hawaii International Conference on System Sciences

作者： Shojanoori, Reza Juric, Radmila Lohi, Mahi Terstyanszky, Gabor Univ Westminster Fac Sci & Technol London W1R 8AL England

ISBN: (纸本)9781479925049

We propose a layered and component based software architecture, which generates semantic software applications, for the purpose of delivering personalized services for residents in Self-Care Homes (SeCH). The architectural core layers accommodate software components which grasp and understand the semantic of various situations we may encounter in SeCH, through a variety of cyber-physical objects which co-exist in pervasive environments used in monitoring SeCH residents. The decision making on appropriate actions in SeCH is based on reasoning created by SWRL enabled OWL ontologies to ensure that in any situation, residents are delivered suitable and personalized healthcare services. The ASeCS architecture has been deployed through component based Java technologies, and uses OWL-API in order to seamlessly incorporate reasoning into software applications. ASeCS is SeCH specific, but provides a window of opportunities for creating modern and flexible software solutions for pervasive healthcare, where decision making solely depends on OWL/SWRL enabled computations.

关键词： Java health care knowledge representation languages object-oriented programming ontologies (artificial intelligence) software architecture ubiquitous computing ASeCS OWL ontology OWL-API SWRL SeCH assistive self-care software architecture component based Java technology component based software architecture cyber-physical object personalized healthcare service pervasive environment pervasive healthcare self-care homes semantic software Cognition Heating Medical services OWL Ontologies Semantics Software

来源：评论

学校读者我要写书评

暂无评论

Graceful Dialects

Graceful Dialects

引用

28th European Conference on object-oriented programming (ECOOP)

作者： Homer, Michael Jones, Timothy Noble, James Bruce, Kim B. Black, Andrew P. Victoria Univ Wellington Wellington New Zealand Pomona Coll Claremont CA 91711 USA Portland State Univ Portland OR 97207 USA

ISBN: (纸本)9783662442029;9783662442012

programming languages are enormously diverse, both in their essential concepts and in their accidental aspects. This creates a problem when teaching programming. To let students experience the diversity of essential concepts, the students must also be exposed to an overwhelming variety of accidental and irrelevant detail: the accidental differences between the languages are likely to obscure the teaching point. The dialect system of the Grace programming language allows instructors to tailor and vary the language to suit their courses, while staying within the same stylistic, syntactic and semantic framework, as well as permitting authors to define advanced internal domain-specific languages. The dialect system achieves this power though a combination of well-known language features: lexical nesting, lambda expressions, multi-part method names, optional typing, and plug-gable checkers. Grace's approach to dialects is validated by a series of case studies, including both extensions and restrictions of the base language.

关键词： Grace language variants domain-specific languages pluggable checkers graphical microworlds error reporting object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels 35

KCoFI: Complete Control-Flow Integrity for Commodity Operati...

引用

35th IEEE Symposium on Security and Privacy (SP)

作者： Criswell, John Dautenhahn, Nathan Adve, Vikram Univ Illinois Dept Comp Sci 1304 W Springfield Ave Urbana IL 61801 USA

ISBN: (纸本)9781479946860

We present a new system, KCoFI, that is the first we know of to provide complete Control-Flow Integrity protection for commodity operating systems without using heavyweight complete memory safety. Unlike previous systems, KCoFI protects commodity operating systems from classical control flow hijack attacks, return-to-user attacks, and code segment modification attacks. We formally verify a subset of KCoFI's design by modeling several features in small-step semantics and providing a partial proof that the semantics maintain control-flow integrity. The model and proof account for operations such as page table management, trap handlers, context switching, and signal delivery. Our evaluation shows that KCoFI prevents all the gadgets found by an open-source Return oriented programming (ROP) gadget-finding tool in the FreeBSD kernel from being used;it also reduces the number of indirect control-flow targets by 98.18%. Our evaluation also shows that the performance impact of KCoFI on web server bandwidth is negligible while file transfer bandwidth using OpenSSH is reduced by an average of 13%, and at worst 27%, across a wide range of file sizes. PostMark, an extremely file-system intensive benchmark, shows 2x overhead. Where comparable numbers are available, the overheads of KCoFI are far lower than heavyweight memory-safety techniques.

关键词： Internet file servers object-oriented programming operating system kernels public domain software FreeBSD kernel KCoFI OpenSSH PostMark Web server bandwidth code segment modification attacks commodity operating system kernels control-flow hijack attacks control-flow integrity file transfer bandwidth file-system intensive benchmark formal verification heavyweight memory-safety techniques indirect control-flow targets open-source ROP gadget-finding tool open-source return oriented programming gadget-finding tool page table management return-to-user attacks signal delivery small-step semantics trap handlers Context Hardware Instruction sets Instruments Kernel Security Free BSD compiler operating systems Formal verification operating system kernels Operating systems instruction sets open source software File servers object oriented programming compilers file transfers Computer hardware Kernel Internets

来源：评论

学校读者我要写书评

暂无评论

Generation of Mutation Operators for Aspect-oriented Software Systems 5

Generation of Mutation Operators for Aspect-Oriented Softwar...

引用

5th International Conference on Confluence - The Next Generation Information Technology Summit (Confluence)

作者： Lochab, Preeti Singhal, Abhishek Bansal, Abhay Amity Univ Dept CSE ASET Noida UP India

ISBN: (纸本)9781479942367

Effectiveness of a software development depends directly upon how efficiently testing techniques have been carried out on the software. Testing starts as soon as requirements are being collected for the software development process. It was a myth at earlier days that software testing can only be carried out after implementation phase. Now it has been experimentally proved that in order to reduce the overall cost and time for the software development process, it is necessary to carry out testing from the first phase of software development life cycle. Among a large number of software testing methodologies, mutation testing is one of the testing methodology in which testing is performed by introducing faults into the program. Mutation testing focuses on fault identification by examining the efficiency of test suite. Many researchers have contributed into the field of Mutation testing in Aspect oriented systems. In this paper, various mutation operators are proposed to detect faults in AspectJ Programs.

关键词： Mutation testing object-oriented programming Aspect-oriented programming AspectJ Mutation Operators

来源：评论

学校读者我要写书评

暂无评论

A Generic Mapping Approach for the Integration of BDI with object Orientation

A Generic Mapping Approach for the Integration of BDI with O...

引用

IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (WI-IAT)

作者： Braubach, Lars Pokahr, Alexander Univ Hamburg Distributed Syst Grp D-22527 Hamburg Germany

ISBN: (纸本)9781479941438

The BDI model is one of the most successful approaches for programming internal agent behavior. The derived PRS architecture beneficially combines reactiveness with deliberative reasoning via reactive planning and has been used for implementing diverse real world applications. Two different strands of programming languages following the BDI metaphor have emerged. The first strand comprises logical languages like AgentSpeak(L) and the second one is based on extensions of object oriented mainstream languages. Regarding the second strand it can be observed that the integration of BDI with mainstream languages has been often pursued in a way that allows for programming BDI agents in the host language by scarifying parts of the normal object oriented (OO) concepts such as inheritance and polymorphism. In this article first the general relationship between object oriented and BDI concepts is analyzed in a language independent way and a novel approach fostering a flexible mapping of BDI to OO concepts is presented. Afterwards, the mapping is used to realize a concrete programming approach for BDI agents in standard Java. For this purpose normal OO elements like fields, methods and classes can be turned into BDI elements such as beliefs, goals and plans of a BDI agent class.

关键词： Java object-oriented programming planning (artificial intelligence) programming languages Agent Speak BDI agents BDI metaphor OO concept PRS architecture concrete programming approach deliberative reasoning generic mapping approach host language integration internal agent behavior logical languages normal object oriented concept object orientation object oriented mainstream languages programming BDI agent reactive planning standard Java Batteries Cognition Concrete Gettering programming

来源：评论

学校读者我要写书评

暂无评论

Parametric urban regulation models for predicting development performances

Parametric urban regulation models for predicting developmen...

引用

作者： Kim, Jong Bum Texas A&M University

学位级别：Ph.D.

This research developed and evaluated the Parametric Urban Regulation Model (PURM) to represent urban regulations in parametric Building Information Modeling (BIM) and assess the development performances of urban regulations prior to the urban regulation adoption. The PURM was formed with the Parametric Urban Design Model (PUDM), the Parametric Urban Design Model object (PUDO), and the Parametric Urban Design Application (PUDA). The first contribution, representing urban regulation provisions in parametric BIM, was driven by parameterization of the urban regulation provisions with the PUDM and the PUDO. By using the parametric modeling within BIM technology, five types of PUDOs of Site, Block, Parcel, Building, and Parking were assembled to create the PUDM as a 3D urban regulation plan. The PUDOs and the PUDM visualized form implication of urban regulation provisions with the object geometry in parametric BIM. The second contribution, testing development performances of the urban regulation provisions, was devised to articulate the advantage of the urban regulation modeling in parametric BIM. The geometrical attributes of PUDOs were expressed with the parametric relationships, so the PUDM could present a range of regulation provision values. Once the PUDM was built in parametric BIM, an energy performance analysis could be performed. The PUDAs enabled the economic analysis based on the simplified pro forma estimation method. The third contribution, reducing ambiguity in interpretation of the urban regulation provisions, was experimented with an existing zoning regulation and 11 software prototypes of the PUDAs. Some associations among the provisions that can make the regulation interpretation complex were imbedded in the PUDAs so that a set of related provisions can be determined simultaneously. The environmental and the economic analyses made the relations among the provision values and the development performances explicit. In the long run, the PURM can achieve be

关键词： Parametric BIM Urban Regulation Zoning Urban Design object-oriented programming Development Performance Thesis

来源：评论

学校读者我要写书评

暂无评论

信息技术自动识别和数据采集技术用移动设备读取和显示ORM

信息技术自动识别和数据采集技术用移动设备读取和显示ORM

引用

标准类型：国际标准

来源：评论

学校读者我要写书评

暂无评论

OPC统一体系结构第10部分：程序

OPC统一体系结构第10部分：程序

引用

标准类型：国际电工委员会标准

标准号: IEC 62541-10-2015

IEC 62541-10:2015 is part of the overall OPC Unified Architecture (OPC UA) standard series and defines the information model associated with Programs. This includes the description of the NodeClasses, standard Properties, Methods and Events and associated behaviour and information for Programs. This second edition cancels and replaces the first edition published in 2012 and constitutes a technical revision. It includes the following technical changes: - Based on NIST review, security considerations have been included as 4.2.2;- Fixed the definition of the Program Diagnostic Type into a data type (5.2.8) and added missing data type for the Program Diagnostic Variable in the ProgramType in Table 5;- Corrected the BrowseName of the audit events for Program Transitions in Table 7.

关键词： Architecture (IT) Automation technology Bus systems Communication protocol Data exchange Data interface Definitions Information interchange Information technology Interface systems Interfaces object-oriented programming OPC Openess Productivity Collaboration Operating systems (computers) Process automation Programmes programming Protocols Software Information exchange Interfaces (data processing) Interfaces of electrical connections Mechanical interfaces Computer software Records

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共199页 << < 66 67 68 69 70 71 72 73 74 75 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：