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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,365 篇 会议
406 篇 期刊文献
22 篇 学位论文
15 册 图书

馆藏范围

4,808 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,968 篇 工学
- 2,606 篇 计算机科学与技术...
- 2,375 篇 软件工程
- 290 篇 控制科学与工程
- 247 篇 电气工程
- 149 篇 信息与通信工程
- 47 篇 电子科学与技术（可...
- 46 篇 机械工程
- 41 篇 建筑学
- 38 篇 土木工程
- 26 篇 生物工程
- 23 篇 材料科学与工程（可...
- 20 篇 航空宇航科学与技...
- 18 篇 仪器科学与技术
- 15 篇 光学工程
- 12 篇 环境科学与工程（可...
- 11 篇 化学工程与技术
- 10 篇 交通运输工程
415 篇 理学
- 294 篇 数学
- 49 篇 系统科学
- 43 篇 物理学
- 37 篇 生物学
- 22 篇 统计学（可授理学、...
- 15 篇 化学
362 篇 管理学
- 193 篇 图书情报与档案管...
- 192 篇 管理科学与工程(可...
- 74 篇 工商管理
44 篇 教育学
- 43 篇 教育学
25 篇 法学
- 24 篇 社会学
17 篇 医学
- 13 篇 临床医学
11 篇 经济学
- 11 篇 应用经济学
9 篇 文学
5 篇 农学
4 篇 军事学
1 篇 艺术学

主题

1,686 篇 object oriented ...
859 篇 object oriented ...
444 篇 application soft...
436 篇 computer languag...
305 篇 java
268 篇 programming
236 篇 software systems
233 篇 computer science
207 篇 programming prof...
188 篇 software enginee...
176 篇 computer archite...
161 篇 unified modeling...
140 篇 object oriented ...
135 篇 object-oriented ...
118 篇 database systems
96 篇 computational mo...
93 篇 prototypes
90 篇 real time system...
89 篇 concurrent compu...
88 篇 hardware

机构

9 篇 software composi...
8 篇 ibm
8 篇 carnegie mellon ...
8 篇 univ bern softwa...
8 篇 swiss fed inst t...
8 篇 univ texas austi...
7 篇 purdue universit...
6 篇 cwi
6 篇 ibm thomas j. wa...
6 篇 school of comput...
6 篇 ibm corp thomas ...
6 篇 university of il...
5 篇 school of comput...
5 篇 university of te...
5 篇 georgia inst tec...
5 篇 univ waterloo wa...
5 篇 ibm t.j. watson ...
5 篇 department of co...
5 篇 victoria univers...
5 篇 siemens ag

作者

13 篇 noble james
12 篇 aldrich jonathan
11 篇 de meuter wolfga...
10 篇 biddle robert
10 篇 cook william r.
9 篇 ricci alessandro
9 篇 de champeaux den...
9 篇 yonezawa akinori
9 篇 nierstrasz oscar
9 篇 johnson ralph
9 篇 chambers c
8 篇 coad peter
8 篇 madsen ole lehrm...
8 篇 abi-antoun marwa...
8 篇 salvaneschi guid...
8 篇 vitek jan
8 篇 s.s. yau
7 篇 hirschfeld rober...
7 篇 visser eelco
7 篇 ancona davide

语言

4,688 篇 英文
107 篇 其他
12 篇 中文
1 篇 日文

检索条件"任意字段=Conference on Object-Oriented Programming Systems, Languages, and Applications"

共 4808 条记录，以下是331-340 订阅

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

详细简洁

排序：

Agent-oriented programming languages as a High-Level Abstraction Facilitating the Development of Intelligent Behaviours for Component-Based applications 18th

Agent-Oriented Programming Languages as a High-Level Abstrac...

引用

18th International conference on Principles and Practice of Multi-Agent systems (PRIMA)

作者： Russell, Sean O'Hare, G. M. P. Collier, Rem W. Univ Coll Dublin Sch Comp Sci Dublin 2 Ireland

ISBN: (纸本)9783319255248;9783319255231

Developing behaviours for complex component based systems is a difficult task. This paper evaluates the use of agent-oriented programming languages as a high level abstraction for performing this task. Evaluation carried out objectively shows that participants completed more tasks and subjectively they perceived that it was easier to use when compared with the same tasks performed using Java.

关键词： Agent-oriented programming languages Component based applications Ease of development

来源：评论

学校读者我要写书评

暂无评论

Detecting Redundant CSS Rules in HTML5 applications: A Tree Rewriting Approach 2015

Detecting Redundant CSS Rules in HTML5 Applications: A Tree ...

引用

ACM SIGPLAN International conference on object-oriented programming, systems, languages, and applications (OOPSLA)

作者： Hague, Matthew Lin, Anthony W. Ong, C. -H. Luke Univ London London WC1E 7HU England Yale NUS Coll Singapore Singapore Univ Oxford Oxford OX1 2JD England

ISBN: (纸本)9781450336895

HTML5 applications normally have a large set of CSS (Cascading Style Sheets) rules for data display. Each CSS rule consists of a node selector and a declaration block (which assigns values to selected nodes' display attributes). As web applications evolve, maintaining CSS files can easily become problematic. Some CSS rules will be replaced by new ones, but these obsolete (hence redundant) CSS rules often remain in the applications. Not only does this "bloat" the applications increasing the bandwidth requirement but it also significantly increases web browsers' processing time. Most works on detecting redundant CSS rules in HTML5 applications do not consider the dynamic behaviors of HTML5 (specified in Java Script);in fact, the only proposed method that takes these into account is dynamic analysis, which cannot soundly prove redundancy of CSS rules. In this paper, we introduce an abstraction of HTML5 applications based on monotonic tree rewriting and study its "redundancy problem". We establish the precise complexity of the problem and various subproblems of practical importance (ranging from P to EXP). In particular, our algorithm relies on an efficient reduction to an analysis of symbolic pushdown systems (for which highly optimised solvers are available), which yields a fast method for checking redundancy in practice. We implemented our algorithm and demonstrated its efficacy in detecting redundant CSS rules in HTML5 applications.

关键词： HTML5 jQuery CSS redundancy analysis static analysis tree rewriting symbolic pushdown systems

来源：评论

学校读者我要写书评

暂无评论

Versatile yet Lightweight Record-and-Replay for Android 2015

Versatile yet Lightweight Record-and-Replay for Android

引用

ACM SIGPLAN International conference on object-oriented programming, systems, languages, and applications (OOPSLA)

作者： Hu, Yongjian Azim, Tanzirul Neamtiu, Iulian Univ Calif Riverside Riverside CA 92521 USA

ISBN: (纸本)9781450336895

Recording and replaying the execution of smartphone apps is useful in a variety of contexts, from reproducing bugs to profiling and testing. Achieving effective record-and-replay is a balancing act between accuracy and overhead. On smartphones, the act is particularly complicated, because smartphone apps receive a high-bandwidth stream of input (e.g., network, GPS, camera, microphone, touch-screen) and concurrency events, but the stream has to be recorded and replayed with minimal overhead, to avoid interfering with app execution. Prior record-and-replay approaches have focused on replaying machine instructions or system calls, which is not a good fit on smartphones. We propose a novel, stream-oriented record-and-replay approach which achieves high-accuracy and low-overhead by aiming at a sweet spot: recording and replaying sensor and network input, event schedules, and inter-app communication via intents. To demonstrate the versatility of our approach, we have constructed a tool named VALERA that supports record-and-replay on the Android platform. VALERA works with apps running directly on the phone, and does not require access to the app source code. Through an evaluation on 50 popular Android apps, we show that: VALERA's replay fidelity far exceeds current record-and-replay approaches for Android;VALERA's precise timing control and low overhead (about 1% for either record or replay) allows it to replay high-throughput, timing-sensitive apps such as video/audio capture and recognition;and VALERA's support for event schedule replay enables the construction of useful analyses, such as reproducing event-driven race bugs.

关键词： Reliability Verification Mobile applications Record-and-replay Google Android App testing Event-based races

来源：评论

学校读者我要写书评

暂无评论

Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015)

Workshop preview of the 2015 workshop on reactive and event-...

引用

ACM SIGPLAN International conference on systems, programming, languages and applications: Software for Humanity, SPLASH 2015

作者： Salvaneschi, Guido De Meuter, Wolfgang Eugster, Patrick Ziarek, Lukasz Technische Universität Darmstadt Germany Vrije Universiteit Brussel Belgium Purdue University United States State University of New York United States

ISBN: (纸本)9781450337229

Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HCI technology and the ever increasing requirement for applications to run on the web or on collaborating mobile devices. A number of publications about middleware and language design - so-called reactive and event-based languages and systems - have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored. This workshop gathers researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research results and to define better the field by coming up with taxonomies and overviews of the existing work.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Fostering Software Architect and Programmer Collaboration

Fostering Software Architect and Programmer Collaboration

引用

IEEE International conference on Engineering of Complex Computer systems

作者： Van Cam Pham Shuai Li Ansgar Radermacher Sébastien Gérard Chokri Mraidha CEA LIST Saclay France

ISBN: (纸本)9781509055289

Model-Driven Engineering (MDE) is a development paradigm that brings the benefits of increased automation to the software development cycle. The MDE community tries to promote MDE adoption by pushing models written in diagram-based languages, supported by extensive tooling. While there is increasing evidence that MDE facilitates the design of complex software, its level of acceptance by software developers is still low. On one hand, rather than use diagram-based languages, most programmers prefer to work with their favorite textual programming language (e.g. Java and C++) and integrated development environment. On the other hand, software architects are among the early adopters and promoters of diagram-based languages. They consider such languages to be much more suitable for describing architectures compared to textual languages. Synchronizing manually written artifacts in either type of language is not simple and is often very time-consuming and error prone unless it is supported by automated methods and tools. To solve this issue, we propose a methodological pattern for model-code synchronization supported by corresponding tooling. The solution tackles a fundamental problem of round-trip engineering: synchronization between concurrently evolving artifacts. On one side we have the architecture model maintained by the software architects, while on the other, we have code written by programmers. Applying our approach for the development of an actual runtime system, we show that both parties involved, software architects and programmers, can efficiently collaborate while continuing to work in their favorite development environment.

关键词： Unified modeling language Synchronization Software object oriented modeling Biological system modeling Collaboration Reverse engineering

来源：评论

学校读者我要写书评

暂无评论

Automated formal verification of the refined specification of digital systems in HSSL

Automated formal verification of the refined specification o...

引用

International conference on Emerging eLearning Technologies and applications (ICETA)

作者： L. Maron D. Macko Slovenska Technicka Univerzita Bratislava SK

ISBN: (纸本)9781509047024

Design of modern hardware systems becomes difficult because of the increasing complexity. As a result, more abstraction is used in the design process. However, an error made at a higher abstraction level is transferred to lower levels. It becomes costly to correct such an error at later design stages, and therefore it must be revealed as soon as possible. The specification language HSSL provides techniques that can help to minimize the possibility of human error at the specification stages. HSSL is intended for formal behavioral specification of hardware and software and it enables formal verification of refined specifications. In this paper, a tool is described that is intended for automated formal equivalence checking of specifications at respective refinement stages. The tool is able to apply refinement rules and to prove that the two specifications describe the same system function. The automation of this process unburdens the designer from time-consuming manual effort. It is especially useful for inexperienced designers, in the education process, which would like to quickly verify their refined specifications.

关键词： Formal verification Formal specifications object oriented modeling Hardware Automation Digital systems Specification languages

来源：评论

学校读者我要写书评

暂无评论

An Opportunistic Approach to Retaining Use Cases in object-oriented Source Code 4

An Opportunistic Approach to Retaining Use Cases in Object-O...

引用

Eastern European Regional conference on the Engineering of Computer-Based systems ECBS-EERC

作者： Greppel, Jan Vranic, Valentino Slovak Univ Technol Bratislava Fac Informat & Informat Technol Inst Informat & Software Engn Bratislava Slovakia

ISBN: (纸本)9781467379670

Use cases are widely used to express what software systems are supposed to provide in terms of an interaction between the users and the system. Without a particular effort to preserve them, use cases dissolve in source code turning the task of locating their implementation into a major problem of change request realization. While aspect-oriented programming offers one solution to retaining use cases, there are also opportunities in the mainstream object-oriented programming languages that have no reliable support for aspect-oriented programming. This paper brings an approach to retaining use cases in source code by object-oriented means that employs three techniques: traits, the Event pattern (extracted from the Zend's framework EventManager component), and the Front Controller pattern. By these techniques, all possible kinds of use cases with the exception of specialization use cases are addressed: peer use cases, extension use cases, and inclusion use cases. Use cases are not fully modularized as in aspect-oriented software development with use cases, but the approach ensures their parts can be easily traced. The approach has been evaluated with respect to traceability on an online shop application demonstrating how a use case can be added, removed, or altered.

关键词： use case design pattern Front Controller DCI aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Connecting object constraints with context-oriented programming: Scoping constraints with layers and activating layers with constraints

Connecting object constraints with context-oriented programm...

引用

International Workshop on Context-oriented programming, COP 2015

作者： Lehmann, Stefan Felgentreff, Tim Hirschfeld, Robert Hasso Plattner Institute University of Potsdam Germany

ISBN: (纸本)9781450336543

Context-oriented programming extends object-oriented languages with a mechanism to dynamically adapt behavior. object Constraint programming orthogonally extends object-oriented run-times by integrating constraints, including support for constraints over mutable state, object identity, and the results of message sends. Using these two language extensions in conjunctions offers interesting opportunities. In this paper, we report on new mechanisms involving layers and constraints that evolved from our experiences with combining Babelsberg/JS, an object Constraint Language, and ContextJS, an implementation of Context-oriented programming in JavaScript. First, our experience shows that it is desirable to dynamically adapt declarative constraints, which offer an orthogonal mechanism to the definition of imperative behavior, likewise at runtime. In this work, we show an extension to ContextJS to scope activation or refinement of constraints dynamically using layers. Second, ContextJS already provides different activation mechanisms for layers, including dynamically or structurally scoped, or globally through system generated events. Constraints provide an activation mechanism based on arbitrary boolean expressions changing their value, allowing for interesting applications of behavioral adaption based on certain conditions.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A Logical Theory of Belief Dynamics for Resource-Bounded Agents 16

A Logical Theory of Belief Dynamics for Resource-Bounded Age...

引用

International conference on Autonomous Agents and Multiagent systems

作者： Philippe Balbiani David Fernandez-Duque Emiliano Lorini IRIT-CNRS Toulouse University IRIT Toulouse University

ISBN: (纸本)9781510855083

The paper presents a new logic for reasoning about the formation of beliefs through perception or through inference in non-omniscient resource-bounded agents. The logic distinguishes the concept of explicit belief from the concept of background knowledge. This distinction is reflected in its formal semantics and axiornatics: (i) we use a non-standard semantics putting together a neighbourhood semantics for explicit beliefs and relational semantics for background knowledge, and (ii) we have specific axioms in the logic high-lighting the relationship between the two concepts Mental operations of perceptive type and inferential type, having effects on epistemic states of agents, are primitives in the object language of the logic. At the semantic level, they are modelled as special kinds of model-update operations, in the style of dynamic epistemic logic (DEL). Results about axiomatization, decidability and complexity for the logic are given in the paper.

关键词： Theory Epistemic logic Cognitive agents Resource-bounded reasoning Formal logic Beliefs Semantics object oriented programming languages semiotics Agents theories non-standard

来源：评论

学校读者我要写书评

暂无评论

Ruby Benchmark Tool using Docker

Ruby Benchmark Tool using Docker

引用

Federated conference on Computer Science and Information systems (FedCSIS)

作者： Ludvigh, Richard Rebok, Tomas Tunka, Vaclav Nguyen, Filip Masaryk Univ Fac Informat Bot 68a Brno 60200 Czech Republic JBoss Middleware Red Hat Czech Brno 61245 Czech Republic

ISBN: (纸本)9788360810668

The purpose of this paper is to introduce and describe a new Ruby benchmarking tool. We will describe the background of Ruby benchmarking and the advantages of the new tool. The paper documents the benchmarking process as well as methods used to obtain results and run tests. To illustrate the provided tool, results that were obtained by running a developed benchmarking tool on existing and available official ruby benchmarks are provided. These results document advantages in using various Ruby compilers or Ruby implementations.

关键词： object-oriented languages program compilers Ruby benchmark tool Ruby compilers pure object-oriented interpreted language Benchmark testing Containers Linux Magnetic resonance imaging Parallel processing Servers Virtual machining compilers virtual machines Benchmark testing object oriented programming languages Servers PARALLEL PROCESSING (COMPUTERS) Ruby Linux CONTAINERS BENCHMARKS Magnetic Resonance Imaging virtual machining dockers

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共481页 << < 30 31 32 33 34 35 36 37 38 39 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：