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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

304 篇 会议
262 篇 期刊文献
7 篇 学位论文
5 册 图书

馆藏范围

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

日期分布

学科分类号

524 篇 工学
- 417 篇 计算机科学与技术...
- 298 篇 软件工程
- 125 篇 电气工程
- 18 篇 控制科学与工程
- 13 篇 信息与通信工程
- 7 篇 电子科学与技术（可...
- 3 篇 环境科学与工程（可...
- 3 篇 食品科学与工程（可...
- 3 篇 网络空间安全
- 2 篇 材料科学与工程（可...
- 1 篇 机械工程
- 1 篇 仪器科学与技术
- 1 篇 土木工程
- 1 篇 水利工程
- 1 篇 石油与天然气工程
- 1 篇 城乡规划学
19 篇 管理学
- 18 篇 管理科学与工程(可...
17 篇 理学
- 8 篇 数学
- 5 篇 化学
- 3 篇 物理学
- 3 篇 系统科学
- 1 篇 地球物理学
- 1 篇 生物学
8 篇 医学
- 6 篇 基础医学(可授医学...
- 3 篇 药学(可授医学、理...
- 2 篇 临床医学
- 2 篇 公共卫生与预防医...
4 篇 教育学
- 4 篇 教育学
2 篇 文学
- 2 篇 新闻传播学
1 篇 农学
- 1 篇 作物学

主题

578 篇 aspect-oriented ...
44 篇 aspectj
30 篇 languages
30 篇 object-oriented ...
21 篇 java
20 篇 separation of co...
19 篇 design
18 篇 embedded systems
17 篇 modularity
15 篇 design patterns
14 篇 runtime verifica...
14 篇 crosscutting con...
13 篇 aop
13 篇 software testing
12 篇 software archite...
12 篇 aspects
11 篇 uml
11 篇 software evoluti...
11 篇 software product...
11 篇 refactoring

机构

10 篇 hebei univ engn ...
6 篇 colorado state u...
5 篇 tech univ darmst...
5 篇 univ fed pernamb...
4 篇 tech univ darmst...
4 篇 univ lugano fac ...
4 篇 univ chile comp ...
3 篇 univ british col...
3 篇 tech univ darmst...
3 篇 eindhoven univ t...
3 篇 n dakota state u...
3 篇 univ lancaster d...
3 篇 handan coll hand...
3 篇 northeastern uni...
3 篇 purdue univ w la...
3 篇 mcgill univ sabl...
3 篇 nova se univ gra...
3 篇 univ fed pernamb...
3 篇 baylor univ dept...
3 篇 univ fed rio gra...

作者

12 篇 zhang jingjun
11 篇 tanter eric
9 篇 cardoso joao m. ...
9 篇 chen yuejuan
9 篇 liu guangyuan
8 篇 ghosh sudipto
8 篇 cerny tomas
8 篇 binder walter
8 篇 ansaloni danilo
8 篇 mezini mira
7 篇 kiczales g
7 篇 li hui
6 篇 borba paulo
6 篇 rebelo henrique
6 篇 jmaiel mohamed
6 篇 vranic valentino
6 篇 moret philippe
5 篇 hirschfeld rober...
5 篇 figueiredo eduar...
5 篇 mezini m

语言

536 篇 英文
36 篇 其他
3 篇 中文
2 篇 德文
1 篇 俄文

检索条件"主题词=aspect-oriented programming"

共 578 条记录，以下是421-430 订阅

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

详细简洁

排序：

Weaving Rewrite-Based Access Control Policies

Weaving Rewrite-Based Access Control Policies

引用

ACM Workshop on Formal Methods in Security Engineering

作者： de Oliveira, Anderson Santana Wang, Eric Ke Kirchner, Claude Kirchner, Helene INRIA Nancy France

ISBN: (纸本)9781595938879

Access control is a central issue among the overall security goals of information systems. Despite the existence, of a vast literature on the subject, it is still very hard to assure the compliance of a large system to a given dynamic access control policy. Based on our previous work on formal islands, we provide in this paper a systematic methodology to weave dynamic, formally specified policies on existing applications using aspect-oriented programming. To that end, access control policies axe formalized using term rewriting systems, allowing us to have an agile, modular, and precise way to specify and to ensure their formal properties. These high-level descriptions axe then weaved into the existing code, such that the resulting program implements a safe reference monitor for the specified policy. For developers, this provides a systematic process to enforce dynamic policies in a modular and flexible way. The level of reuse is improved because policies are independently specified and checked, to be later weaved into various different applications. We implemented the approach on test cases with quite encouraging results.

关键词： Access Control Execution Monitoring Term Rewriting Strategic Rewriting aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

An aspect-oriented approach to mobile agent access control

An aspect-oriented approach to mobile agent access control

引用

International Conference on Information Technology - Coding and Computing

作者： Xu, DX Goel, V N Dakota State Univ Dept Comp Sci Fargo ND 58105 USA

ISBN: (纸本)0769523153

This paper presents an aspect-oriented approach to access control in mobile agent systems, where a multipoint security check mechanism visualizes the services of a host as individual components and access of each will require authentication. Since the security check crosscuts various functional components of mobile agents and their platforms, it is naturally handled in the aspect-oriented paradigm. This approach is suitable not only for developing mobile agent systems from scratch, but also for enhancing legacy mobile agent systems. We demonstrate our approach through a case study.

关键词： security mobile agent aspect-oriented programming access control

来源：评论

学校读者我要写书评

暂无评论

Fault Tolerance for Distributed Real Time Dynamically Reconfigurable Systems from Modeling to Implementation

Fault Tolerance for Distributed Real Time Dynamically Reconf...

引用

22nd IEEE International WETICE Conference (WETICE)

作者： Gabsi, Wafa Zalila, Bechir Univ Sfax ReDCAD Lab Natl Sch Engineers Sfax Sfax 3038 Tunisia

ISBN: (纸本)9780769550022

The development of computer systems is extremely complex due to real-time, distribution and dynamism requirements. For this reason, whatever the taken precautions, the occurrence of faults is sometimes unavoidable. In this context, we notice the need of techniques ensuring the dependability of real-time distributed dynamically reconfigurable systems. We focus on fault-tolerance, that means avoiding service failures in the presence of faults. In this paper, we have defined a development process for modeling and generating fault tolerance code using aspect oriented programming. First, we integrate fault tolerance elements since the modeling step of a system in order to take advantage of features of analysis, proof and verification possible at this stage using AADL and its annex Error Model Annex. Second, we extend an aspect oriented language and adapt it to respect real-time requirements. Finally, we define a code generation process for both functional preoccupations and cross-cutting ones like fault tolerance.

关键词： Fault-tolerance modeling aspect-oriented programming real-time dynamic reconfiguration

来源：评论

学校读者我要写书评

暂无评论

Semantics of static pointcuts in aspectJ 07

Semantics of static pointcuts in AspectJ

引用

34th ACM SIGPLAN-SIGACT Symposium on Principles of programming Languages

作者： Avgustinov, Pavel Hajiyev, Elnar Ongkingco, Neil De Moor, Oege Sereni, Damien Tibble, Julian Verbaere, Mathieu Univ Oxford Comp Lab Programming Tools Grp Oxford OX1 3QD England

ISBN: (纸本)9781595935755

In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, aspectJ, allows the expression of highly complex properties of the static program structure. We present the first rigorous semantics of the aspectJ pointcut language, by translating static patterns into safe (i.e. range-restricted and stratified) Datalog queries. Safe Datalog is a logic language like Prolog, but it does not have data structures;consequently it has a straightforward least fixpoint semantics and all queries terminate. The translation from pointcuts to safe Datalog consists of a set of simple conditional rewrite rules, implemented using the Stratego system. The resulting queries are themselves executable with the CodeQuest system. We present experiments indicating that direct execution of our semantics is not prohibitively expensive.

关键词： design experimentation languages aspect-oriented programming pointcuts logic programming Datalog term rewriting

来源：评论

学校读者我要写书评

暂无评论

Inference rules for generic code migration of aspect-oriented programs

Inference rules for generic code migration of aspect-oriente...

引用

Annual Brazilian Symposium on programming Languages (SBLP)

作者： Rubbo, Fernando Barden Piveta, Eduardo Kessler Nunes, Daltro Jose Univ Fed Rio Grande do Sul Inst Informat Porto Alegre RS Brazil Univ Fed Santa Maria Programa Pos Grad Informat BR-97119900 Santa Maria RS Brazil

Several changes occurred in the aspectJ language to provide support for parametric polymorphism. Such changes aim to improve the source code type safety and to prepare the language to support generic code migration. Current approaches for this kind of migration focus only on object-oriented code. Therefore, they do not consider the use of aspects to encapsulate crosscutting concerns. We propose a collection of type constraint rules for the polymorphic version of aspectJ. These rules are used together with an existing constraint based algorithm to enable the conversion of non-generic code to add actual type parameters in both Java and aspectJ languages. (C) 2012 Elsevier B.V. All rights reserved.

关键词： Parametric polymorphism Code migration aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Metaproperty aspects 09

Metaproperty Aspects

引用

8th International Conference on aspect-oriented Software Development

作者： Myers, Clayton G. Baniassad, Elisa L. A. Chinese Univ Hong Kong Sha Tin Hong Kong Peoples R China

ISBN: (纸本)9781605584423

Currently, it is possible to use aspect-oriented languages to attach behavior to code based on semantic or syntactic properties of that code. There is no language, however, that allows developers to attach behavior based on static metaproperties of code. Here, we demonstrate a technique for applying AOP methods to metaproperties of source code. We use advice to coherently define runtime behavior for subsets of code that need not share semantic or syntactic properties. To illustrate the approach, we use Java as a base language, and define a family of pointcuts based on the edit time of the source lines, then build a simple debugging application that applies runtime tracing to only the most recently changed code. Using this technique, the tracing code is neatly modularized and need not depend on any semantic properties of the base code. We believe that this approach has powerful applications for debugging as well as for software engineering researchers looking to explore the runtime effects of extra-linguistic features.

关键词： aspect-oriented programming Metaproperties

来源：评论

学校读者我要写书评

暂无评论

Hammock-based Identification of Changes in Advice Applications between aspect-oriented Programs 14

Hammock-based Identification of Changes in Advice Applicatio...

引用

14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)

作者： Katic, Marija Independent Researcher London United Kingdom

ISBN: (纸本)9789897583759

In an aspect-oriented program, the cross-cutting functionalities are defined in pieces of advice such that they apply to program-execution points for the core functionalities. Program changes can affect the application of pieces of advice. To that end, a source-code differencing tool, for two versions of an aspect-oriented program, needs to support the identification of changes in pieces of advice at locations of their applications. To alleviate this task, we introduce an extension of the existing differencing technique for object-oriented programs. We implemented a tool AjDiff and used it to evaluate our technique on the two examples of aspect-oriented programs: Tracing and Telecom. We manually verified that our tool can successfully identify changes in pieces of advice at locations of their application.

关键词： aspect-oriented programming Program Differencing CFG Comparison Hammock Hammock Graphs

来源：评论

学校读者我要写书评

暂无评论

Comprehensive aspect weaving for Java

Comprehensive aspect weaving for Java

引用

6th International Conference on the Principles and Practice of programming in Java (PPPJ 2008)

作者： Villazon, Alex Binder, Walter Moret, Philippe Ansaloni, Danilo Univ Lugano Fac Informat CH-6900 Lugano Switzerland

aspect-oriented programming (AOP) has been successfully applied to application code thanks to techniques such as Java bytecode instrumentation. Unfortunately, with existing AOP frameworks for Java such as aspectJ, aspects cannot be woven into the standard Java class library. This restriction is particularly unfortunate for aspects that would benefit from comprehensive aspect weaving with complete method coverage, such as profiling or debugging aspects. In this article we present MAJOR, a new tool for comprehensive aspect weaving, which ensures that aspects are woven into all classes loaded in a Java Virtual Machine, including those in the standard Java class library. MAJOR includes the pluggable module CARAJillo, which supports efficient access to a complete and customizable calling context representation. We validate our approach with three case studies. Firstly, we weave existing profiling aspects with MAJOR which otherwise would generate incomplete profiles. Secondly, we introduce an aspect for memory leak detection that also benefits from comprehensive weaving. Thirdly, we present an aspect subsuming the functionality of ReCrash, an existing tool based on low-level bytecode instrumentation techniques that generates unit tests to reproduce program failures. Our aspect-based tools are concisely implemented in a few lines of code, and leverage MAJOR and CARAJillo for comprehensive aspect weaving and for efficient access to calling context information. (C) 2010 Elsevier B.V. All rights reserved.

关键词： aspect-oriented programming aspect weaving Bytecode instrumentation Profiling Debugging Detecting memory leaks Recreating crashing conditions Java Virtual Machine

来源：评论

学校读者我要写书评

暂无评论

aspect-oriented In-lined Reference Monitors

Aspect-Oriented In-lined Reference Monitors

引用

3rd ACM SIGPLAN Workshop on programming Languages and Analysis for Security

作者： Hamlen, Kevin W. Jones, Micah Univ Texas Dallas Dallas TX 75230 USA

ISBN: (纸本)9781595939364

An aspect-oriented. declarative, security policy specification language is presented, for enforcement by In-lined Reference Monitors. The semantics of the language establishes a formal connection between aspect-oriented programming and In-lined Reference Monitoring wherein policy specifications denote aspect-oriented security automata-security automata whose edge labels are encoded as pointcut expressions. The prototype language implementation enforces these security policies by automatically rewriting Java bytecode programs so as to detect and prevent policy violations at runtime.

关键词： aspect-oriented programming In-lined Reference Monitors Object-oriented programming Runtime Verification security automata

来源：评论

学校读者我要写书评

暂无评论

Enhancing Base-code Protection in aspect-oriented Programs

Enhancing Base-code Protection in Aspect-Oriented Programs

引用

8th International Conference on aspect-oriented Software Development

作者： ElBendary, Mohamed Boyland, John Univ Wisconsin Milwaukee WI 53211 USA

ISBN: (纸本)9781605584423

aspect-oriented programming (AOP) promises to localize concerns that inherently crosscut the primary structural decomposition of a software system. Localization of concerns is critical to parallel development, maintainability, modular reasoning, and program understanding. However, AOP as it stands today causes problems in exactly these areas, defeating its purpose and impeding its adoption. First, the need to open up systems' modules for aspects' interaction competes with the need to protect those modules against possible fault injection by aspects. Second, since aspects are written in terms of base code interfaces, base system components must be stable before aspect components can be developed. This dependency hinders parallel development. This work proposes a language-based solution that allows base code classes to regulate aspect invasiveness, and provides loose coupling of aspects and base code.

关键词： aspect-oriented programming aspectj

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共58页 << < 39 40 41 42 43 44 45 46 47 48 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：