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

Learning object-oriented paradigm by playing computer games: concepts first approach

OPEN COMPUTER SCIENCE 2014年第3期4卷 171-182页

作者： Livovsky, Jakub Porubaen, Jaroslav Tech Univ Kosice Dept Comp & Informat Letna 9 Kosice 04200 Slovakia

Since the beginning of teaching object-oriented programming at universities in the mid 90' s, university teachers are trying to come up with more effective ways of teaching. Number of researches has been made in this area. They are trying to identify errors teachers are making in learning process. These researches suggest different teaching methodologies and tools, which should help them to avoid these mistakes. The subject of this paper is to present a solution we developed to teach and illustrate basic concepts of object oriented paradigm through playing of computer game. In this approach, we are teaching basic principles, such as class, objects and relationship between them in the beginning of object oriented programming (OOP) course and postpone learning of specific objective language to later time. Also we are taking advantage of attractiveness of computer games to increase students motivation, which should lead to improved learning performance of students.

关键词： game-based learning object oriented programming concepts first approach

来源：评论

学校读者我要写书评

暂无评论

Verifiable object-oriented transactions

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8665卷 251-275页

作者： Alagic, Suad Fazeli, Adnan Department of Computer Science University of Southern Maine PortlandME United States

Unlike the existing object-oriented and other database technologies, database schemas in the technology developed in this research are equipped with very general integrity constraints specified in a declarative, logic-based fashion. These declarative specifications are expressed in object-oriented assertion languages and they apply to transactions that are implemented in a full-fledged, mainstream object-oriented programming language. The model of transactions is based on more advanced features of object-oriented type systems, the ownership model, and very general constraints. The main distinction in comparison with other database technologies is that transactions can be verified to satisfy the schema integrity constraints. The two main contributions of this paper are object-oriented schemas equipped with integrity constraints and static verification of transactions with respect to the integrity constraints. Solutions to these open problems have been out of reach so far. Furthermore, transaction verification is not only largely static, but it is also automatic, so that the subtleties of the underlying verification technology are hidden from the users. In addition to static verification, the technology offers dynamic enforcement of the integrity constraints when necessary. The overall outcome is a significant increase in data integrity along with run-time efficiency and reliability of transactions. © Springer-Verlag Berlin Heidelberg 2014.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Mutable object ownership with permission-based interpretation

引用

Journal of Computational Information Systems 2014年第10期10卷 4225-4232页

作者： Zhao, Yang Wu, Qiyang Yu, Ligong School of Computer Science Nanjing University of Science and Technology Nanjing 210094 China

Ownership is an abstract relation between objects. It is statically declared in program source code with annotations, but established when the program is executed at runtime. And once it is set up, there is almost no way to change it. In object-oriented programs, ownership is recognized as effective to depict protection or encapsulation requirements between objects;it is however overly restrictive to handle it immutably. In this paper, we propose a mutable ownership solution by creating a new ownership relation without getting rid of the obsolete one. We show our idea in a permission framework for both single and multiple ownership with a kind of mutability and give an example to argue the usefulness. 1553-9105/Copyright © 2014 Binary Information Press.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

NextServe framework: Supporting services over content-centric networking

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8458卷 189-199页

作者： Mansour, Dima Braun, Torsten Anastasiades, Carlos Communication and Distributed Systems University of Bern Neubruckstrasse 10 Bern3012 Switzerland

The future Internet architecture aims to reformulate the way the content/service is requested to make it location-independent. Information-Centric Networking is a new network paradigm, which tries to achieve this goal by making content objects identified and requested by name instead of *** this paper, we extend Information-Centric Networking architecture to support services in order to be requested and invoked by names. We present NextServe framework, which is a service framework with a human-readable self-explanatory naming scheme. NextServe is inspired by the object-oriented programming paradigm and is applicable with real-world scenarios. © Springer International Publishing Switzerland 2014.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Reflection in an object-oriented concurrent language

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8665卷 44-65页

作者： Watanabe, Takuo Yonezawa, Akinori Department of Information Science Tokyo Institute of Technology Ookayama Meguro-ku Tokyo152 Japan

Our work is along the lines of the work of B. Smith and P. Maes. We first discuss our notion of reflection in object-oriented concurrent computation and then present a reflective object-oriented concurrent language ABCL/R. We give several illustrative examples of reflective programming such as (1) dynamic concurrent acquisition of "methods" from other objects, (2) monitoring the behavior of concurrently running objects, and (3) augmentation of the time warp mechanism to a concurrent system. Also the definition of a meta-circular interpreter of this language is given as the definition of a meta-object. The language ABCL/R has been implemented. All the examples given in this paper are running on our ABCL/R system. © Springer-Verlag Berlin Heidelberg 2014.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

objects in Space

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8665卷 317-340页

作者： De Meuter, Wolfgang Carreton, Andoni Lombide Pinte, Kevin Mostinckx, Stijn Van Cutsem, Tom Software Languages Lab Vrije Universiteit Brussel Pleinlaan 2 Brussels1050 Belgium

The paper presents a research agenda that we are currently executing for programming mobile applications that write and read information to and from passive RFID tags. Modern tags can host up to several kilobytes of information which makes it possible to store real software objects (in the object-oriented sense) that can even refer to each other. This gives the term ‘spatial database’ an entirely new meaning. The paper motivates the need for new programming language constructs that are specifically targeted towards representing objects on tags, designating specific tags in the application’s proximity and keeping the internal status of the mobile application causally connected to its physical surrounding. © Springer-Verlag Berlin Heidelberg 2014.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Transaction in object oriented programming

Transaction in object oriented programming

引用

SISY 2009 - 7th International Symposium on Intelligent Systems and Informatics

作者： Almažan, Aleksandar Radulović, Biljana Čović, Zlatko Technical Faculty Mihajlo Pupin Department of Informatics Zrenjanin Serbia Subotica Tech. Department of Informatics Engineering Subotica Serbia

ISBN: (纸本)9781424453498

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Dynamic Package Interfaces

Dynamic Package Interfaces

引用

17th International Conference on the Foundations of Software Science and Computation Structures (FOSSACS) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS)

作者： Esmaeilsabzali, Shahram Majumdar, Rupak Wies, Thomas Zufferey, Damien Univ Waterloo Waterloo ON Canada MPI SWS Saarbrucken Germany NYU New York NY 10003 USA MIT CSAIL Cambridge MA USA

ISBN: (纸本)9783642548048;9783642548031

A hallmark of object-oriented programming is the ability to perform computation through a set of interacting objects. A common manifestation of this style is the notion of a package, which groups a set of commonly used classes together. A challenge in using a package is to ensure that a client follows the implicit protocol of the package when calling its methods. Violations of the protocol can cause a runtime error or latent invariant violations. These protocols can extend across different, potentially unboundedly many, objects, and are specified informally in the documentation. As a result, ensuring that a client does not violate the protocol is hard. We introduce dynamic package interfaces (DPI), a formalism to explicitly capture the protocol of a package. The DPI of a package is a finite set of rules that together specify how any set of interacting objects of the package can evolve through method calls and under what conditions an error can happen. We have developed a dynamic tool that automatically computes an approximation of the DPI of a package, given a set of abstraction predicates. A key property of DPI is that the unbounded number of configurations of objects of a package are summarized finitely in an abstract domain. This uses the observation that many packages behave monotonically: the semantics of a method call over a configuration does not essentially change if more objects are added to the configuration. We have exploited monotonicity and have devised heuristics to obtain succinct yet general DPIs. We have used our tool to compute DPIs for several commonly used Java packages with complex protocols, such as JDBC, HashSet, and ArrayList.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A Novel Bayesian Network based Scheme for Finding the Optimal Solution to Stochastic Online Equi-Partitioning Problems 13

A Novel Bayesian Network based Scheme for Finding the <i>Opt...

引用

13th International Conference on Machine Learning and Applications (ICMLA)

作者： Glimsdal, Sondre Granmo, Ole-Christoffer Univ Agder Dept ICT Grimstad Norway

ISBN: (纸本)9781479974153

A number of intriguing decision scenarios, such as order picking, revolve around partitioning a collection of objects so as to optimize some application specific objective function. In its general form, this problem is referred to as the object Partitioning Problem (OOP), known to be NP-hard. We here consider a variant of OPP, namely the Stochastic Online Equi-Partitioning Problem (SO-EPP). In SO-EPP, objects arrive sequentially, in pairs. The relationship between the arriving object pairs is stochastic: They belong to the same partition with probability p. From a history of object arrivals, the goal is to predict which objects will appear together in future arrivals. As an additional complication, the partitions of related objects are required to be of equal cardinality. The decision maker, however, is not informed about the true relation between the objects, he is merely observing the stream of object pairs, and has to predict future behavior. Inferring the correct partitioning from historical behavior is thus a significant challenge, which becomes even more difficult when p is unknown. Previously, only heuristic sub-optimal solution strategies have been proposed for SO-EPP. In this paper, we propose the first optimal solution strategy. In brief, the scheme that we propose, BN-EPP, is founded on a Bayesian Network representation of SO-EPP problems. Based on probabilistic reasoning we are not only able to infer the correct object partitioning with optimal accuracy. We are also able to simultaneously infer p, allowing us to accelerate learning as object pairs arrive. Being optimal, BN-EPP provides superior performance compared to existing state-of-the-art solution schemes. BN-EPP is also highly flexible, being capable of encoding object partitioning constraints. Finally, BN-EPP is parameter free - its performance does not rely on fine tuning any parameters. As a result of these advantages, BN-EPP opens up for significantly improved performance for OOP based applicat

关键词： belief networks inference mechanisms optimisation BN-EPP Bayesian network representation NP-hard problem OOP SO-EPP novel Bayesian network based scheme object partitioning problem probabilistic reasoning stochastic online equi-partitioning problems Bayes methods Convergence Meteorology Noise Partitioning algorithms Probabilistic logic Stochastic processes Bayesian networks object oriented programming Soft computing Nondeterministic polynomial-time hard Partitioning algorithms Probabilistic logic Inference mechanisms Bayes methods Markov chain Meteorology Converge Noise

来源：评论

学校读者我要写书评

暂无评论

A Middleware for Managing Non-Functional Requirements in Cloud PaaS

A Middleware for Managing Non-Functional Requirements in Clo...

引用

International Conference on Cloud and Autonomic Computing (ICCAC)

作者： Braubach, Lars Jander, Kai Pokahr, Alexander Univ Hamburg Dept Comp Sci Distributed Syst Grp Hamburg Germany

ISBN: (纸本)9781479958412

A key aspect of distributed applications in platformas-a-service clouds revolves around the definition of requirements for quality of service and the most efficient use of the available resources to achieve them. Matching both the requirements and resources represents a unique challenge: While requirements are generally defined in relatively abstract form and defined as system-wide parameters, the resources are concrete, low-level entities that, by themselves, are only of marginal influence on the requirements. In order to establish a relationship between these two requires both the agglomeration of properties into more abstract ones as well as refining requirements in more detailed, concrete ones, both of which can often only be done to a certain degree. This paper presents a vision how both aspects can be brought to the same level and introduces an approach enhancing component-based cloud applications with non-functional properties in the context of an integrated programming model. This allows developers of such applications to formally declare properties that may influence the application during runtime and document the expectations regarding non-functional aspects of the overall system. This can be used to ensure the health of the application and, in case requirements are violated, actions like the deployment of additional resources can be performed in order to alleviate any degradation of its non-functional state, either by evaluating, choosing and performing pre-defined actions automatically or by manual administrative intervention.

关键词： cloud computing middleware object-oriented programming administrative intervention cloud PaaS component-based cloud applications integrated programming model nonfunctional properties nonfunctional requirements platform-as-a-service clouds Concrete Current measurement Middleware Monitoring programming Quality of service Runtime cloud applications components platform-as-a-service programming model Middleware Cloud Computing Runtime Quality of service Electric current measurement Current measuring object oriented programming programming Concrete linear programming models Integer programming models

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：