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

18th Australasian Conference on Information systems, ACIS 2007

作者： Mendoza, Antonette Stern, Linda Carroll, Jennie Department of Computer Science and Software Engineering University of Melbourne VIC Australia Discipline of Business Information Systems University of Sydney NSW Australia

This paper examines the process of technology appropriation and the triggers that encourage and discourage longer term use of an Information System (IS). In a longitudinal study over 14 months, we examine use of a Learning Management System in an educational setting. Our findings suggest that the process of appropriation is incremental over time. Multiple plateaus of temporary stabilization occur during longer term use of a technology. In addition, findings from the study reveal that rejection of a technology may take place long after adoption. Localized IT support, peer-support and availability of ongoing training in the form of one-on-one contact with the trainer, at critical time periods, may be key factors in encouraging productive use and avoiding rejection of the technology in the long term. © 2007 Antonette Mendoza, Jennie Carroll and Linda Stern.

关键词： Stabilization

来源：评论

学校读者我要写书评

暂无评论

A Robust and Low-Complexity Gas Recognition Technique for On-Chip Tin-Oxide Gas Sensor Array

引用

Journal of Sensors 2008年第1期2008卷

作者： Farid Flitti Aicha Far Bin Guo Amine Bermak School of Computer Science and Software Engineering The University of Western Australia 35 Stirling Highway CRAWLEY WA 6009 Australiauwa.edu.au Smart Sensory Integrated Systems Lab ECE Department The Hong Kong University of Science and Technology Clear Water Bay Kowloon Hong Kongust.hk

Gas recognition is a new emerging research area with many civil, military, and industrial applications. The success of any gas recognition system depends on its computational complexity and its robustness. In this work, we propose a new low-complexity recognition method which is tested and successfully validated for tin-oxide gas sensor array chip. The recognition system is based on a vector angle similarity measure between the query gas and the representatives of the different gas classes. The latter are obtained using a clustering algorithm based on the same measure within the training data set. Experimented results on our in-house gas sensors array show more than 98 % of correct recognition. The robustness of the proposed method is tested by recognizing gas measurements with simulated drift. Less than 1 % of performance degradation is noted at the worst case scenario which represents a significant improvement when compared to the current state-of-the-art.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A modal logic for beliefs and pro attitudes

A modal logic for beliefs and pro attitudes

引用

AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference

作者： Su, Kaile Sattar, Abdul Lin, Han Reynolds, Mark Institute for Integrated and Intelligent Systems Griffith University Brisbane Australia Key Laboratory of High Confidence Software Technologies Ministry of Education Peking University Beijing China Department of Computer Science Sun Yat-Sen University Guangzhou China School of Computer Science and Software Engineering University of Western Australia Perth Australia

ISBN: (纸本)1577353234

Agents' pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural and satisfying formalization of these attitudes is a longstanding problem in the community of agent theory. Most of existing modal logic approaches are based on Kripke structures and have to face the so-called side-effect problem. This paper presents a new modal logic formalizing agents' pro attitudes, based on neighborhood models. There are three distinguishing features of this logic. Firstly, this logic naturally satisfies Bratman's requirements for agents' beliefs and pro attitudes, as well as some interesting properties that have not been discussed before. Secondly, we give a sound and complete axiom system for characterizing all the valid properties of beliefs and pro attitudes. We introduce for the first time the notion of linear neighborhood frame for obtaining the semantic model, and this brings a new member to the family of non-normal modal logics. Finally, we argue that the present logic satisfies an important requirement proposed from the viewpoint of computation, that is, computational grounding, which means that properties in this logic can be given an interpretation in terms of some concrete computational model. Indeed, the presented neighborhood frame can be naturally derived from probabilistic programming with utilities. Copyright © 2007, Association for the Advancement of Artificial Intelligence (***). All rights reserved.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Can graduating students design software systems

Can graduating students design software systems

引用

37th SIGCSE Technical Symposium on computer science Education

作者： Eckerdal, Anna McCartney, Robert Moström, Jan Erik Ratcliffe, Mark Zander, Carol Department of Information Technology Uppsala University Uppsala Sweden Department of Computer Science and Engineering University of Connecticut Storrs CT 06269 United States Department of Computing Science Umeå University 901 87 Umeå Sweden Department of Computer Science University of Wales Aberystwyth United Kingdom Computing and Software Systems University of Washington Bothell Bothell WA United States

This paper examines software designs produced by students nearing completion of their computer science degrees. The results of this multi-national, multi institutional experiment present some interesting implications ... 详细信息

ISBN: (纸本)9781595932594

关键词： systems analysis

来源：评论

学校读者我要写书评

暂无评论

Mobile game development: Object-orientation or not

Mobile game development: Object-orientation or not

引用

31st Annual International computer software and Applications Conference, COMPSAC 2007

作者： Zhang, Weishan Han, Dong Kunz, Thomas Hansen, Klaus Marius School of Software Engineering Tongji University No. 1239 Siping Road Shanghai 200092 China Department of Computer Science Anhui Vocational College of Electronics and IT Anhui 233030 China Department of Systems and Computer Engineering Carleton University Ottawa K1S 5B6 Canada Computer Science Department University of Aarhus Aabogade 34 8200 Aarhus N Denmark

ISBN: (纸本)9780769528700

Mobile games are one of the primary entertainment applications at present. Limited by scarce resources, such as memory, CPU, input and output, etc, mobile game development is more difficult than desktop application development, with performance as one of the top critical requirements. As object-oriented technology is the prevalent programming paradigm, most of the current mobile games are developed with object-orientation (OO) technologies. Intuitively OO is not a perfect paradigm for embedded software. Questions remain such as how OO and to what degree OO will affect the performance, executable file size, and how optimization strategies can improve the qualities of mobile game software. These questions are investigated in this paper within the mobile Role-Playing-Game (RPG) domain using five industrial mobile games developed with OO. We analyzed them and found excessive usage of OO features used for the development of mobile device applications (but normal for usual desktop applications). We then apply some optimization strategies along the way of structural programming. The experiment shows that the total jar file size of these five optimized games decreases 71%, the lines of codes decreases 59%, and the loading time of each optimized game decreases 22.73%, 34.62%, 25.79%, 24.65% and 16.70% respectively. Therefore, we conclude from our experiments that OO should be used with great care in the development of mobile games, and that structural programming can be a very competitive alternative. © 2007 IEEE.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

From Limen to Lumen: Computing students in liminal spaces 07

From Limen to Lumen: Computing students in liminal spaces

引用

3rd International Computing Education Research Workshop, ICER'07

作者： Eckerdal, Anna McCartney, Robert Moström, Jan Erik Sanders, Kate Thomas, Lynda Zander, Carol Department of Information Technology Uppsala University Uppsala Sweden Department of Computer Science and Engineering University of Connecticut Storrs CT United States Department of Computing Science Umeå University 901 87 Umeå Sweden Mathematics and Computer Science Department Rhode Island College Providence RI United States Department of Computer Science University of Wales Aberystwyth Wales Computing and Software Systems University of Washington Bothell Bothell WA United States

ISBN: (纸本)9781595938411

This paper is part of an ongoing series of projects in which we are investigating "threshold concepts": concepts that, among other things, transforms the way a student looks as the discipline and are often troublesome to learn. The word "threshold" might imply that students cross the threshold in a single "aha" moment, but often they seem to take longer. Meyer and Land introduce the term "liminal space" for the transitional period between beginning to learn a concept and fully mastering it. Based on in-depth interviews with graduating seniors, we found that the liminal space can provide a useful metaphor for the concept learning process. In addition to observing the standard features of liminal spaces, we have identified some that may be specific to computing, specifically those relating to levels of abstraction. Copyright 2007 ACM.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

Testing Intrusion Detection systems in MANET: A Comprehensive Study

Testing Intrusion Detection Systems in MANET: A Comprehensiv...

引用

Annual Conference on Communication Networks and Services Research (CNSR)

作者： Hadi Otrok Joey Paquet Mourad Debbabi Prabir Bhattacharya Concordia Institute for Information Systems Engineering Department Computer Security Laboratory Computer Science and Software Engineering Department Concordia University Montreal QUE Canada

In this paper, we study the problem of testing intrusion detection systems (IDS) in mobile ad hoc networks (MANET). Testing is achieved by simulating different measurements. We modify the testing measurements of infrastructure-based networks to be compatible with the characteristics of MANET. Moreover, we add some new features and their associated measurements that we believe important for testing new proposed IDS. The modified measurements with the new added ones form a set of measurements that will be used throughout the testing process. To the best of our knowledge, there has not been any work done for testing IDS in MANET. Simulators are the most common tools used for testing the IDS. Therefore, we add some precautions for choosing a simulator and a list of available simulators. The precautions will help researchers to test the measurements efficiently and the list of simulators will guide them to select one according to their needs. Finally, we present some input parameter precautions that help on having more trustworthy testing results.

关键词： System testing Intrusion detection Mobile ad hoc networks Wireless sensor networks Ad hoc networks software testing Computational modeling Personal digital assistants Wireless networks Monitoring

来源：评论

学校读者我要写书评

暂无评论

On discrete event diagnosis methods for continuous systems

On discrete event diagnosis methods for continuous systems

引用

Mediterranean Conference on Control and Automation (MED)

作者： Matthew Daigle Xenofon Koutsoukos Gautam Biswas Institute for Software Integrated Systems Department of Electrical Engineering and Computer Science Vanderbilt University Nashville TN USA

Fault detection and isolation is a key component of any safety-critical system. Although diagnosis methods based on discrete event systems have been recognized as a promising framework, they cannot be easily applied to systems with complex continuous dynamics. This paper presents a novel approach for discrete event system diagnosis of continuous systems based on a qualitative abstraction of the measurement deviations from the nominal behavior. We systematically derive a diagnosis model, provide diagnosability analysis, and design a diagnoser. Our results show that the proposed approach is easily applicable and can be used for online diagnosis of abrupt faults in continuous systems.

关键词： Continuous time systems Circuit faults Fault diagnosis Discrete event systems Fault detection Computational efficiency Quantization State-space methods Nonlinear dynamical systems software safety

来源：评论

学校读者我要写书评

暂无评论

Integrated Risk Analysis for a Commercial Computing Service

Integrated Risk Analysis for a Commercial Computing Service

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： Chee Shin Yeo Rajkumar Buyya Grid Computing and Distributed Systems Laboratory Department of Computer Science and Software Engineering University of Melbourne VIC Australia

Utility computing has been anticipated to be the next generation of computing usage. Users have the freedom to easily switch to any commercial computing service to complete jobs whenever the need arises and simply pay only on usage, without any investment costs. A commercial computing service however has certain objectives or goals that it aims to achieve. In this paper, we identify three essential objectives for a commercial computing service: (i) meet SLA, (ii) maintain reliability, and (iii) earn profit. This leads to the problem of whether a resource management policy implemented in the commercial computing service is able to meet the required objectives or not. So, we also develop two evaluation methods that are simple and intuitive: (i) separate and (ii) integrated risk analysis to analyze the effectiveness of resource management policies in achieving the required objectives. Evaluation results based on five policies successfully demonstrate the applicability of separate and integrated risk analysis to assess policies in terms of the required objectives.

关键词： Risk analysis Resource management Grid computing Distributed computing Switches Maintenance Investments Laboratories computer science software engineering

来源：评论

学校读者我要写书评

暂无评论

Aneka: Next-Generation Enterprise Grid Platform for e-science and e-Business Applications

Aneka: Next-Generation Enterprise Grid Platform for e-Scienc...

引用

IEEE International Conference on e-science and Grid Computing

作者： Xingchen Chu Krishna Nadiminti Chao Jin Srikumar Venugopal Rajkumar Buyya Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

In this paper, we present the design of Aneka, a .NET based service-oriented platform for desktop grid computing that provides: (i) a configurable service container hosting pluggable services for discovering, scheduling and balancing various types of workloads and (ii) a flexible and extensible framework/API supporting various programming models including threading, batch processing, MPI and dataflow. Users and developers can easily use different programming models and the services provided by the container to run their applications over desktop Grids managed by Aneka. We present the implementation of both the essential and advanced services within the platform. We evaluate the system with applications using the grid task and dataflow models on top of the infrastructure and conclude with some future directions of the current system.

关键词： Grid computing Object oriented modeling Containers Personal communication networks Application software Processor scheduling Data security Peer to peer computing Authentication Resource management

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：