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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 会议
26 篇 期刊文献
25 册 图书

馆藏范围

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

日期分布

学科分类号

521 篇 工学
- 474 篇 计算机科学与技术...
- 415 篇 软件工程
- 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 篇 药学(可授医学、理...

主题

238 篇 object oriented ...
25 篇 object-oriented ...
24 篇 software enginee...
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

语言

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

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

共 628 条记录，以下是551-560 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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 integrity using rules 5th

引用

5th european conference on object-oriented programming, ecoop 1991

作者： Medeiros, Claudia Bauzer Pfeffer, Patrick DCC-IMECC-UNICAMP CP 6065 CampinasSP13081 Brazil Department of Computer Science University of Colorado BoulderCO80309-0430 United States

ISBN: (纸本)9783540542629

Integrity maintenance in object-oriented systems has so far received little attention. This paper is an attempt to fill this gap. It describes a mechanism for maintaining integrity in an object- oriented database, implemented for the O2 system, and which uses the production rule approach to constraint maintenance. object integrity is ensured by objects themselves - the rules which are activated when selected events take place. The approach presented is original, in the sense that it takes full advantage of the object-oriented paradigm, considering constraints as first-class citizens which can be inherited, and defined independently of any application. Furthermore, we support maintenance of not only static but also some types of dynamic constraints, as well as constraints on object behavior. © Springer-Verlag Berlin Heidelberg 1991.

关键词： object-oriented databases

来源：评论

学校读者我要写书评

暂无评论

A marriage of class-and object-based inheritance without unwanted children 9th

A marriage of class-and object-based inheritance without unw...

引用

9th european conference on object-oriented programming, ecoop 1995

作者： Steyaert, Patrick De Meuter, Wolfgang Pleinlaan 2 BrusselsB1050 Belgium

ISBN: (纸本)3540601600

Class-based languages have often been criticised for their rigidity. Prototype-based languages on the other hand are usually considered too flexible. We claim that this flexibility is inherently correlated to encapsulation problems. We therefore propose a new scale of ‘encapsulated inheritance mechanisms on objects that combine the object model of class-based languages with the inheritance mechanism of prototype-based languages. It is shown that they combine the advantages but shun the disadvantages of both paradigms. A denotational semantics of an exemplar encapsulated inheritance mechanism on objects is given and compared with the standard denotational semantics of class-and object-based inheritance. This comparison confirms our claims. © Springer-Verlag Berlin Heidelberg 1995.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

SCOOP structured concurrent object oriented Prolog 2nd

引用

2nd european conference on object oriented programming, ecoop 1988

作者： Vaucher, Jean Lapalme, Guy Malenfant, Jacques INCOGNITO Dépt. d’Informatique et R.O. Université de Montréal CP 6128 Station "A" MontréalH3C 3J7 Canada

ISBN: (纸本)9783540500537

SCOOP is an experimental language implemented in Prolog that tries to combine the best of logic, object-oriented and concurrent programming in a structured, natural and efficient manner. SCOOP provides hierarchies of object classes. These objects behave as independent Prolog programs with private databases which can execute goals within other objects. SCOOP also supports parallel processes, synchronised by the exchange of messages. For simulation, a sequencing set and primitives concerned with simulated time are provided. Thus, SCOOP has the ability to describe structured dynamic systems and to encode knowledge. The important features of SCOOP are 1) its lexical block structure designed to promote and enforce modularity and to allow verification and optimisation via a compiler, 2) its combination of familiar programming cliches: the concepts of Simula67 for macrostructuring of entities and those of standard Prolog (unification & backtracking) for local behaviour, 3) its provision for parallel activity with a clear distinction between static objects and dynamic processes and 4) its discrete simulation capability. © 1988, Springer-Verlag Berlin Heidelberg.

关键词： PROLOG (programming language)

来源：评论

学校读者我要写书评

暂无评论

TOOA: A temporal object-oriented algebra 7th

TOOA: A temporal object-oriented algebra

引用

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

作者： Rose, Ellen Segev, Arie The University of Toledo ToledoOH43606 United States Informtion and Computing Sciences Division Lawrence Berkeley Laboratory United States Walter A. Haas School of Business The University of California and Information and Computing Sciences Division Lawrence Berkeley Laboratory BerkeleyCA94720 United States

ISBN: (纸本)9783540571209

In this paper, we present a temporal, object-oriented algebra which serves as a formal basis for the query language of a temporal, object-oriented data model. Our algebra is a superset of the relational algebra in that it provides support for manipulating temporal objects, temporal types, type hierarchies and class lattices, multiple time-lines, and correction sequences in addition to supporting the five relational algebra operators. Graphs are used as the visual representations of both the schema and the object instances. The algebra provides constructs to modify and manipulate the schema graph and its extension, the object graph. The algebra operates on a collection or collections of objects and returns a collection of objects. This algebra is a first step in providing a formal foundation for query processing and optimizing in a temporal, object-oriented data model. © Springer-Verlag Berlin Heidelberg 1993.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

On the impact of aspectual decompositions on design stability: An empirical study

引用

21st european conference on object-oriented programming, ecoop 2007

作者： Greenwood, Phil Bartolomei, Thiago Figueiredo, Eduardo Dosea, Marcos Garcia, Alessandro Cacho, Nelio Anna, Cláudio Santã Soares, Sergio Borba, Paulo Kulesza, Uirá Rashid, Awais Lancaster University United Kingdom Kiel University of Applied Sciences Germany Federal University of Pernambuco Brazil Pontifical Catholic University of Rio Brazil Pernambuco State University Brazil

ISBN: (纸本)9783540735885

Although one of the main promises of aspect-oriented (AO) programming techniques is to promote better software changeability than object-oriented (OO) techniques, there is no empirical evidence on their efficacy to prolong design stability in realistic development scenarios. For instance, no investigation has been performed on the effectiveness of AO decompositions to sustain overall system modularity and minimize manifestation of ripple-effects in the presence of heterogeneous changes. This paper reports a quantitative case study that evolves a real-life application to assess various facets of design stability of OO and AO implementations. Our evaluation focused upon a number of system changes that are typically performed during software maintenance tasks. They ranged from successive re-factorings to more broadly-scoped software increments relative to both crosscutting and non-crosscutting concerns. The study included an analysis of the application in terms of modularity, change propagation, concern interaction, identification of ripple-effects and adherence to well-known design principles. © Springer-Verlag Berlin Heidelberg 2007.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

The OSI managed-object model 7th

The OSI managed-object model

引用

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

作者： Ashford, Colin Bell-Northern Research P.O. Box 35 1 1 Station C OttawaK1Y 4H7 Canada

ISBN: (纸本)9783540571209

The challenge facing the International Organization for Standardization (ISO) in the early eighties, in developing Open Systems Interconnection (OSI) protocol standards for network management, was to ensure that such protocols should, on the one hand, be standardised but, on the other, be capable of managing a myriad of resource types. IS0 met the challenge by developing a single internationally-standardised camage protocol (CMIP), and tools to produce information models that would reflect the resources being managed. Such an approach makes it possible for the same carriage protocol to cany management messages for many different types of resources. In developing its information modelling tools and services, IS0 has adopted an object-oriented approach the resources to be managed are modelled as managed objects or aggregates of managed objects. The managed-object model is similar to popular object-oriented programming-language models but it includes a number of features that reflect the special requirements of network management. These requirements include: asynchronous operation, active resources, a distributed environment, compatibility, and feature optionality. Fulfilling these requirements lead to the inclusion of concepts such as event-notification, multiple object-selection, packages, and allomorphism. The next generation of network-management standards will need to address the demands of large, multi-protocol, mutable networks. How these requirements might affect the evolution of the managed-object model and services is considered. © Springer-Verlag Berlin Heidelberg 1993.

关键词： Network management

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：