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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

592 篇 会议
18 册 图书
5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

440 篇 工学
- 385 篇 计算机科学与技术...
- 333 篇 软件工程
- 48 篇 电气工程
- 25 篇 控制科学与工程
- 24 篇 信息与通信工程
- 10 篇 光学工程
- 9 篇 土木工程
- 8 篇 生物工程
- 6 篇 材料科学与工程（可...
- 5 篇 建筑学
- 4 篇 电子科学与技术（可...
- 4 篇 生物医学工程（可授...
- 3 篇 力学（可授工学、理...
- 3 篇 机械工程
- 3 篇 仪器科学与技术
- 3 篇 测绘科学与技术
- 3 篇 化学工程与技术
- 3 篇 环境科学与工程（可...
- 2 篇 交通运输工程
70 篇 理学
- 51 篇 数学
- 9 篇 生物学
- 7 篇 物理学
- 4 篇 化学
- 2 篇 系统科学
60 篇 管理学
- 33 篇 管理科学与工程(可...
- 29 篇 图书情报与档案管...
- 5 篇 工商管理
20 篇 教育学
- 20 篇 教育学
8 篇 法学
- 8 篇 社会学
3 篇 医学
- 3 篇 临床医学
1 篇 农学

主题

176 篇 object oriented ...
29 篇 software enginee...
19 篇 object-oriented ...
18 篇 object oriented ...
18 篇 java programming...
16 篇 programming tech...
15 篇 programming
15 篇 java
14 篇 programming lang...
13 篇 aspect oriented ...
12 篇 logic programmin...
10 篇 programming prof...
10 篇 functional progr...
10 篇 object recogniti...
9 篇 computer program...
9 篇 logics and meani...
9 篇 unified modeling...
8 篇 application soft...
8 篇 c++ (programming...
8 篇 permission

机构

4 篇 statoilhydro
4 篇 miles consulting
4 篇 sti university o...
4 篇 b&r ind automat ...
4 篇 victoria univers...
4 篇 technische unive...
4 篇 sintef
3 篇 department of co...
3 篇 carnegie mellon ...
3 篇 letterkenny inst...
2 篇 microsoft corp r...
2 篇 oberon microsyst
2 篇 univ essex dept ...
2 篇 univ chinese aca...
2 篇 technion haifa
2 篇 imperial college...
2 篇 tech univ darmst...
2 篇 adayana inc.
2 篇 tech univ darmst...
2 篇 open university ...

作者

6 篇 meyer bertrand
6 篇 aldrich jonathan
5 篇 noble james
5 篇 salvaneschi guid...
5 篇 mezini mira
4 篇 hirschfeld rober...
4 篇 berre arne jørge...
4 篇 preschern christ...
4 篇 yoshida nobuko
4 篇 zeid amir
4 篇 roman dumitru
4 篇 landre einar
4 篇 udnæs morten
4 篇 van den heuvel w...
3 篇 baniassad elisa
3 篇 thiemann peter
3 篇 skår lars arne
3 篇 nanz sebastian
3 篇 xinogalos stelio...
3 篇 foster jeffrey s...

语言

610 篇 英文
2 篇 其他
2 篇 中文
1 篇 法文

检索条件"任意字段=Proceedings of the 24th European conference on Object-oriented programming"

共 615 条记录，以下是471-480 订阅

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

详细简洁

排序：

A new approach to collaborative frameworks using shared objects 24

A new approach to collaborative frameworks using shared obje...

引用

24th Australasian Computer Science conference (ACSC 2001)

作者： Ceglar, A Calder, P Flinders Univ S Australia Sch Informat & Engn Adelaide SA 5001 Australia

ISBN: (纸本)0769509649

Multi-user graphical applications currently require the creation of a set of interface objects to maintain each participating display. the concept of shared objects allows a single object instance to be used in multiple contexts concurrently. this provides a novel way of reducing collaborative overheads by requiring the maintenance of only a single set of interface objects. this paper presents the concept of a shared-object collaborative framework and illustrates how the concept can be incorporated into an existing object-oriented toolkit.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Alias analysis on type inference for class hierarchy in Java 24

Alias analysis on type inference for class hierarchy in Java

引用

24th Australasian Computer Science conference (ACSC 2001)

作者： Woo, J Attali, I Caromel, D Gaudiot, JL Wendelborn, AL Univ So Calif Dept EE Syst Los Angeles CA 90089 USA

ISBN: (纸本)0769509649

the integration of alias analysis with type information increases the precision of alias detection, especially for inheritance among classes. this paper presents a compile-time flow-sensitive context-insensitive alias analysis algorithm with type information for Java. First, we propose an aliased element representation for an object to compute aliases efficiently. Second, the algorithm computes aliases for shadowed valuables by regarding constructors as functions. third, it performs type inference for each reference variable. the inferred type information increases the precision of subsequent alias analysis by building a complete calling graph, not only for overridden methods but also for both shadowed variables and constructors. Fourth, it presents algorithms to compute aliases for each statement. As a result, the precision and efficiency of the algorithm is improved.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

proceedings of the Fifth european conference on Software Maintenance and Reengineering

Proceedings of the Fifth European Conference on Software Mai...

引用

proceedings of the 5th european conference on Software Maintenance and Reengineering

the proceedings contains 27 papers. Topics discussed include database reverse engineering, object oriented systems, unstructured legacy Fortran code, software reengineering, web maintenance, optimal software architecture maintainability, architecture pattern language, automatic detection of programming plans and discrete event simulation.

关键词： Computer software maintenance

来源：评论

学校读者我要写书评

暂无评论

Complexity measurements of the inter-domain management system design

Complexity measurements of the inter-domain management syste...

引用

9th IEEE International conference on Networks (ICON 2001)

作者： Prnjat, O Sacks, L UCL London WC1E 7JE England

ISBN: (纸本)0769511864

Current use of software metrics in the industry focuses on the cost and effort estimation, while some research was carried out in the direction of their use as fault indicators. Empirical studies in software measurement are scarce, especially in the realm of object-oriented metrics, while there is no record of management system assessment using these metrics. In this paper we discuss an approach to using established object-oriented software metrics as complexity/coupling and thus risk indicators early in the system development lifecycle. Further, we subject a medium-scale inter-domain network and service management system, developed in UML, to the metric assessment, and present an analysis of these measurements. this system was developed in an european Commission-sponsored ACTS research project TRUMPET Results indicate that the highest level of complexity, and thus also risk, is exhibited at major interconnection points between autonomous management domains. Moreover, the results imply a strong ordinal correlation between the metrics.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Joint 24th German conference on Artificial Intelligence and 9th Austrian conference on Artificial Intelligence, KI 2001

Joint 24th German Conference on Artificial Intelligence and ...

引用

Joint 24th German conference on Artificial Intelligence and 9th Austrian conference on Artificial Intelligence, KI 2001

ISBN: (纸本)9783540454229

the proceedings contain 35 papers. the special focus in this conference is on Advances in Artificial Intelligence. the topics include: Towards first-order temporal resolution;approximating most specific concepts in description logics with existential restrictions;Bayesian learning and evolutionary parameter optimization;abductive partial order planning with dependent fluents;constraint-based optimization of priority schemes for decoupled path planning techniques;possible worlds semantics for credulous and contraction inference;the point algebra for branching time revisited;exploiting conditional equivalences in connection calculi;propositional satisfiability in answer-set programming;prediction of regular search tree growth by spectral analysis;theory and practice of time-space trade-offs in memory limited search;hierarchical diagnosis of large configurator knowledge bases;finding optimal solutions to atomix;history-based diagnosis templates in the framework of the situation calculus;a defense model for games with incomplete information;towards inferring labelling heuristics for CSP application domains;extracting situation facts from activation value histories in behavior-based robots;learning search control knowledge for equational theorem proving;intelligent structuring and reducing of association rules with formal concept analysis;comparing two models for software debugging;inferring implicit state knowledge and plans with sensing actions;multi-agent systems as intelligent virtual environments;a reason-able ontology editor for the semantic web;experiments with an agent-oriented reasoning system;a model-based diagnosis kernel and its application and semantic networks in a knowledge management portal.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Comparing two models for software debugging 24th

Comparing two models for software debugging

引用

Joint 24th German conference on Artificial Intelligence and 9th Austrian conference on Artificial Intelligence, KI 2001

作者： Stumptner, Markus Wieland, Dominik Wotawa, Franz University of South Australia School of Computer and Information Science Mawson Lakes Boulevard 1 Mawson LakesSA5092 Australia Technische Universität Wien Institut für Informationssysteme Database and Artificial Intelligence Group Favoritenstraße 9-11 WienA-1040 Austria

ISBN: (纸本)9783540454229

this paper extends previous work on the representation and analysis of Java programs for diagnosis in a new direction by providing a description and analysis of the issues arising from handling object references in dependency-based models of Java programs. We empirically compare dependency-based models with a value-based model using a set of example programs in terms of required user interaction (questions put to the user) and examine and incorporate specific interesting error categories. Apart from being based on experience with an actual implementation of the various models, the model extensions and analysis deal with aliasing, an issue that the programming language community has been examining for a long time, and that is also crucial to object-orientedness. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

4th International conference on Fundamental Approaches to Software Engineering, FASE 2001 Held as Part of the Joint european conferences on theory and Practice of Software, ETAPS 2001

引用

4th International conference on Fundamental Approaches to Software Engineering, FASE 2001, Held as Part of the Joint european conferences on theory and Practice of Software, ETAPS 2001

ISBN: (纸本)3540418636

the proceedings contain 24 papers. the special focus in this conference is on Distributed Components, UML, Testing and Formal Methods. the topics include: Metamodelling and conformance checking with PVS;proving deadlock freedom in component-based programming;a real-time execution semantics for UML activity diagrams;strengthening UML collaboration diagrams by state transformations;on use cases and their relationships in the unified modelling-language;on the importance of inter-scenario relationships in hierarchical state machine design;library-based design and consistency checking of system-level industrial test cases;demonstration of an automated integrated testing environment for CTI systems;semantics of architectural specifications in CASL;a logic for the java modeling language JML;a formal object-oriented analysis for software reliability and specification and analysis of the AER/NCA active network protocol suite in real-time Maude.

关键词：

来源：评论

学校读者我要写书评

暂无评论

4th International conference on Foundations of Software Science and Computation Structures, FOSSACS 2001 Held as Part of the Joint european conferences on theory and Practice of Software, ETAPS 2001

引用

4th International conference on Foundations of Software Science and Computation Structures, FOSSACS 2001 Held as Part of the Joint european conferences on theory and Practice of Software, ETAPS 2001

ISBN: (纸本)3540418644

the proceedings contain 27 papers. the special focus in this conference is on Foundations of Software Science and Computation Structures. the topics include: Secrecy types for asymmetric communication;type isomorphisms and proof reuse in dependent type theory;on the duality between observability and reachability;the finite graph problem for two-way alternating automata;high-level Petri nets as type theories in the join calculus;temporary data in shared dataspace coordination languages;the complexity of model checking mobile ambients;synchronized tree languages revisited and new applications;computational completeness of programming languages based on graph transformation;class analysis of object-oriented programs through abstract interpretation;foundations for a graph-based approach to the specification of access control policies;categories of processes enriched in final coalgebras;on regular message sequence chart languages and relationships to mazurkiewicz trace theory;decidability of weak bisimilarity for a subset of basic parallel processes;an axiomatic semantics for the synchronous language gentzen and MARRELLA and the verification of an embedded system.

关键词：

来源：评论

学校读者我要写书评

暂无评论

28th International Colloquium on Automata, Languages and programming, ICALP 2001

引用

28th International Colloquium on Automata, Languages and programming, ICALP 2001

ISBN: (纸本)3540422870

the proceedings contain 86 papers. the special focus in this conference is on Algebraic, Circuit Complexity, Algorithm Analysis, Approximation and Optimization. the topics include: Languages, rewriting systems, and verification of infinite-state systems;integrating semantics for object-oriented system models;theoretical aspects of evolutionary algorithms;improvements of the Alder-Strassen bound;on generating all minimal integer solutions for a monotone system of linear inequalities;a framework for index bulk loading and dynamization;a characterization of temporal locality and its portability across memory hierarchies;the complexity of constructing evolutionary trees using experiments;combinatorics and algorithms on low-discrepancy roundings of a real sequence;all-pairs shortest paths computation in the BSP model;approximating the minimum spanning tree weight in sublinear time;approximation hardness of tsp with bounded metrics;approximation algorithms for partial covering problems;exponential speed-up for planar graph problems;subexponential parameterized algorithms collapse the w-hierarchy;improved lower bounds on the randomized complexity of graph properties;recognizing more unsatisfiable random 3-SAT instances efficiently;on interactive proofs with a laconic prover;quantum complexities of ordered searching, sorting, and element distinctness;axiomatizations for probabilistic bisimulation;distributed controller synthesis for local specifications;towards quantitative verification of probabilistic transition systems;efficient generation of plane triangulations without repetitions;the longest common subsequence problem for sequences with nested arc annotations;permutation editing and matching via embeddings;decidable properties of graphs of all-optical networks and rational transformations of formal power series.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Portable resource control in Java 01

Portable resource control in Java

引用

ACM SIGPLAN conference on object-oriented programming, Systems, Languages, and Applications

作者： Walter Binder Jane G. Hulaas Alex Villazon CoCo Software Engineering Margaretenstr. 22/9 A-1040 Vienna Austria University of Geneva rue G?n?ral Dufour 24 CH-1211 Geneva 4 Switzerland

ISBN: (纸本)1581133359

Preventing abusive resource consumption is indispensable for all kinds of systems that execute untrusted mobile coee, such as mobile object sytems, extensible web servers, and web browsers. To implement the required defense mechanisms, some support for resource control must be available: accounting and limiting the usage of physical resources like CPU and memory, and of logical resources like threads. Java is the predominant implementation language for the kind of systems envisaged here, even though resource control is a missing feature on standard Java platforms. this paper describes the model and implementation mechanisms underlying the new resource-aware version of the J-SEAL2 mobile object kernel. Our fundamental objective is to achieve complete portability, and our approach is therefore based on Java bytecode transformations. Whereas resource control may be targeted towards the provision of quality of service or of usage-based billing, the focus of this paper is on security, and more specificlly on prevention of denial-of-service attacks orginating from hostile or poorly implemented mobile code.

关键词： security management of resources Java Java programming language Security Resource utilization Web Browser mobile codes Online resources Mobile Defence mechanisms central processing units

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共62页 << < 44 45 46 47 48 49 50 51 52 53 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：