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

2007 Working Group Reports on ITiCSE on Innovation and Technology in computer science Education, ITiCSE-WGR 2007

作者： Fuller, Ursula Johnson, Colin G. Ahoniemi, Tuukka Cukierman, Diana Hernán-Losada, Isidoro Jackova, Jana Lahtinen, Essi Lewis, Tracy L. Thompson, Donna McGee Riedesel, Charles Thompson, Errol Computing Laboratory University of Kent CanterburyCT2 7NF United Kingdom Institute of Software Systems Tampere University of Technology Tampere Finland School of Computing Science Simon Fraser University BurnabyBC Canada Department of Lenguajes Y Sistemas Informáticos Universidad Rey Juan Carlos Madrid Spain Faculty of Management Science and Informatics University of Zilina Zilina Slovakia Department of Information Technology Radford University RadfordVA24142 United States Department of Learning Commons Simon Fraser University BurnabyBC Canada Department of Computer Science and Engineering University of Nebraska Lincoln 259 Avery Hall LincolnNE68588-0115 United States Massey University Wellington New Zealand

ISBN: (纸本)9781450378420

Bloom's taxonomy of the cognitive domain and the SOLO taxonomy are being increasingly widely used in the design and assessment of courses, but there are some drawbacks to their use in computer science. This paper reviews the literature on educational taxonomies and their use in computer science education, identifies some of the problems that arise, proposes a new taxonomy and discusses how this can be used in application-oriented courses such as programming.

关键词： Taxonomies

来源：评论

学校读者我要写书评

暂无评论

Simplification and analysis of transitive trust networks

引用

Web Intelligence and Agent Systems 2006年第2期4卷 139-161页

作者： Jøsang, Audun Gray, Elizabeth Kinateder, Michael School of Software Engineering and Data Communications Queensland University of Technology Australia Computer Science Department Trinity College Dublin Ireland Institute of Parallel and Distributed Systems Faculty of Computer Science University of Stuttgart Germany

When transacting and interacting through open computer networks, traditional methods used in the physical world for establishing trust can no longer be used. Creating virtual network substitutes with which people, organisations and software agents can derive trust in other parties requires computerised analysis of the underlying trust networks. This article describes an approach to trust network analysis using subjective logic (TNA-SL), that consists of the three following elements. Firstly it uses a concise notation with which trust transitivity and parallel combination of trust paths can be expressed. Secondly it defines a method for simplifying complex trust networks so that they can be expressed in this concise form. Finally it allows trust measures to be expressed as beliefs, so that derived trust can be automatically and securely computed with subjective logic. We compare our approach with trust derivation algorithms that are based on normalisation such as PageRank and EigenTrust. We also provide a numerical example to illustrates how TNA-SL can be applied. © 2006 - IOS Press and the authors. All rights reserved.

关键词： computer networks

来源：评论

学校读者我要写书评

暂无评论

L3OP: Learning styles application using learning objects approach

L3OP: Learning styles application using learning objects app...

引用

6th IEEE International Conference on computer and Information Technology, CIT 2006

作者： Hamid, Siti Hafizah Ab Chuan, Tan Hock Kasirun, Zarinah Mohd Department of Software Engineering Faculty of Computer Science and Information Technology University of Malaya 50603 Kuala Lumpur Malaysia

ISBN: (纸本)076952687X

Learning Objects is not a new approach in electronic learning system. It has been applied since more than seven years ago. It can be clearly seen in CanCore project [9] in Canada and the emerging of several standards of Learning Objects by well-known organizations such as IEEE. L30P (Learning Objects Technology in Object-Oriented Programming E-Learning System) project applies the Learning Objects concept into electronic learning system focusing on digitalizing learning styles (especially among higher education students). The electronic learning systems have been used by these students since past few generations and many of them have been enhanced. However, some students still feel that the electronic learning systems are not as effective as they may seem. The reason is varieties of traditional methods of learning styles used by these students, for example, jotting down and highlighting notes cannot be done in the electronic learning systems. For example, some students prefer to use highlight pen or marker to underline the important notes. However, the electronic learning systems can not digitize the styles. The project is only concentrated on visual type of learners. The Learning Objects approach used in this project not only to ensure the organization of the database but also the reusability of the learning content itself. © 2006 IEEE.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

A comparative study of interface design approaches for service-oriented software

A comparative study of interface design approaches for servi...

引用

APSEC 2006: Asia-Pacific software engineering Conference

作者： Teo, Hui Ming Kadir, Wan M. N. Wan Software Engineering Department Faculty of Computer Science and Information Systems Universiti Teknologi Malaysia 81300 UTM Skudai Johor Malaysia

ISBN: (纸本)0769526853

In the service-oriented software environment, interactions between components are highly dependent on the exposed service interfaces. Therefore, designing an appropriate service interface is essential. In this paper, we aim to perform a comparative evaluation on three different approaches to service interface design, i.e. method-centric, message-centric and resourcecentric. The evaluation is peformed systematically based on a list of selected evaluation criteria. It is expected that the evaluation results may assist software architects to understand the differences between approaches and adopt the approaches wisely in the service interface design. © 2006 IEEE.

关键词： software architecture

来源：评论

学校读者我要写书评

暂无评论

MEMS: A method for evaluating middleware architectures

引用

2nd International Conference on Quality of software Architectures

作者： Liu, Yan Gorton, Ian Bass, Len Hoang, Cuong Abanmi, Suhail National ICT Australia (NICTA) School of Computer Science and Engineering University of New South Wales Australia Software Engineering Institute United States Engineering Faculty University of Technology Sydney Australia

ISBN: (纸本)9783540488194

Middleware architectures play a crucial role in determining the overall quality of many distributed applications. Systematic evaluation methods for middleware architectures are therefore important to thoroughly assess the impact of design decisions on quality goals. This paper presents MEMS, a scenario-based evaluation approach. MEMS provides a principled way of evaluating middleware architectures by leveraging generic qualitative and quantitative evaluation techniques such as prototyping, testing, rating, and analysis. It measures middleware architectures by rating multiple quality attributes, and the outputs aid the determination of the suitability of alternative middleware architectures to meet an application's quality goals. MEMS also benefits middleware development by uncovering potential problems at early stage, making it cheaper and quicker to fix design problems. The paper describes a case study to evaluate the security architecture of grid middleware architectures for managing secure conversations and access control. The results demonstrate the practical utility of MENIS for evaluating middleware architectures for multiple quality attributes.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

Pattern-based development of user-friendly web applications 06

Pattern-based development of user-friendly web applications

引用

Sixth International Conference on Web engineering, ICWE 2006

作者： Wentzlaff, Ina Specker, Markus University Duisburg-Essen Faculty of Engineering Department of Computer Science Software Engineering Oststraße 99 47057 Duisburg Germany University Duisburg-Essen Faculty of Engineering Department of Computer Science Interactive Systems and Interaction Design Lotharstraße 65 47057 Duisburg Germany

ISBN: (纸本)1595934359

Using patterns to preserve common problem-solving knowledge is a very popular approach. Each computer science community applies its own techniques to document engineering principles for the handling of recurring software development questions using patterns. Thus various pattern collections were evolved for dealing with specific problems of the respective community. As a result comparable patterns or redundant pattern descriptions exist in different collections leading unintentionally to a "reinvention of the wheel" time and again. Taking the development of a chat application as an example, we present an approach for integrating patterns from different software engineering disciplines. We transform problem patterns (problem frames) into solution patterns (design patterns) by using a case-based reasoning methodology to achieve a pattern-based software development process which systematically leads from natural language requirements to semi-formal near code level descriptions. We particularly consider non-functional software properties by combining design patterns of human-computer interaction (HCI) with software engineering (SE) patterns in order to support the systematic development of user-friendly software applications.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Synchronizing without locks is inherently expensive

Synchronizing without locks is inherently expensive

引用

25th Annual ACM Symposium on Principles of Distributed Computing 2006

作者： Attiya, Hagit Hendler, Danny Guerraoui, Rachid Kouznetsov, Petr Department of Computer Science Technion Israel Faculty of Industrial Engineering and Management Technion Israel Computer Science and Artificial Intelligence Laboratory School of Computer and Communication Sciences MIT Switzerland Max Planck Institute for Software Systems Germany

ISBN: (纸本)1595933840

It has been considered bon ton to blame locks for their fragility, especially since researchers identified obstruction-freedom: a progress condition that precludes locking while being weak enough to raise the hope for good performance. This paper attenuates this hope by establishing lower bounds on the complexity of obstruction-free implementations in contention-free executions: those where obstruction-freedom was precisely claimed to be effective. Through our lower bounds, we argue for an inherent cost of concurrent computing without locks. We first prove that obstruction-free implementations of a large class of objects, using only overwriting or trivial primitives in contention-free executions, have Ω(n) space complexity and Ω(log2 n) (obstruction-free) step complexity. These bounds apply to implementations of many popular objects, including variants of fetch&add, counter, compare&swap, and LL/SC. When arbitrary primitives can be applied in contention-free executions, we show that, in any implementation of binary consensus, or any perturbable object, the number of distinct base objects accessed and memory stalls incurred by some process in a contention free execution is Ω(√n). All these results hold regardless of the behavior of processes after they become aware of contention. We also prove that, in any obstruction-free implementation of a perturbable object in which processes are not allowed to fail their operations, the number of memory stalls incurred by some process that is unaware of contention is Ω(n). Copyright 2006 ACM.

关键词： Security systems

来源：评论

学校读者我要写书评

暂无评论

Customized benchmark generation using MDA

Customized benchmark generation using MDA

引用

5th Working IEEE/IFIP Conference on software Architecture (WISCA 2005)

作者： Zhu, Liming Liu, Yan Gorton, Ian Bui, Ngoc Bao Empirical Software Engineering Program National ICT Australia Ltd. Australia School of Computer Science and Engineering University of New South Wales Australia Faculty of Information Technology University of Technology Sydney Australia

ISBN: (纸本)0769525482

This paper describes an approach for generating customized benchmark applications from a software architecture description using a Model Driven Architecture (MDA) approach. The benchmark generation and performance data capture tool implementation is based on widely used open source MDA frameworks. The business logic of the benchmark application is modeled in UML and generated by taking advantage of the existing generation "cartridges" so that the current component technology can be exploited in the benchmark. This greatly reduces the effort and expertise needed for benchmarking with complex component technology. We have also extended the MDA framework to model and generate a load testing suite and automatic performance measurement infrastructure. The approach complements current model-based performance prediction and analysis methods by generating the benchmark application from the same application architecture that the performance models are derived from. This provides the potential for tightly integrating runtime performance measurement with model-based prediction either for model validation or improving model prediction accuracy, We illustrate the approach using a case study based on EJB component technology.

关键词： software architecture

来源：评论

学校读者我要写书评

暂无评论

Parametric linear system of equations, whose elements are nonlinear functions

Parametric linear system of equations, whose elements are no...

引用

12th GAMM-IMACS International Symposium on Scientific Computing, computer Arithmetic and Validated Numerics, SCAN 2006

作者： El-Owny, H. Bergische Universität Wuppertal Faculty C - Department of Mathematics and Computer Science Scientific Computing / Software Engineering Gaußstraße 20 42097 Wuppertal Germany

ISBN: (纸本)076952821X

This paper addresses the problem of solving parametric linear systems of equations whose coefficients are, in the general case, nonlinear functions of interval parameters. Such systems, are encountered in many practical problems, e.g in electrical engineering and mechanical systems. A C-XSC[8] implementation of a parametric fixed-point iteration method for computing an outer enclosure for the solution set is proposed in this paper. Numerical examples illustrating the applicability of the proposed method are solved, and compared with other methods.

关键词： Linear systems

来源：评论

学校读者我要写书评

暂无评论

An evaluation of similarity coefficients for software fault localization

An evaluation of similarity coefficients for software fault ...

引用

12th Pacific Rim International Symposium on Dependable Computing, PRDC 2006

作者： Abreu, Rui Zoeteweij, Peter Van Gemund, Arjan J. C. Software Technology Department Faculty of Electrical Engineering Mathematics and Computer Science Delft University of Technology P.O. Box 5031 NL-2600 GA Delft Netherlands

ISBN: (纸本)0769527248

Automated diagnosis of software faults can improve the efficiency of the debugging process, and is therefore an important technique for the development of dependable software. In this paper we study different similarity coefficients that are applied in the context of a program spectral approach to software fault localization (single programming mistakes). The coefficients studied are taken from the systems diagnosis / automated debugging tools Pinpoint, Tarantula, and AMPLE, and from the molecular biology domain (the Ochiai coefficient). We evaluate these coefficients on the Siemens Suite of benchmark faults, and assess their effectiveness in terms of the position of the actual fault in the probability ranking of fault candidates produced by the diagnosis technique. Our experiments indicate that the Ochiai coefficient consistently outperforms the coefficients currently used by the tools mentioned. In terms of the amount of code that needs to be inspected, this coefficient improves 5% on average over the next best technique, and up to 30% in specific cases. © 2006 IEEE.

关键词： software reliability

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：