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

Canadian Conference on Electrical and computer engineering (CCECE)

作者： A. Adewumi Yingxu Wang Department of Computer Sciences Faculty of Science University of Lagos Lagos Nigeria Theoretical and Empirical Software Engineering Center University of Calgary Calgary AB Canada

Formal specification of abstract data types (ADTs) is important in modeling system architectures and their implementations. One of the most widely used ADTs is graph, since many problems in sciences and engineering can be formulated and solved by a graph model. In this paper, we present a formal approach to the specification of graphs as an ADT using real-time process algebra (RTPA). RTPA is a formal method that describes a software system, especially a real-time system, as a set of processes. We use RTPA to describe a generic graph model in three parts encompassing the architecture, static and dynamic behaviors. In the RTPA specification, the graph behaviors can be classified into four categories, namely: (a) basic operations (InsertNode, DeleteNode, InsertEdge, DeleteEdge, GetSize, GetNumberOfEdges, Retrieve, Update, and Search); (b) node/edge-specific operations (FindNode, FindEdge, Fanin, Fanout, FindNeighbours, and Degree); (c) pointer operations (CurrentNode and CurrentEdge); and (d) utility operations (Create, Clear, and Release). Each of the 20 operations is formally described by an RTPA processes in a unified encapsulation of graph behaviors. On the basis of the RTPA graph model, a wide range of graph-based applications can be implemented by sharing the common architecture and behaviors of the graph as a system type or class.

关键词： computer architecture Formal specifications Algebra software systems Real time systems software engineering Tree graphs Encapsulation Application software Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Generic Environment for Full Automation of Benchmarking 1

Generic Environment for Full Automation of Benchmarking

引用

Testing of Component-Based Systems and software Quality, 1st International Workshop on software Quality, SOQUA 2004 and Workshop Testing Component-Based Systems, TECOS 2004

作者： Kalibera, Tomáš Bulej, Lubomír Tůma, Petr Distributed Systems Research Group Department of Software Engineering Faculty of Mathematics and Physics Charles University Malostranské nám. 25 Prague118 00 Czech Republic Institute of Computer Science Czech Academy of Sciences Pod Vodárenskou věží 2 Prague182 07 Czech Republic

ISBN: (纸本)3885793873

Regression testing is an important part of software quality assurance. We work to extend regression testing to include regression benchmarking, which applies benchmarking to detect regressions in performance. Given the specific requirements of regression benchmarking, many contemporary benchmarks are not directly usable in regression benchmarking. To overcome this, we present a case for designing a generic benchmarking environment that will facilitate the use of contemporary benchmarks in regression benchmarking, analyze the requirements and propose architecture of such an environment. © 2004 Gesellschaft fur Informatik (GI). All rights reserved.

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

Field testing a wireless sensor network for reactive environmental monitoring [soil moisture measurement]

Field testing a wireless sensor network for reactive environ...

引用

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

作者： R. Cardell-Oliver K. Smettem M. Kranz K. Mayer School of Computer Science & Software Engineering University of Western Australia Australia Centre for Water Research University of Western Australia Australia Faculty of Engineering and Information Technology Australian National University CSIRO ICT Centre Australia

Wireless sensor network technology promises to reveal fine-grained, dynamic changes in monitored variables of an outdoor landscape. But there are significant problems to be overcome in translating this vision to working systems. This paper describes the design and implementation of a reactive, event driven network for environmental monitoring of soil moisture and evaluates the effectiveness of this solution. A novel feature of our solution is its reactivity to the environment: when rain falls and soil moisture is changing rapidly, measurements are collected frequently, whereas during dry periods, between rainfall events, measurements are collected much less often. Reactivity allows us to focus on dynamic responses and limit the amount of useless data gathered, as well as improving robustness and network lifetime. The main contribution of the paper is to demonstrate that a reactive sensor network can deliver useful data on soil moisture responses to rainfall. Field trial results on the reactivity, robustness and longevity of the network are evaluated, and future improvements proposed.

关键词： Testing Wireless sensor networks Soil moisture Rain Robustness computerized monitoring Machine vision Moisture measurement Soil measurements Remote monitoring

来源：评论

学校读者我要写书评

暂无评论

Solving interoperability problems on a federation of software process systems

Solving interoperability problems on a federation of softwar...

引用

ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems

作者： Ahmed-Nacer, Mohamed Mostefai, Med-Amine Computer Science Department Faculty of Electrical Engineering Univ. Sci./Technol. Houari B. BP 32 El-Alia 16123 Bab-Ezzouar Algeria Software Laboratory Ctr. of Res. in Sci. and Tech. Info. 03 frère Aissou Ben Aknoun 16030 Algiers Algeria

ISBN: (纸本)9728865007

software process components that share information and that cooperate for common tasks lead to multiple problems of interoperability. Some based-interoperability approaches have been proposed. However, more problems remain to be solved to enable the heterogeneous process components interoperability at execution level. This paper presents a process-based approach (architecture) for the federation of software process systems. Based on this approach, we focus on its implementation problems for the process execution interoperability. We show how we solve these problems and we discuss their implementation through the main development techniques of distributed applications.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

The dimensions of variation in the teaching of data structures

The dimensions of variation in the teaching of data structur...

引用

ITiCSE 2004 - 9th Annual SIGCSE Conference on Innovation and Technology in computer Science Education

作者： Lister, Raymond Tenenberg, Josh Box, Ilona Morrison, Brians Westbrook, D. Suzanne University of Technology Sydney Faculty of Information Technology Sydney NSW 2007 Australia University of Washington Tacoma Institute of Technology 1900 Commerce St. Tacoma WA 98402-3100 University of Western Sydney School of Computing and IT Penrith NSW 1797 Australia Southern Polytechnic State University School of Computing and Software Engineering Marietta GA 30060 University of Arizona Department of Computer Science Tucson AZ 85721

The current debate about the teaching of data structures is hampered because, as a community, we usually debate specifics about data structure implementations and libraries, when the real level of disagreement remains implicit - the intent behind our teaching. This paper presents a phenomenographic study of the intent of CS educators for teaching data structures in CS2. Based on interviews with computer Science educators and analysis of CS literature, we identified five categories of intent: developing transferable thinking, improving students' programming skills, knowing "what's under the hood", knowledge of software libraries, and component thinking. The CS community needs to first debate at the level of these categories before moving to more specific issues. This study also serves as an example of how phenomenographic analysis can be used to inform debate on syllabus design in general. Copyright 2004 ACM.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

1/f^β noise-based real-time animation of trees swaying in wind fields

1/f<SUP>β</SUP> noise-based real-time animation of trees sw...

引用

computer Graphics International Conference (CGI 2003)

作者： Ota, S Fujimoto, T Tamura, M Muraoka, K Fujita, K Chiba, N Iwate Software Center Japan Computer Science Department Faculty of Engineering Iwate University Japan Department of Communications Engineering Tohoku Institute of Technology Japan

ISBN: (纸本)0769519466

Trees are one of the most important elements of natural landscapes. Therefore, in computer graphics, there is a great demand for methods to realize the natural representation of trees in virtual landscapes in various fields such as entertainment industry or environmental assessment in construction. Many studies have been made on techniques in which the shapes of trees are modeled but only a few studies have been reported on methods to incorporate the shapes with motions in a wind field. Most of these studies use physical simulation techniques based on the equations of motion to generate the branch motions and cannot realize the motions of individual leaves. In this paper, we propose a method to create the natural motions of individual leaves and branches swaying in a wind field. This method generates the leaf and branch motions based on "1/f(beta) noise", which is observed in various natural phenomena. For the branch motion, a simple simulation method based on the spring model is applied to enhance the realism of the motion. This method enables the real-time creation of the leaf and branch motions. Diverse motions according to tree species and shapes and wind conditions can be easily realized by controlling the parameters.

关键词： tree leaf motion wind 1/f(beta) noise real-time animation

来源：评论

学校读者我要写书评

暂无评论

An efficient distributed method for acceptable allocation of resources based on a concession policy 17

An efficient distributed method for acceptable allocation of...

引用

17th International Conference on Advanced Information Networking and Applications

作者： Huang, TJ Cheng, ZX Koyama, A He, AU Zhang, GZ ISTC Univ. of Aizu Aizu-Wakamatsu Japan Dept. of Computer Software University of Aizu Japan Faculty of Engineering Yamagata University Japan Graduate School of Computer Science and Engineering University of Aizu Japan

ISBN: (纸本)0769519067

Distributed resource allocation is a fundamental problem in construction of distributed systems. Though a lot of distributed algorithms have been developed for the problem, many of them are only designed to satisfy the desired quality of the requested resources, without considering acceptable range of the quality of the requested resources. In this paper we propose a new distributed algorithm employing a concession method, by which a process can transfer a reserved resource to another process, so that more processes can use the resources in the same time, to increase the efficiency and still keep the satisfaction for the quality of the resources in an acceptable range. We redefine the problem, and give the design and implementation of the algorithm in the paper.

关键词： Algorithm design and analysis Application software Codecs computer networks computer science Distributed algorithms Distributed computing Helium Resource management System recovery

来源：评论

学校读者我要写书评

暂无评论

An AspectJ-enabled Eclipse Core Runtime Platform

An AspectJ-enabled Eclipse Core Runtime Platform

引用

18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'03

作者： Lippert, Martin Software Engineering Group Faculty of Computer Science University of Hamburg Vogt-Kölln-Straße 30 22527 Hamburg Germany

ISBN: (纸本)1581137516

Separation of concerns and modularity are key elements of software engineering. The work described here presents a combination of two proven techniques that help improve both of these elements: the Eclipse Core Runtime Platform, which introduces plugins to Java programming as a kind of module concept on top of packages, and aspect-oriented programming using AspectJ, which aims to improve the modularity of crosscutting concerns. The work presents a combination of these two technologies in an AspectJ-enabled version of the Eclipse Core Runtime Platform. Unlike the standard implementation of the Eclipse Core Runtime Platform, the AspectJ-enabled implementation allows aspects to modularize crosscutting concerns beyond the boundaries of plugins (without the need for recompilation across plugins). It allows crosscutting concerns to be modularized by means of aspects and plugins while using the enhanced but compatible version of the Eclipse Core Runtime Platform as promoted by the Eclipse project.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Architecture of the virtual training system for buoyancy control 03

Architecture of the virtual training system for buoyancy con...

引用

9th EUROGRAPHICS Workshop on Virtual Environments, EGVE 2003

作者： Korošec, Dean Slavinec, Mitja Bernad, Dani Kolarič, Primož Prnaver, Katja University of Maribor Faculty of Electrical Engineering and Computer Science System Software Laboratory Slovenia University of Maribor Faculty of Education Department of Physics Slovenia Regional Development Agency Mura Murska Sobota Slovenia

ISBN: (纸本)1581136862

In this paper we present the structure of the simulator which would allow diving beginners to experience the effect of buoyancy control mechanisms before actually entering the *** believe such training would be less stressful and safer for all participants, but it should also reduce the time in water needed to manage basic practical diving skills. Central design requirements for the system were: realistic modelling of diving physics, various options of man-machine interface and possibility of immersion. With future studies we plan to clarify to what extent the immersive VR interfaces are able to further improve the diving training experience. © 2003 The Eurographics Association.

关键词： E-learning

来源：评论

学校读者我要写书评

暂无评论

Accommodating Learner Diversity in Web-based Learning Environments: Imperatives for Future Developments

引用

International Journal of computer Processing of Languages 2003年第4期16卷 243-260页

作者： JUDITHE SHEARD JULIANNE LYNCH School of Computer Science and Software Engineering Monash University Melbourne Australia Faculty of Education Deakin University Melbourne Australia

In this article, we focus on the use of Web-based learning environments for university students. We draw on an evaluation of an online environment that was developed to supplement face-to-face components of an undergraduate education unit in an Australian university. We explore learners' affective responses to this environment, finding that students' responses were often related to their familiarity with the learning environment, their skills and confidence with computer technology, and their preferred learning styles. It is not surprising to us that different students experienced the environment differently as this is the foundation of constructivist and socio-cultural understandings of learning. Yet, the models that currently predominate in the provision of online learning environments in universities offer very little in terms of responding and adapting to students' individual needs and preferences. Instead, online Web-based learning environments are most often designed to anticipate an average, or sometimes ideal, learner. We argue that designing for an imagined average or ideal learner does not adequately respond to the challenge of accommodating learner difference. If hopes for student-centred education are to be realised, future technological and pedagogical developments in online course provision need to be sophisticated enough to respond and adapt to individual students' needs and preferences across a wide range of variables.

关键词： Educational Technology Online Learning Undergraduate Education University Teaching and Learning Web-based Learning Environments

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：