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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

577 篇 会议
25 册 图书
25 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

522 篇 工学
- 475 篇 计算机科学与技术...
- 416 篇 软件工程
- 33 篇 电气工程
- 23 篇 控制科学与工程
- 18 篇 信息与通信工程
- 7 篇 生物工程
- 5 篇 环境科学与工程（可...
- 4 篇 建筑学
- 4 篇 土木工程
- 4 篇 化学工程与技术
- 3 篇 机械工程
- 3 篇 电子科学与技术（可...
- 3 篇 农业工程
- 2 篇 材料科学与工程（可...
- 2 篇 生物医学工程（可授...
87 篇 理学
- 62 篇 数学
- 11 篇 生物学
- 7 篇 物理学
- 7 篇 系统科学
- 5 篇 化学
36 篇 管理学
- 25 篇 图书情报与档案管...
- 12 篇 管理科学与工程(可...
- 5 篇 工商管理
9 篇 教育学
- 9 篇 教育学
8 篇 法学
- 7 篇 社会学
- 1 篇 法学
3 篇 农学
- 3 篇 作物学
2 篇 医学
- 2 篇 基础医学(可授医学...
- 2 篇 临床医学
- 2 篇 药学(可授医学、理...

主题

237 篇 object oriented ...
24 篇 software enginee...
24 篇 object-oriented ...
23 篇 programming tech...
18 篇 programming lang...
13 篇 semantics
13 篇 logics and meani...
12 篇 computer communi...
11 篇 aspect oriented ...
11 篇 artificial intel...
9 篇 software enginee...
9 篇 c++ (programming...
9 篇 database managem...
7 篇 specifications
7 篇 it in business
5 篇 computer softwar...
5 篇 calculations
5 篇 application prog...
5 篇 computer softwar...
5 篇 problem oriented...

机构

7 篇 victoria univers...
5 篇 carnegie mellon ...
4 篇 microsoft corp r...
4 篇 swiss fed inst t...
3 篇 victoria univ we...
3 篇 software composi...
3 篇 microsoft united...
3 篇 univ genoa disi ...
3 篇 university of to...
3 篇 object technolog...
3 篇 eth zurich
3 篇 university of ch...
3 篇 i.b.m. thomas j....
3 篇 univ geneva obje...
3 篇 independent soft...
3 篇 umeå university
3 篇 purdue univ dept...
3 篇 purdue universit...
2 篇 harvey mudd coll...
2 篇 universidad de m...

作者

16 篇 noble james
9 篇 vitek jan
6 篇 davis kei
6 篇 madsen ole lehrm...
6 篇 jul eric
5 篇 bosch j
5 篇 drossopoulou sop...
5 篇 de meuter wolfga...
5 篇 bruce kim b.
5 篇 ernst michael d.
5 篇 chambers c
5 篇 aldrich jonathan
5 篇 mens kim
5 篇 sahraoui houari ...
4 篇 hirschfeld rober...
4 篇 szyperski c
4 篇 ducasse stéphane
4 篇 homer michael
4 篇 ancona davide
4 篇 yonezawa akinori

语言

614 篇 英文
11 篇 其他
2 篇 中文

检索条件"任意字段=European Conference on Object-Oriented Programming, ECOOP 2000"

共 627 条记录，以下是541-550 订阅

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

详细简洁

排序：

Composable encapsulation policies

Composable encapsulation policies

引用

18th european conference on object-oriented programming, ecoop 2004

作者： Schärl, Nathanael Ducasse, Stéphane Nierstrasz, Oscar Wuyts, Roel Software Composition Group University of Bern Switzerland Lab for Software Composition and Decomposition Université Libre de Bruxelles Belgium

ISBN: (纸本)354022159X

Given the importance of encapsulation to object-oriented programming, it is surprising to note that mainstream object-oriented languages offer only limited and fixed ways of encapsulating methods. Typically one may only address two categories of clients, users and heirs, and one must bind visibility and access rights at an early stage. This can lead to inflexible and fragile code as well as clumsy workarounds. We propose a simple and general solution to this problem in which encapsulation policies can be specified separately from implementations. As such they become composable entities that can be reused by different classes. We present a detailed analysis of the problem with encapsulation and visibility mechanisms in mainstream OO languages, we introduce our approach in terms of a simple model, and we evaluate how our approach compares with existing approaches. We also assess the impact of incorporating encapsulation policies into Smalltalk. © Springer-Verlag Berlin Heidelberg 2004.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Transparent object proxies for JavaScript 29

Transparent object proxies for JavaScript

引用

29th european conference on object-oriented programming, ecoop 2015

作者： Keil, Matthias Guria, Sankha Narayan Schlegel, Andreas Geffken, Manuel Thiemann, Peter Institute for Computer Science University of Freiburg Freiburg Germany Indian Institute of Technology Jodhpur Jodhpur India

ISBN: (纸本)9783939897866

Proxies are the swiss army knives of object adaptation. They introduce a level of indirection to intercept select operations on a target object and divert them as method calls to a handler. Proxies have many uses like implementing access control, enforcing contracts, virtualizing resources. One important question in the design of a proxy API is whether a proxy object should inherit the identity of its target. Apparently proxies should have their own identity for security-related applications whereas other applications, in particular contract systems, require transparent proxies that compare equal to their target objects. We examine the issue with transparency in various use cases for proxies, discuss different approaches to obtain transparency, and propose two designs that require modest modifications in the JavaScript engine and cannot be bypassed by the programmer. We implement our designs in the SpiderMonkey JavaScript interpreter and bytecode compiler. Our evaluation shows that these modifications of have no statistically significant impact on the benchmark performance of the JavaScript engine. Furthermore, we demonstrate that contract systems based on wrappers require transparent proxies to avoid interference with program execution in realistic settings. © Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, and Peter Thiemann;.

关键词： Transparency

来源：评论

学校读者我要写书评

暂无评论

Traits: Composable units of behaviour

引用

17th european conference on object oriented programming, ecoop 2003

作者： Schärli, Nathanael Ducasse, Stéphane Nierstrasz, Oscar Black, Andrew P. Software Composition Group University of Bern Switzerland OGI School of Science and Engineering Oregon Health and Science University United States

ISBN: (纸本)9783540405313

Despite the undisputed prominence of inheritance as the fundamental reuse mechanism in object-oriented programming languages, the main variants—single inheritance, multiple inheritance, and mixin inheritance—all suffer from conceptual and practical problems. In the first part of this paper, we identify and illustrate these problems. We then present traits, a simple compositional model for structuring object-oriented programs. A trait is essentially a group of pure methods that serves as a building block for classes and is a primitive unit of code reuse. In this model, classes are composed from a set of traits by specifying glue code that connects the traits together and accesses the necessary state. We demonstrate how traits overcome the problems arising from the different variants of inheritance, we discuss how traits can be implemented effectively, and we summarize our experience applying traits to refactor an existing class hierarchy. © Springer-Verlag Berlin Heidelberg 2003.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Verification of object-Z specifications by using transition systems: Application to the radiomobile network design problem 3rd

引用

3rd International conference on Fundamental Approaches to Software Engineering (FACE 2000) at the european conference on Theory and Practice of Software (ETAPS 2000)

作者： Gruer, P Hilaire, V Koukam, A Univ Technol Belfort Montbeliard F-90010 Belfort France

ISBN: (纸本)3540672613

This paper presents a technique for verifying specifications which uses the object-oriented state-based language object-Z. The technique is based upon translation of object-Z specifications into transition systems. The translation of object-Z into a transition system allows one to use established techniques and tools in order to verify the specifications. We present the basis of our translation approach and then illustrate it by a case study. The case study consists in proving properties of our antennae parameter setting problem specification.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Rule-based object coordination

引用

european conference on object oriented programming, ecoop 1994

作者： Andreoli, Jean-Marc Gallaire, Hervé Pareschi, Remo Rank Xerox Research Center 6 Chemin de Maupertuis Meylan38240 France

ISBN: (纸本)3540594507

We discuss a framework in which the traditional features of objects (encapsulation, communication, etc.) are enhanced with synchronization and coordination facilities, using the declarative power of rules. We propose two interpretations of rules, one re-active and the other proactive, corresponding to different kinds of interactions between the rules and the objects. Finally, we consider the problem of capturing domain specific knowledge within a general coordination framework, for which constraints offer a promising direction of research. © Springer-Verlag Berlin Heidelberg 1995.

关键词： Domain Knowledge

来源：评论

学校读者我要写书评

暂无评论

Solving the inheritance anomaly in concurrent object-oriented programming 7th

引用

7th european conference on object-oriented programming, ecoop 1993

作者： Meseguer, José SRI International Menlo ParkCA94025 United States Center for the Study of Language and Information Stanford University StanfordCA94305 United States

ISBN: (纸本)9783540571209

The inheritance anomaly [23] refers to the serious difficulty in combining inheritance and concurrency in a simple and satisfactory way within a concurrent object-oriented language. The problem is closely connected with the need to impose synchronization constraints on the acceptance of a message by an object. In most concurrent object-oriented languages this synchronization is achieved by synchronization code controlling the acceptance of messages by objects. Synchronization code is often hard to inherit and tends to require extensive redefinitions. The solutions that have appeared so far in the literature to alleviate this problem seem to implicitly assume that better, more reusable, mechanisms are needed to create and structure synchronization code. The approach taken in this paper is to consider the inheritance anomaly as a problem caused by the very presence of synchronization code. The goal is then to completely eliminate synchronization code. This is achieved by using order-sorted rewriting logic, an abstract model of concurrent computation that is machine-independent and extremely fine grain, and that can be used directly to program concurrent object-oriented systems. Our proposed solution involves a distinction between two different notions of inheritance, a type-theoretic one called class inheritance, and a notion called module inheritance that supports reuse and modification of code. These two different notions address two different ways in which the inheritance anomaly can appear;for each of them we propose declarative solutions in which no explicit synchronization code is ever used. © Springer-Verlag Berlin Heidelberg 1993.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Evil pickles: DoS attacks based on object-graph engineering 31

Evil pickles: DoS attacks based on object-graph engineering

引用

31st european conference on object-oriented programming, ecoop 2017

作者： Dietrich, Jens Jezek, Kamil Rasheed, Shawn Tahir, Amjed Potanin, Alex School of Engineering and Advanced Technology Massey University Palmerston North New Zealand NTIS - New Technologies for the Information Society Faculty of Applied Sciences University of West Bohemia Pilsen Czech Republic School of Engineering and Computer Science Victoria University of Wellington Wellington New Zealand

ISBN: (纸本)9783959770354

In recent years, multiple vulnerabilities exploiting the serialisation APIs of various programming languages, including Java, have been discovered. These vulnerabilities can be used to devise injection attacks, exploiting the presence of dynamic programming language features like reflection or dynamic proxies. In this paper, we investigate a new type of serialisation-related vulnerabilities for Java that exploit the topology of object graphs constructed from classes of the standard library in a way that deserialisation leads to resource exhaustion, facilitating denial of service attacks. We analyse three such vulnerabilities that can be exploited to exhaust stack memory, heap memory and CPU time. We discuss the language and library design features that enable these vulnerabilities, and investigate whether these vulnerabilities can be ported to C#, Java- Script and Ruby. We present two case studies that demonstrate how the vulnerabilities can be used in attacks on two widely used servers, Jenkins deployed on Tomcat and JBoss. Finally, we propose a mitigation strategy based on contract injection.

关键词： Denial-of-service attack

来源：评论

学校读者我要写书评

暂无评论

object location control using meta-level programming

引用

european conference on object oriented programming, ecoop 1994

作者： Okamura, Hideaki Ishikawa, Yutaka Department of Computer Science Keio University 3-14-1 Hiyoshi Kohoku-ku Kanagawa223 Japan Tsukuba Research Center Real World Computing Partnership 1-6-1 Takezono TsukubaIbaraki305 Japan

ISBN: (纸本)9783540582021

In distributed environments, location control of objects among hosts is a crucial concern. This paper proposes a new mechanism of object location control using meta-level programming which provides the following advantages to programmers. First, the description of location control can be separated from the application program by exploiting the meta-level architecture. This separation makes it easy for programmers to understand application programs and change location control policies. Second, it is possible for programmers to control object location using runtime information provided at the meta-level such as the number of remote messages. This information enables programmers to control object location more flexibly than in traditional distributed languages. The mechanism proposed in this paper has been implemented on an AL-1/D distributed reflective programming system. We show that our mechanism of location control using meta-level programming provides reasonable performance for a distributed application. © 1994, Springer Verlag. All rights reserved.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Compiling adaptive programs by partial evaluation 9th

Compiling adaptive programs by partial evaluation

引用

Joint european conference on Theory and Practice of Software (ETAPS 2000)

作者： Thiemann, P Univ Freiburg Inst Informat D-7800 Freiburg Germany

ISBN: (纸本)354067263X

An adaptive program is an object-oriented program which is abstracted over the particular class structure. This abstraction fosters software reuse, because programmers can concentrate on specifying how to process the objects which are essential to their application. The compiler of an adaptive program takes care of actually locating the objects. The adaptive programmer merely writes a traversal specification decorated with actions. The compiler instantiates the specification with the actual class structure and generates code that traverses a collection of objects, performing visits and actions according to the specification. Earlier work on adaptive programming merely stated but never verified that compilation of adaptive programs is nothing but partial evaluation. We employ an algebraic framework based on derivatives of traversal specifications to develop an interpretive semantics of adaptive programming. This semantics is naturally staged in up to three stages. Compilation can be achieved using a standard partial evaluator. Slight changes in the binding-time properties yield several variants of the compiler, by trading compile-time computations for run-time computations.

关键词： object-oriented programming semantics compilation

来源：评论

学校读者我要写书评

暂无评论

european Workshop on Distributed object Security, EWDOS 1998

European Workshop on Distributed Object Security, EWDOS 1998

引用

european Workshop on Distributed object Security, EWDOS 1998 and Workshop on Mobile object Systems: Secure Internet Mobile Computations, MOS 1998 held in conjunction with european conference on object-oriented programming, ecoop 1998

ISBN: (纸本)9783540661306

The proceedings contain 22 papers. The special focus in this conference is on Foundations and Concepts. The topics include: Benefits, models, and mechanisms;protection in programming-language translations;reflective authorization systems;abstractions for mobile computations;type-safe execution of mobile agents in anonymous networks;types as specifications of access policies;security properties of typed applets;the role of trust management in distributed systems security;distributed access-rights management with delegation certificates;a view-based access control model for CORBA;apoptosis — the programmed death of distributed services;a sanctuary for mobile agents;mutual protection of co-operating agents;access control in configurable systems;providing policy-neutral and transparent access control in extensible systems;transparently interposing user code at the system interface;a capability-based operating system for java;secure network objects;history-based access control for mobile code;security in active networks;using interfaces to specify access rights and introducing trusted third parties to the mobile agent paradigm.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共63页 << < 51 52 53 54 55 56 57 58 59 60 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：