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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

59 篇 会议
6 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

57 篇 工学
- 54 篇 计算机科学与技术...
- 40 篇 软件工程
- 5 篇 电气工程
- 2 篇 信息与通信工程
10 篇 理学
- 8 篇 数学
- 3 篇 系统科学
- 1 篇 生物学
6 篇 管理学
- 3 篇 管理科学与工程(可...
- 3 篇 图书情报与档案管...
1 篇 法学
- 1 篇 社会学
1 篇 教育学
- 1 篇 心理学(可授教育学...

主题

21 篇 object oriented ...
5 篇 object-oriented ...
5 篇 object oriented ...
2 篇 machine translat...
2 篇 common object re...
2 篇 calculations
2 篇 belgo-luxembourg...
2 篇 formal methods
1 篇 commute
1 篇 software systems
1 篇 generative progr...
1 篇 programming prof...
1 篇 performance
1 篇 tuning
1 篇 theorem proving
1 篇 computer science...
1 篇 access control
1 篇 structured docum...
1 篇 interoperability
1 篇 large volume

机构

2 篇 univ carlos iii ...
2 篇 carnegie mellon ...
2 篇 sony computer sc...
1 篇 univ toulouse 1 ...
1 篇 chemnitz univ te...
1 篇 department of co...
1 篇 center for the s...
1 篇 quinta da torre ...
1 篇 universidade fed...
1 篇 universidad de m...
1 篇 seattle wa 98102...
1 篇 university of co...
1 篇 univ milan dsi i...
1 篇 sun microsystems...
1 篇 laas-cnrs 7 aven...
1 篇 iuliu haţieganu ...
1 篇 university colle...
1 篇 univ magdeburg f...
1 篇 swiss federal in...
1 篇 utrecht universi...

作者

2 篇 zuse horst
2 篇 christof monz
2 篇 davis kei
2 篇 demeyer serge
2 篇 aldrich jonathan
2 篇 e abreu fernando...
1 篇 hüttemann stefan
1 篇 meseguer josé
1 篇 vitek j
1 篇 filippo ricca
1 篇 kovacevic srdjan
1 篇 arianna bisazza
1 篇 kim duri
1 篇 alastair wilcox
1 篇 spyros martzouko...
1 篇 cherki s
1 篇 rodrigues luís
1 篇 czarnecki k
1 篇 schmidt h
1 篇 sy o

语言

63 篇 英文
2 篇 其他
1 篇 中文

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

共 66 条记录，以下是51-60 订阅

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

详细简洁

排序：

Distributed asynchronous collections: Abstractions for publish/subscribe interaction 14th

引用

14th european conference on object-oriented programming, ecoop 2000

作者： Eugster, Patrick th Guerraoui, Rachid Sventek, Joe Swiss Federal Institute of Technology Lausanne Switzerland Agilent Laboratories Scotland Edinburgh United Kingdom

ISBN: (纸本)3540676600

Publish/subscribe is considered one of the most important interaction styles for the explosive market of enterprise application integration. Producers publish information on a software bus and consumers subscribe to the information they want to receive from that bus. the decoupling nature of the interaction between the publishers and the subscribers is not only important for enterprise computing products but also for many emerging e-commerce and telecommunication applications. It is often claimed that object-orientation is inherently incompatible with the publish/subscribe interaction style. this flawed argument is due to the persistent confusion between object-orientation as a modeling discipline and the specific request/reply mechanism promoted by CORBA-like middleware systems. this paper describes object-oriented abstractions for publish/subscribe interaction in the form of Distributed Asynchronous Collections (DACs). DACs are general enough to capture the commonalities of various publish/subscribe interaction styles, and flexible enough to allow the exploitation of the differences between these flavors. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Common object request broker architecture (CORBA)

来源：评论

学校读者我要写书评

暂无评论

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

Solving the inheritance anomaly in concurrent object-oriente...

引用

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

来源：评论

学校读者我要写书评

暂无评论

Inheritance-inspired interface versioning for CORBA 18

Inheritance-inspired interface versioning for CORBA

引用

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

作者： Iterum, Skef Campbell, Ralph Seattle WA98102 United States Sun Microsystems Menlo ParkCA94025 United States

ISBN: (纸本)354022159X

CORBA lacks a mature interface versioning system, which makes it difficult to use in the implementation of tightly-coupled distributed systems. there are patterns of inheritance that can substitute for specialized versioning support, but the programming model that results is cumbersome, particularly on the client side. We have enhanced the IDL specification of our ORB with two new features, one for minor (or upwardly compatible) changes and one for major (or incompatible) changes, which together give CORBA interface versioning support superior to that of most other distributed communication systems. the key to the design and implementation of these features is that each started with a pattern of inheritance that was then customized to address more specifically the problem of interface evolution. the new functionality can be used as part of a life-cycle methodology that guides the versioning of IDL interfaces across product releases. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Common object request broker architecture (CORBA)

来源：评论

学校读者我要写书评

暂无评论

Towards a unified query-by-example (UQBE): UML as a basis for a generic graphical query language

引用

International Symposium on objects and Databases, 2000 held in conjunction with 14th european conference on object-oriented programming, ecoop 2000

作者： Sicilia Urbán, Miguel A. Barriocanal, Elena García Dodero Beardo, Juan M. Carlos III University Madrid Spain Computer Science Department DEI Laboratory Avda. Universidad 30 Leganés Madrid28911 Spain Alcalá de Henares University Computer Science Department Escuela Politécnica Campus Universitario Alcalá de Henares Madrid28871 Spain

ISBN: (纸本)3540416641

A generic graphical query language for ODMG-compliant object databases – called Unified Query By Example (UQBE) – is proposed, based on the ideas of Zloof’s Query-By-Example, and using UML-like diagrams as schema notation. Both ease of learning for users coming from the relational world and support for non object-oriented data sources are also considered as design goals. the overall layout and some important features of the query language are described, along with its relationship with the UML repository architecture and several ODMG OQL translations of sample UQBE queries. © Springer-Verlag Berlin Heidelberg 2001.

关键词： object-oriented databases

来源：评论

学校读者我要写书评

暂无评论

OOASP: Connecting object-oriented and logic programming 13th

OOASP: Connecting object-oriented and logic programming

引用

13th International conference on Logic programming and Nonmonotonic Reasoning, LPNMR 2015

作者： Falkner, Andreas Ryabokon, Anna Schenner, Gottfried Shchekotykhin, Kostyantyn Siemens AG Österreich Vienna Austria Alpen-Adria-Universität Klagenfurt Klagenfurt Austria

ISBN: (纸本)9783319232638

Most of contemporary software systems are implemented using an object-oriented approach. Modeling phases – during which software engineers analyze requirements to the future system using some modeling language – are an important part of the development process, since modeling errors are often hard to recognize and correct. In this paper we present a framework which allows the integration of Answer Set programming into the object-oriented software development process. OOASP supports reasoning about object-oriented software models and their instantiations. Preliminary results of the OOASP application in CSL Studio, which is a Siemens internal modeling environment for product configurators, show that it can be used as a lightweight approach to verify, create and transform instantiations of object models at runtime and to support the software development process during design and testing. © Springer International Publishing Switzerland 2015.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Verifying object-oriented software: Lessons and challenges

引用

Proceedings of the 13th International conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, Held as Part of the Joint european conferences on theory and Practice of Software, ETAPS 2007, Proceedings

作者： Rustan, K. Leino, M. Microsoft Research RedmondWA United States

ISBN: (纸本)9783540712084

A program verification system for modern software uses a host of technologies, like programming language semantics, formalization of good programming idioms, inference techniques, verification-condition generation, and theorem proving. In this talk, I will survey these techniques from the perspective of the Spec# programming system, of which I will also give a demo. I will reflect on some lessons learned from building automatic program verifiers, as well as highlight a number of remaining challenges. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Detecting interferences in aspect oriented programs 11

Detecting interferences in aspect oriented programs

引用

Proceedings of the 13th european Workshop on Dependable Computing

作者： Lauret, Jimmy Fabre, Jean-Charles Waeselynck, Helene LAAS-CNRS 7 Avenue du Colonel Roche 31077 Toulouse Cedex 4 France NSA ISAE Université de Toulouse 31077 Toulouse Cedex 4 France

ISBN: (纸本)9781450302845

Aspect-oriented software development (AOSD) is a technique that helps software evolution by separating different concerns in different aspects and advices. Unfortunately, it still suffers from well-known composition issues, in particular from runtime interferences when multiple concerns are applied at the same join point. this paper identifies the set of observation points required to perform the verification of non-interference properties as executable assertions in an AO program. We then compare two languages according to these observation points, and discuss their advantages and drawbacks. Copyright © 2011 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A timed calculus for distributed objects with clocks 7th

A timed calculus for distributed objects with clocks

引用

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

作者： Satoh, Ichiro Tokoro, Mario Department of Computer Science Keio University 3-14-1 Hiyoshi Kohoku-kn Yokohama223 Japan Sony Computer Science Laboratory Inc. 3-14-13 Higashi-Gotanda Shinagawa-ku Tokyo141 Japan

ISBN: (纸本)9783540571209

this paper proposes a formalism for reasoning about distributed object-oriented computations. the formalism is an extension of Milner’s CCS with the notion of local time. It allows to describe and analyze both locally temporal and behavioral properties of distributed objects and interactions among them. We introduce timed bisimulations with respect to local time. these bisimulations equate distributed objects if and only if their behaviors are completely matched and their timings are within a given bound. the bisimulations provide a method to verify distributed objects with temporal uncertainties and real-time objects with non-strict time constraints. © Springer-Verlag Berlin Heidelberg 1993.

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

13th International conference on Logic programming and Nonmonotonic Reasoning, LPNMR 2015

13th International Conference on Logic Programming and Nonmo...

引用

13th International conference on Logic programming and Nonmonotonic Reasoning, LPNMR 2015

ISBN: (纸本)9783319232638

the proceedings contain 48 papers. the special focus in this conference is on Logic programming and Nonmonotonic Reasoning. the topics include: Stable models for temporal theories;algorithmic decision theory meets logic;relational and semantic data mining;shift design with answer set programming;advances in WASP;improving coordinated SMT-based system synthesis by utilizing domain-specific heuristics;integrating ASP into ROS for reasoning in robots;automated inference of rules with exception from past legal cases using ASP;solving constraint satisfaction problems with answer set programming;a theory of intentions for intelligent agents;answer set programming modulo acyclicity;a framework for goal-directed query evaluation with negation;implementing preferences with asprin;diagnosing automatic whitelisting for dynamic remarketing ads using hybrid ASP;performance tuning in answer set programming;enablers and inhibitors in causal justifications of logic programs;efficient problem solving on tree decompositions using binary decision diagrams;knowledge acquisition via non-monotonic reasoning in distributed heterogeneous environments;a formal theory of justifications;a new computational logic approach to reason with conditionals;interactive debugging of non-ground ASP programs;linking open-world knowledge bases using nonmonotonic rules;ASP, amalgamation, and the conceptual blending workflow;diagnostic reasoning for robotics using action languages;connecting object-oriented and logic programming;reasoning with forest logic programs using fully enriched automata;ASP solving for expanding universes and combining heuristics for configuration problems using answer set programming;infinitary equilibrium logic and strong equivalence and compacting boolean formulae for inference in probabilistic logic programming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Videogame Based Learning and the Problem of Gender Equity: Exemplifying an Androgynous Approach to Developing Computer Science E-Learning Games in Higher Education

Videogame Based Learning and the Problem of Gender Equity: E...

引用

13th International conference on Computer Games (CGames 2008)

作者： Nte, Sol Wolverhampton Univ Sch Comp & Informat Technol Wolverhampton WV1 1SB England

ISBN: (纸本)9780954901660

Several authors have considered those virtual spaces in which videogames take place as being gendered and videogames themselves as gender specific (e.g. Jenkins, 1999;Subrahmanyam & Greenfield, 1994;Hartmann & Klimmt, 2006). Videogames are often considered to be an entry path into computer literacy for young people (Greenfield & Cocking, 1996;Kiesler et AI. 1985), if this is the case then to some degree first year undergraduate computer literacy is likely to be informed by videogame experiences. Videogames can be considered to be one of the most "engaging intellectual pastimes that we have invented" (Prensky, 2004) which suggests successful videogames as a useful model for developing sound E-Learning applications (Ebner & Holzinger 2007). However since E-Learning must be careful to avoid gender bias in the presentation of learning resources, any adoption of a videogame development model must undergo a process of "ungendering" wherein game models are analysed in terms of gender equity and suitably corrected. An actively androgynous "games for gamers" not specific genders (Subrahmanyam & Greenfield, 1999) approach is proposed and exemplified to consider how the game developer can avoid producing learning games that have some form of gender bias in the degree to which they are effective. this paper examines the preparatory theoretical work in the development of a pilot study that employs an androgynous software approach to avoid those effects of gendering originating in videogames which can negatively affect games based E-Learning. the analysis is presented from a software development perspective and documents the theoretical considerations that led to the development of the "Class Solitaire" demo - a version of the popular "solitaire" videogame designed to teach java subclassing to first year undergraduates.

关键词： gender equity e-learning games based learning videogame software development computer science teaching object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共7页 << < 1 2 3 4 5 6 7 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：