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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

281 篇 会议
126 篇 期刊文献
16 册 图书

馆藏范围

423 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

276 篇 工学
- 216 篇 计算机科学与技术...
- 159 篇 软件工程
- 35 篇 信息与通信工程
- 32 篇 控制科学与工程
- 25 篇 电气工程
- 17 篇 电子科学与技术（可...
- 12 篇 机械工程
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 安全科学与工程
- 7 篇 土木工程
- 7 篇 网络空间安全
- 6 篇 材料科学与工程（可...
- 6 篇 石油与天然气工程
- 5 篇 动力工程及工程热...
144 篇 理学
- 98 篇 数学
- 20 篇 系统科学
- 17 篇 生物学
- 13 篇 物理学
- 13 篇 统计学（可授理学、...
- 7 篇 化学
55 篇 管理学
- 41 篇 管理科学与工程(可...
- 23 篇 工商管理
- 13 篇 图书情报与档案管...
12 篇 教育学
- 10 篇 教育学
12 篇 医学
- 10 篇 临床医学
- 9 篇 基础医学(可授医学...
- 6 篇 药学(可授医学、理...
10 篇 经济学
- 10 篇 应用经济学
8 篇 法学
- 8 篇 社会学
6 篇 农学
3 篇 文学
2 篇 哲学
2 篇 艺术学

主题

24 篇 artificial intel...
22 篇 computer science
12 篇 software enginee...
10 篇 semantics
9 篇 application soft...
9 篇 logic programmin...
8 篇 programming prof...
7 篇 information stor...
6 篇 java
6 篇 monitoring
6 篇 hardware
6 篇 middleware
6 篇 equations
5 篇 information syst...
5 篇 libraries
5 篇 parallel program...
5 篇 laboratories
5 篇 computer languag...
5 篇 specifications
5 篇 security

机构

10 篇 department of sy...
7 篇 department of ap...
6 篇 programming meth...
5 篇 department of co...
5 篇 department of co...
5 篇 department of co...
5 篇 mart learning ed...
4 篇 federal research...
4 篇 department of co...
4 篇 computer enginee...
3 篇 german research ...
3 篇 zuse institute b...
3 篇 university of tw...
3 篇 department of co...
3 篇 rwth aachen univ...
3 篇 research group p...
3 篇 university of ka...
3 篇 programming rese...
3 篇 department of ap...
3 篇 department of ap...

作者

10 篇 fritzson peter
8 篇 hayek ali
7 篇 mostafa abotaleb
7 篇 philippsen micha...
6 篇 boercsoek josef
6 篇 abdelhameed ibra...
5 篇 el-sayed m.el-ke...
5 篇 abdelaziz a.abde...
5 篇 maiti manoranjan
5 篇 de meuter wolfga...
5 篇 henning christia...
5 篇 doaa sami khafag...
5 篇 roy abi zeid dao...
5 篇 ali hayek
4 篇 troels andreasen
4 篇 choe km
4 篇 scholz sven-bodo
4 篇 bergstra j.a.
4 篇 skiba alexander
4 篇 daou roy abi zei...

语言

415 篇 英文
7 篇 其他
1 篇 中文

检索条件"机构=Department of Computer science and Programming"

共 423 条记录，以下是241-250 订阅

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

详细简洁

排序：

InfoShield: a security architecture for protecting information usage in memory

InfoShield: a security architecture for protecting informati...

引用

IEEE Symposium on High-Performance computer Architecture

作者： W. Shi J.B. Fryman G. Gu H.-H.S. Lee Y. Zhang J. Yang School of Electrical and Computer Engineering Georgia Tech College of Computing Georgia Institute of Technology Programming System Lab Corporate Technology Intel Corporation USA Department of Computer Science University of Pittsburgh USA Department of Computer Science and Engineering University of California Riverside USA

Cyber theft is a serious threat to Internet security. It is one of the major security concerns by both network service providers and Internet users. Though sensitive information can be encrypted when stored in non-volatile memory such as hard disks, for many e-commerce and network applications, sensitive information is often stored as plaintext in main memory. Documented and reported exploits facilitate an adversary stealing sensitive information from an application's memory. These exploits include illegitimate memory scan, information theft oriented buffer overflow, invalid pointer manipulation, integer overflow, password stealing Trojans and so forth. Today's computing system and its hardware cannot address these exploits effectively in a coherent way. This paper presents a unified and lightweight solution, called InfoShield that can strengthen application protection against theft of sensitive information such as passwords, encryption keys, and other private data with a minimal performance impact. Unlike prior whole memory encryption and information flow based efforts, InfoShield protects the usage of information. InfoShield ensures that sensitive data are used only as defined by application semantics, preventing misuse of information. Comparing with prior art, InfoShield handles a broader range of information theft scenarios in a unified framework with less overhead. Evaluation using popular network client-server applications shows that InfoShield is sound for practical use and incurs little performance loss because InfoShield only protects absolute, critical sensitive information. Based on the profiling results, only 0.3% of memory accesses and 0.2% of executed codes are affected by InfoShield.

关键词： Information security Protection Cryptography computer security IP networks Web and internet services Nonvolatile memory Hard disks Buffer overflow Hardware

来源：评论

学校读者我要写书评

暂无评论

Making Slicing Mainstream How can we be Weiser?

Making Slicing Mainstream How can we be Weiser?

引用

Beyond Program Slicing 2005

作者： Kalleberg, Karl Trygve Hall, Tracy Ettinger, Ran Institutt for Informatikk Universitetet i Bergen PB 7800 NorwayN-5020 Norway Department of Computer Science Hertfordshire University HertfordshireAL10 9LB United Kingdom Programming Tools Group Computing Laboratory Oxford University OxfordOX1 3QD United Kingdom

By now, the concept of program slicing has been known in the research community for around 25 years. As a research topic, it has enjoyed a fair share of popularity, evidenced by the number of articles published on the topic following Mark Weiser’s seminal paper. However, outside research circles, program slicing appears to be virtually unknown. In this report, we take the premise that program slicing is both technically relevant, and has a sufficient theoretical foundation, to be applied in practice within the software industry. With this premise in mind, we ask ourselves, "what are the mechanisms by which we as a community could make program slicing mainstream"? © 2006 Dagstuhl Seminar Proceedings. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

OpenModelica - A free open-source environment for system modeling, simulation, and teaching

OpenModelica - A free open-source environment for system mod...

引用

IEEE International Conference on computer-Aided Design

作者： Peter Fritzson Peter Aronsson Adrian Pop Hakan Lundvall Kaj Nystrom Levon Saldamli David Broman Anders Sandholm PELAB-Programming Environment Laboratory Department Computer Science Linköping University Linkoping Sweden MathCore Engineering AB Teknikringen 1B SE-583 30 Linköping Sweden EPACT AB Linköping Sweden

Modelica is a modern, strongly typed, declarative, and object-oriented language for modeling and simulation of complex systems. This paper gives a quick overview of some aspects of the OpenModelica environment - an open-source environment for modeling, simulation, and development of Modelica applications. An introduction of the objectives of the environment is given, an overview of the architecture is outlined and a number of examples are illustrated.

关键词： Open source software Education Load modeling Protection Equations Control systems System testing Packaging Connectors

来源：评论

学校读者我要写书评

暂无评论

AmbientOriented programming in AmbientTalk: Combining mobile hardware with simplicity and expressiveness

AmbientOriented Programming in AmbientTalk: Combining mobile...

引用

OOPSLA'05 - 20th Annual ACM Conference on Object-Oriented programming, Systems, Languages, and Applications

作者： Dedecker, Jessie Cutsem, Tom Van Mostinckx, Stijn De Meuter, Wolfgang D Hond, Theo Programming Technology Laboratory Department of Computer Science Vrije Universiteit Brussel Belgium

A new field in distributed computing, called Ambient Intelligence, has emerged as a consequence of the increasing availability of wireless devices and the mobile networks they induce. Developing software for such mobile networks is extremely hard in conventional programming languages because the network is dynamically defined. We demonstrate a new distributed programming language named AmbientTalk, a research vehicle to experiment with expressive high-level language constructs for Ambient-Oriented programming. © 2005 ACM.

关键词： High level languages

来源：评论

学校读者我要写书评

暂无评论

Ambient-oriented programming

Ambient-oriented programming

引用

OOPSLA'05 - 20th Annual ACM Conference on Object-Oriented programming, Systems, Languages, and Applications

作者： Dedecker, Jessie Van Cutsem, Tom Mostinckx, Stijn D'Hondt, Theo De Meuter, Wolfgang Programming Technology Laboratory Department of Computer Science Vrije Universiteit Brussel Belgium

A new field in distributed computing, called Ambient In-telligence, has emerged as a consequence of the increasing availability of wireless devices and the mobile networks they induce. Developing software for such mobile networks is extremely hard in conventional programming languages because the network is dynamically defined. This hardware phenomenon leads us to postulate a suite of characteristics of future Ambient-Oriented programming languages. A simple re ective programming language kernel, called AmbientTalk, that meets these characteristics is subsequently presented. The power of the re ective kernel is illustrated by using it to conceive a collection of high level tentative ambient-oriented programming language features. © 2005 ACM.

关键词： Wireless networks

来源：评论

学校读者我要写书评

暂无评论

Adaptive detection of design flaws

Adaptive detection of design flaws

引用

作者： Kreimer, Jochen Research Group Programming Languages and Compilers Department of Computer Science University of Paderborn Germany

Criteria for software quality measurement depend on the application area. In large software systems criteria like maintainability, comprehensibility and extensibility play an important role. My aim is to identify design flaws in software systems automatically and thus to avoid "bad" - incomprehensible, hardly expandable and changeable - program structures. Depending on the perception and experience of the searching engineer, design flaws are interpreted in a different way. I propose to combine known methods for finding design flaws on the basis of metrics with machine learning mechanisms, such that design flaw detection is adaptable to different views. This paper presents the underlying method, describes an analysis tool for Java programs and shows results of an initial case study. © 2005 Elsevier B.V. All rights reserved.

关键词： computer software

来源：评论

学校读者我要写书评

暂无评论

Rapidly prototyping implementation infrastructure of Domain Specific Languages: A semantics-based approach

Rapidly prototyping implementation infrastructure of Domain ...

引用

20th Annual ACM Symposium on Applied Computing

作者： Wang, Qian Gupta, Gopal Applied Logic Programming-Languages and System Lab Department of Computer Science University of Texas Dallas

Domain Specific Languages (DSLs) are high level languages designed for solving problems in a particular domain, and have been suggested as means for developing reliable software systems. However, designing of a domain specific language is a difficult task. The design of a domain specific language will evolve as it is used more and more and experienced is gained by its designers. Being able to rapidly develop the implementation infrastructure (interpreter, compiler, debugger, profiler, etc.) of a domain specific language is thus of utmost importance so that as the language evolves, the implementation infrastructure can keep pace. In this paper we present a framework for automatically generating interpreters, compilers, debuggers, and profilers from semantic specification of a domain specific language. We illustrate our approach via the SCR language, a language used by the US defense department for developing control systems. Copyright 2005 ACM.

关键词： Software prototyping

来源：评论

学校读者我要写书评

暂无评论

Model checking

引用

作者： Berg, Therese Raffelt, Harald Computer Science Department Uppsala University Sweden Department of Programming Systems and Compiler Construction University of Dortmund Germany

ISBN: (纸本)3540262784

In this chapter an introduction to model checking and model learning was given. Furthermore, it was shown how to combine both techniques to an approach in which properties of a SUT are verified directly. First of all we have presented Kripke transition systems which build a simple basis for temporal logics used in model checking. The essential difference between linear time logics and branching time logics was made plain on the basis of an example. Subsequently we presented linear time logic (LTL) and computational tree logic (CTL) which are widely used for model checking purposes. Since the combination of model checking and model learning for testing purposes is only meaningful with linear time logics we presented a basic model checking algorithm for linear time logic. In the second part of the chapter we first gave an introduction to the general ideas of model learning algorithms. Continuing in the same subject, we presented a number of learning algorithms;the observation pack algorithm, Angluin's algorithm, the reduced observation table algorithm and, the discrimination tree algorithm. Subsequently we discussed the algorithms' query complexity and presented some domain specific optimizations to reduce the number of queries. We rounded the model learning part off with some experimental results. The final part in this chapter presented the adaptive model checking algorithm, which combines model checking and model learning into one approach. The approach try to make use of information in an existing model of the SUT in order to save effort in the learning procedure. If no model exist or the existing model is irrelevant compared to the current SUT, the approach is still applicable. Although model checking and model learning are both established research areas, a lot of work remains to be done when considering testing. The combination of model checking and testing techniques should be clarified. Models to be used for testing might ask for different characteristics of

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Component + aspect = An extensible and adaptable system software

Component + aspect = An extensible and adaptable system soft...

引用

2005 International Conference on Software Engineering Research and Practice, SERP'05

作者： Netinant, Paniti Department of Computer Science Bangkok University Bangkok Thailand Concurrent Programming Research Group Computer Science Department Illinois Institute of Technology Chicago IL United States

ISBN: (纸本)9781932415490

The benefits associated with separation of concerns are well established. Aspect-Orientation is a methodology that aims at separating components and aspects from the early stages of the software life cycle, and using techniques to combining them together at the implementation phase. Componentbased programming systems have shown themselves to be a natural way of constructing extensible software. Well-defined interfaces, encapsulation, late binding and polymorphism promote extensibility, yet despite this synergy, components have not been widely employed at the systems level. This is primarily due to the failure of existing component technologies to provide the protection and performance required of systems software. In this paper we identify the requirements for a component system to support extensions, and describe an extensibility and adaptability in the design of system software. We discuss an aspect-oriented framework that can simplify system design by expressing it at a higher level of abstraction. Our work concentrates on how to achieve a higher separation of aspects, components, and layers from each other. Our goal is to achieve a better design model for system software in terms of extensibility, reuse and adaptability.

关键词： computer software reusability

来源：评论

学校读者我要写书评

暂无评论

Debugging natural semantics specifications 05

Debugging natural semantics specifications

引用

AADEBUG 2005: 6th International Symposium on Automated and Analysis-Driven Debugging

作者： Pop, Adrian Fritzson, Peter Programming Environments Laboratory Department of Computer and Information Science Linköping University S-58183 Linköping

ISBN: (纸本)1595930507

In this paper we present the design and usage of a debugging framework for the Relational Meta-Language (RML), which is a language for writing executable Natural Semantics specifications. The language is successfully used at our department for writing large specifications for a range of languages like Java, Modelica, Pascal, MiniML etc. The RML system previously had no debugging facilities, which made it hard for programmers to debug their specifications. With this work we address these issues by providing a debugging framework for debugging high level Natural Semantics specifications in RML. Copyright 2005 ACM.

关键词： Program debugging

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共43页 << < 21 22 23 24 25 26 27 28 29 30 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：