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

Proceedings of the 16th annual joint conference on Innovation and technology in computer science education

作者： Bell, Tim Curzon, Paul Cutts, Quintin Dagiene, Valentina Haberman, Bruria Computer Science and Software Engineering University of Canterbury Christchurch New Zealand School of Electronic Engineering and Computer Science Queen Mary University of London London E1 4NS United Kingdom School of Computing Science University of Glasgow Glasgow G12 8RZ United Kingdom Vilnius University Vilnius LT-08663 Lithuania Computer Science Department Holon Institute of Technology Holon Israel Davidson Inst. of Science Education Weizmann Inst. of Science Rehovot 76100 Israel

ISBN: (纸本)9781450308878

We examine five outreach programmes that introduce school students to Computer Science. All downplay programming as a pre-requisite skill for engaging with Computer Science, yet they use a wide variety of formats for reaching students, including contests, shows, magazine articles, and resources for teachers. We classify these different approaches, identifying the different ways they have been adapted to their target audience, and drawing out the common elements to provide guidance for similar initiatives. © 2011 Authors.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

A Game Theoretic Model and Tree Analysis Method for Fair Exchange Protocols

A Game Theoretic Model and Tree Analysis Method for Fair Exc...

引用

Theoretical Aspects of software engineering (TASE)

作者： Guoqiang Li Yonggen Gu Xiuting Tao Jie Tao BASICS School of Software MOE-MS Key Laboratory for Intelligent Computing and Intelligent Systems Shanghai Jiao Tong University Shanghai China School of Information and Engineering HUzhou Teacher's College Zhejiang China College of Mathematics Physics and Information Engineering Zhejiang Normal University China

Exchange protocols are an important theoretic basis to make secure electronic commerce and electronic business transactions possible, in which the fairness is a crucial property. To ensure and verify the property, a specific model is proposed, based on the extensive game with imperfect information. Fairness is built in the protocol game and the corresponding game tree. To verify the property, a tree analysis method is offered, and a linear time algorithm is given. As a case study, some flaws of ASW protocol are found.

关键词： Protocols Games Computational modeling Game theory Educational institutions Analytical models Electronic commerce

来源：评论

学校读者我要写书评

暂无评论

Strong Security Enabled Certificateless Aggregate Signatures Applicable to Mobile Computation

Strong Security Enabled Certificateless Aggregate Signatures...

引用

International Conference on Intelligent Networking and Collaborative Systems (INCOS)

作者： Hu Xiong Qianhong Wu Zhong Chen Key Laboratory of Network and Software Security Assurance of the Ministry of Education Institute of Software School of Electronics Engineering and Computer Science Peking University Beijing China Department of Computer Engineering and Mathematics UNESCO Chair in Data Pr Universitat Rovira i Virgili Tarragona Spain Key Laboratory of AeroSpace Information Security and Trusted Computing Ministry of Education School of Computer Wuhan University of China China

An aggregate signature scheme allows a public algorithm to aggregate n signatures of n distinct messages from n signers into a single signature. By validating the single resulting signature, one can be convinced that the messages have been endorsed by all the signers. Certificateless aggregate signatures allow the signers to authenticate messages without suffering from the complex certificate management in the traditional public key cryptography or the key escrow problem in identity-based cryptography. In this paper, we present a new efficient certificate less aggregate signature scheme. Compared with up-to-date certificate less aggregate signatures, our scheme is equipped with a number of attracting features: (1) it is shown to be secure under the standard computational Diffie-Hellman assumption in the random oracle model, (2) the security is proven in the strongest security model so far, (3) the signers do not need to be synchronized, and (4) its performance is comparable to the most efficient up-to-date schemes. These features are desirable in a mobile networking and computing environment where the storage/computation capacity of the end devices are limited, and due to the wireless connection and distributed feature, the computing devices are easy to be attacked and hard to be synchronized.

关键词： Aggregates Games Generators Synchronization Public key cryptography

来源：评论

学校读者我要写书评

暂无评论

Students' perceptions of the differences between formal and informal learning 11

Students' perceptions of the differences between formal and ...

引用

7th International computing Education Research Workshop, ICER 2011

作者： Boustedt, Jonas Eckerdal, Anna McCartney, Robert Sanders, Kate Thomas, Lynda Zander, Carol Division of Technology and Environment University of Gävle Gävle Sweden Department of Information Technology Uppsala University Uppsala Sweden Department of Computer Science and Engineering University of Connecticut Storrs CT United States Mathematics and Computer Science Department Rhode Island College Providence RI United States Department of Computer Science Aberystwyth University Aberystwyth United Kingdom Computing and Software Systems University of Washington Bothell Bothell WA United States

ISBN: (纸本)9781450308298

Research has shown that most learning in the workplace takes place outside of formal training and, given the swiftly changing nature of the field, computer science graduates more than most workers, need to be able to learn computing topics outside of organized classes. In this paper we discuss students' perceptions of the difference between formal and informal learning of computing topics, based on three datasets: essays collected from a technical writing course at a single university;the results of a brainstorming exercise conducted in the same course;and semi-structured interviews conducted at six institutions in three countries. The students report strengths and weaknesses in informal learning. On the one hand, they are motivated, can choose their level of learning, can be more flexible about how they learn, and often retain the material better. On the other hand, they perceive that they may miss important aspects of a topic, learn in an ad hoc way, and have difficulty assessing their learning. © 2011 ACM.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Extended Doo-Sabin surfaces

引用

Journal of Information and Computational Science 2011年第12期8卷 2239-2247页

作者： Huang, Zhangjin Wang, Feng Wang, Guoping School of Computer Science and Technology University of Science and Technology of China China Key Laboratory of Software in Computing and Communication Anhui Province China USTC-SICT Joint Laboratory on Network and Communication China Peking University China School of Electronic Engineering and Computer Science Peking University China

In this paper we propose a modification of quadratic NURSSes called EDSes (Extended Doo-Sabin Surfaces). EDSes inherit the refinement rules for quadratic NURSSes for four-sided faces but use the refinement rules for Doo-Sabin surfaces for faces with other than four sides. Compared to quadratic NURSSes, if all the knot intervals are positive, EDSes always converge to G1 continuous limit surfaces with closed-form limit point as well as limit normal rules. 1548-7741/Copyright © 2011 Binary Information Press.

关键词： Information systems

来源：评论

学校读者我要写书评

暂无评论

Dynamic Resource Allocation Based on User experience in Virtualized Servers

引用

Procedia engineering 2011年 15卷 3780-3784页

作者： Wei Zhang Jiajun Liu Ying Song Mingfa Zhu Limin Xiao Yuzhong Sun Li Ruan State Key Laboratory of Software Development Environment Beijing 100191 China School of Computer Science and Engineering Beihang University Beijing 100191 China Key Laboratory of Computer System and Architecture Chinese Academy of SciencesBeijing Institute of Computing Technology Chinese Academy of Sciences Beijing China

Web workloads are known to vary dynamically with time which poses a challenge to resource allocation among the applications. In this paper, we argue that the existing dynamic resource allocation based on resource utilization has some drawbacks in virtualized servers. Dynamic resource allocation directly based on real-time user experience is more reasonable and also has practical significance. To address the problem, we propose a system architecture that combines real time measurements and analysis of user experience for resource allocation. We evaluate our proposal using Webbench. The experiment results show that these techniques can judiciously allocate system resources.

关键词： resource allocation virtualized servers user experience

来源：评论

学校读者我要写书评

暂无评论

Documenting and verifying systems assembled from components

引用

中国高等学校学术文摘·计算机科学 2010年第2期4卷 151-161页

作者： Zhiying LIU David Lorge PARNAS Baltasar Trancon y WIDEMANN Software Quality Research Laboratory Faculty of Informatics and Electronics University of Limerick Limerick Ireland Software Quality Research Laboratory Faculty of Informatics and Electronics University of Limerick Limerick Ireland Department of Computing And Software Faculty of Engineering McMaster University Hamilton Canada

This paper presents an approach to the problem of documenting the design of a network of components and verifying that its structure is complete and consistent, (i.e., that the components, functioning together, will satisfy the requirements of the complete product), before the components are implemented. Our approach differs from others in that both hardware and software components are viewed as hardware-like devices in which an output value can change instantaneously when input values change and all components operate synchronously rather than in sequence. We define what we mean by completeness and consistency and illustrate how the documents can be used to verify a design before it is implemented.

关键词： networks of components completeness consistency

来源：评论

学校读者我要写书评

暂无评论

WebSense: A lightweight and configurable application for publishing sensor network data

WebSense: A lightweight and configurable application for pub...

引用

Intelligent Sensors, Sensor Networks and Information Processing Conference (ISSNIP)

作者： Rachel Cardell-Oliver Christof Huebner Miriam Foeller-Nord School of Computer Science & Software Engineering University of Western Australia Perth Australia Institute for Industrial Data Processing and Communication University of Applied Sciences of Mannheim Mannheim Germany Institute for Embedded and Mobile Computing University of Applied Sciences of Mannheim Mannheim Germany

Wireless sensor networks generate volumes of scientific observations. However, gathered data is typically not published for use by other scientists. This paper analyses the reasons that so little sensor network data is published online in a usable form, and identifies gaps in currently available publication systems. To address these gaps we present WebSense, a lightweight and configurable web-based tool for sensor network researchers to publish their collected data. The design goals and implementation of WebSense are described and the system is evaluated against the goals. WebSense is available from http://***/.

关键词： Data models Distributed databases Protocols Web services Publishing Semantics

来源：评论

学校读者我要写书评

暂无评论

Design of a robot cloud center

Design of a robot cloud center

引用

International Workshop on Assurance in Distributed Systems and Networks

作者： Du, Zhihui Yang, Weiqiang Chen, Yinong Sun, Xin Wang, Xiaoying Xu, Chen Tsinghua National Laboratory for Information Science and Technology Department of Computer Science and Technology Tsinghua University 100084 Beijing China School of Software and Microelectronics Peking University 102600 Beijing China School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ 85287 United States Department of Computer Technology and Application Qinghai University Xining Qinghai 810016 China International School Beijing University of Posts and Telecommunications 102209 Beijing China

ISBN: (纸本)9780769543499

Service-oriented architecture and cloud computing have become the prevalent computing paradigm. In this paradigm, computing resources can be accessed like other utility services available in today's society. In the meantime, robotics applications are joining the trend. More and more robot applications are shifting from manufacture to non-manufacture and service industries. However, for the on-demand supply of the large-scale heterogeneous robots, It is still a problem have not yet been studied, including the fundamental management and efficiency issues in using of these resources. In this paper, we design a framework of "Robot Cloud Center" (RCC) following the general cloud computing paradigm to address the current limitations in capacity and versatility of robotic applications. In this framework, a robot can be provided as a service just like a public utility service so that everyone can access the powerful robotic services easily, efficiently, and cheaply. Based on a given scenario, a robot scheduling algorithm in RCC is proposed to take advantage of the heterogeneous robot resources to meet the end user's requirement with the minimum cost.

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

JaMes: A Java-based system for Navigational Programming

JaMes: A Java-based system for Navigational Programming

引用

International Conference on Computational Problem-Solving (ICCP)

作者： Qinghong Shang Munehiro Fukuda Wendy Zhang Lubomir Bic Michael B. Dillencourt School of Computer Science & Engineering University of Electronic Science and Technology of China Chengdu Sichuan China Donald Bren School of Information & Computer Sciences University of California Irvine CA USA Computing and Software Systems University of Washington Bothell WA USA

Navigational Programming (NavP) is a new approach to distributed programming based on migrating threads. Under this model of computation, an application is structured as a collection of processes, which can migrate autonomously through an application-specific network of nodes. Navigational Programming has been demonstrated to have significant advantages over other programming paradigms including message passing (MP) and distributed shared memory (DSM), for general-purpose computing. JaMes is a superset of Java, in that it provides a collection of methods that implement the navigational programming model. In addition to the basic capabilities of migration and non-preemptive scheduling, JaMes extends the basic model by permitting processes to specify a priority during migration, and by allowing processes to collaborate both locally, through standard synchronization primitives, and remotely, by two different forms of send and receive operations. We illustrate the capabilities of JaMes using two representative programming examples, each chosen to illustrate a specific feature of JaMes. We also describe the performance of the chosen examples when executed under JaMes on a network of PCs.

关键词： Programming Cities and towns Instruction sets Computational modeling Navigation Synchronization Mobile communication

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：