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

2nd International Conference on Information Science and engineering, ICISE2010

作者： Sim, K.Y. Low, C.S. Kuo, F.-C. School of Engineering Computing and Science Sarawak Campus Swinburne University of Technology 93350 Kuching Malaysia Nextwave Solution 40460 Shah Alam Malaysia Centre for Software Analysis and Testing Swinburne University of Technology VIC 3122 Australia

ISBN: (纸本)9781424480968

Many financial trading and charting software packages provide users with technical indicators to analyze and predict price movements in financial markets. Any computation fault in technical indicator may lead to wrong trading decisions and cause substantial financial losses. Testing is a major software engineering activity to detect computation faults in software. However, there are two problems in testing technical indicators in these software packages. Firstly, the indicator values are updated with real-time market data that cannot be generated arbitrarily. Secondly, technical indicators are computed based on a large amount of market data. Thus, it is extremely difficult, if not impossible, to derive the expected indicator values to check the correctness of the computed indicator values. In this paper, we address the above problems by proposing a new testing technique to detect faults in computation of technical indicators. We show that the proposed technique is effective in detecting computation faults in faulty technical indicators on the MetaTrader 4 Client Terminal. © 2010 IEEE.

关键词： Financial markets

来源：评论

学校读者我要写书评

暂无评论

Steering dynamic collaborations between business processes

Steering dynamic collaborations between business processes

引用

作者： Zhao, Xiaohui Liu, Chengfei Information Systems Group Department of Industrial Engineering and Innovation Sciences Eindhoven University of Technology 5600 Eindhoven Netherlands Centre for Complex Software Systems and Services Faculty of Information and Communication Technologies Swinburne University of Technology Melbourne VIC 3122 Australia

Under the background of business globalization nowadays, many organizations are connecting their business processes into complex collaborative business processes to facilitate business collaboration. To adapt to the changing requirements and market opportunities, collaborative business processes have to evolve all the time. Such dynamics brings challenges to the modeling and tracking of collaborative business processes. In addition, these issues can be further complicated by the requirements of privacy protection and information openness in the interorganizational context. Aiming to tackle these problems, this paper proposes a comprehensive framework to model and track dynamic collaborative business processes with our extended relative workflow model. This framework helps each participating organization derive its collaborative business processes and update the processes at run time. A process visibility control mechanism is developed to enforce such derivation and extend organizations' process perception via process visibility transitivity. The whole framework is formalized with matrices and is theoretically proven to be privacy safe. Corresponding algorithms are developed for generating and tracking collaborative business processes. A prototype is also implemented for the proof-of-concept purpose. © 2010 IEEE.

关键词： Process control

来源：评论

学校读者我要写书评

暂无评论

Detecting faults in technical indicator computations for financial market analysis

Detecting faults in technical indicator computations for fin...

引用

International Conference on Information Science and engineering (ICISE)

作者： K. Y. Sim C. S. Low F.-C. Kuo School of Engineering Computing and Science Swinburne University of Technology Kuching Malaysia Nextwave Solution Shah Alam Malaysia Centre of Software Analysis and Testing Swinburne University of Technology VIC Australia

关键词： Indexes Real time systems Exchange rates software packages Built-in self-test

来源：评论

学校读者我要写书评

暂无评论

Tool support for essential use cases to better capture software requirements

Tool support for essential use cases to better capture softw...

引用

25th IEEE/ACM International Conference on Automated software engineering, ASE'10

作者： Kamalrudin, Massila Grundy, John Hosking, John Department of Electrical and Computer Engineering University of Auckland Private Bag 92019 Auckland New Zealand Centre for Complex Software Systems and Services Swinburne University of Technology PO Box 218 Hawthorn VIC 3122 Australia Department of Computer Science University of Auckland Private Bag 92019 Auckland New Zealand

ISBN: (纸本)9781450301169

Capturing software requirements from clients often leads to error prone and vague requirements documents. To surmount this issue, requirements engineers often choose to use UML models to capture their requirements. In this paper we discuss the use of Essential Use Cases (EUCs) as an alternative, user-centric representation which was developed to ease the process of capturing and describing requirements. However, EUCs are not commonly used in practice because, to our knowledge, no suitable tool support has been developed. In addition, requirements engineers face difficulties in finding the correct "essential" requirements (abstract interactions) in a time efficient manner. In order to overcome these problems, we have developed a prototype tool for automated tracing of abstract interactions. We describe the tool and compare the performance and correctness of the results provided by it to that of manual essential use case extraction efforts by a group of requirements engineers. The results of an end user study of the tool's usefulness and ease of use are also discussed. © 2010 ACM.

关键词： Extraction

来源：评论

学校读者我要写书评

暂无评论

Managing consistency between textual requirements, abstract interactions and essential use cases

Managing consistency between textual requirements, abstract ...

引用

34th Annual IEEE International Computer software and Applications Conference, COMPSAC 2010

作者： Kamalrudin, Massila Grundy, John Hosking, John Electrical and Computer Engineering University of Auckland Private bag 92019 Auckland 1142 New Zealand Swinburne University of Technology Centre for Complex Software Systems and Services PO Box 218 Hawthorn VIC 3122 Australia Dept of Computer Science University of Auckland Private bag 92019 Auckland 1142 New Zealand

ISBN: (纸本)9780769540856

Consistency checking needs to be done from the earliest phase of requirements capture as requirements captured by requirement engineers are often vague, error-prone and inconsistent with users' needs. To improve such consistency checking we have applied a traceability approach with visualization capability. We have embedded this into a light-weight automated tracing tool in order to allow users to capture their requirements and generate Essential Use Case models of these requirements automatically. Our tool supports inconsistency checking between textual requirements, abstract interactions that derive from the text and Essential Use Case models. A preliminary evaluation has been conducted with target end users and the tool usefulness and ease of use are evaluated. We describe our motivation for this research, our prototype tool and results of our evaluation. © 2010 Crown Copyright.

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

MaramaAI: Automated and visual approach for Inconsistency checking of requirements

MaramaAI: Automated and visual approach for Inconsistency ch...

引用

2010 18th IEEE International Requirements engineering Conference, RE2010

作者： Kamalrudin, Massila Hosking, John Grundy, John Department of Electrical and Computer Engineering University of Auckland Private Bag 92019 Auckland 1142 New Zealand Dept of Computer Science University of Auckland Private bag 92019 Auckland 1142 New Zealand Swinburne University of Technology Centre for Complex Software Systems and Services PO Box 218 Hawthorn VIC 3122 Australia

ISBN: (纸本)9780769541624

Requirements are commonly vague and ambiguous. In this paper, we describe an automated Inconsistency Checker called MaramaAI for checking for high- level inconsistency between textual requirements, abstract interactions and Essential Use Cases. We use concepts of phrase extraction and essential interaction patterns to carry out these checks. We provide further support for checking of requirements quality attributes such as completeness and correctness using visual differencing. © 2010 Crown Copyright.

关键词： MaramaAI abstract interaction automated inconsistency checker data integrity essential interaction pattern essential interaction pattern formal specification formal verification high-level inconsistency higher level inconsistency phrase extraction requirement quality attribute systems analysis text analysis textual requirement visual differencing visual differencing

来源：评论

学校读者我要写书评

暂无评论

Adaptive Clutter-Aware Visualization for Mobile Data Stream Mining

Adaptive Clutter-Aware Visualization for Mobile Data Stream ...

引用

International Conference on Tools for Artificial Intelligence (ICTAI)

作者： Mohamed Medhat Gaber Shonali Krishnaswamy Brett Gillick Nicholas Nicoloudis Jonathan Liono Hasnain AlTaiar Arkady Zaslavsky School of Computing University of Portsmouth UK Centre for Distributed Systems and Software Engineering Monash University VIC Australia Lulea University of Technology Lulea Sweden

There is an emerging focus on real-time data stream analysis on mobile devices. A wide range of data stream processing applications are targeted to run on mobile handheld devices with limited computational capabilities such as patient monitoring, driver monitoring, providing real-time analysis and visualization for emergency and disaster management, real-time optimization for courier pick-up and delivery etc. There are many challenges in visualization of the analysis/data stream mining results on a mobile device. These include coping with the small screen real-estate and effective presentation of highly dynamic and real-time analysis. This paper proposes a generic theory for visualization on small screens that we term Adaptive Clutter Reduction ACR. Based on ACR, we have developed and experimentally validated a novel data stream clustering result visualization technique that we term Clutter-Aware Clustering Visualizer (CACV). Experimental results on both synthetic and real datasets using the Google Andriod platform are presented proving the effectiveness of the proposed techniques.

关键词： Data visualization Clutter Data mining Mobile communication Mobile handsets Real time systems Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

MaramaAI: Automated and Visual Approach for Inconsistency Checking of Requirements

MaramaAI: Automated and Visual Approach for Inconsistency Ch...

引用

IEEE International Conference on Requirements engineering

作者： Massila Kamalrudin John Hosking John Grundy Department of Electrical & Computer Engineering University of Auckland Auckland New Zealand Department of Computer Science University of Auckland Auckland New Zealand Systems & Services Centre of Complex Software Swinburne University of Technology Hawthorn VIC Australia

Requirements are commonly vague and ambiguous. In this paper, we describe an automated Inconsistency Checker called MaramaAI for checking for high-level inconsistency between textual requirements, abstract interactions and Essential Use Cases. We use concepts of phrase extraction and essential interaction patterns to carry out these checks. We provide further support for checking of requirements quality attributes such as completeness and correctness using visual differencing.

关键词： Visualization Natural languages Libraries Unified modeling language software engineering Conferences software

来源：评论

学校读者我要写书评

暂无评论

Quantum State Reduction for Universal Measurement Based Computation

引用

Physical Review Letters 2010年第2期105卷 020502-020502页

作者： Xie Chen Runyao Duan Zhengfeng Ji Bei Zeng Department of Physics Massachusetts Institute of Technology Cambridge Massachusetts USA Centre for Quantum Computation and Intelligent Systems (QCIS) Faculty of Engineering and Information Technology University of Technology Sydney NSW Australia Department of Computer Science and Technology Tsinghua National Laboratory for Information Science and Technology Tsinghua University Beijing China Perimeter Institute for Theoretical Physics Waterloo Ontario Canada State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China Institute for Quantum Computing University of Waterloo Waterloo Ontario Canada Department of Combinatorics and Optimization University of Waterloo Waterloo Ontario Canada

Measurement based quantum computation, which requires only single particle measurements on a universal resource state to achieve the full power of quantum computing, has been recognized as one of the most promising models for the physical realization of quantum computers. Despite considerable progress in the past decade, it remains a great challenge to search for new universal resource states with naturally occurring Hamiltonians and to better understand the entanglement structure of these kinds of states. Here we show that most of the resource states currently known can be reduced to the cluster state, the first known universal resource state, via adaptive local measurements at a constant cost. This new quantum state reduction scheme provides simpler proofs of universality of resource states and opens up plenty of space to the search of new resource states.

关键词： Quantum computers

来源：评论

学校读者我要写书评

暂无评论

Multi-error-correcting amplitude damping codes

Multi-error-correcting amplitude damping codes

引用

IEEE International Symposium on Information Theory

作者： Runyao Duan Markus Grassl Zhengfeng Ji Bei Zeng State Key Laboratory of Intelligent Technology and Systems Tsinghua National Laboratory for Information Science and Technology Department of Computer Science and Technology Tsinghua University Beijing China Centre for Quantum Computation and Intelligent Systems (QCIS) Faculty of Engineering and Information Technology University of Technology Sydney NSW Australia Centre for Quantum Technologies National University of Singapore Singapore Perimeter Institute of Theoretical Physics Waterloo ONT Canada State Key Laboratory of Computer Science Institute of Software Chinese Academy and Sciences Beijing China Institute for Quantum Computing and the Department of Combinatorics and Optimization University of Waterloo Waterloo ONT Canada

ISBN: (纸本)9781424478903

We construct new families of multi-error-correcting quantum codes for the amplitude damping channel. Our key observation is that, with proper encoding, two uses of the amplitude damping channel simulate a quantum erasure channel. This allows us to use concatenated codes with quantum erasure-correcting codes as outer codes for correcting multiple amplitude damping errors. Our new codes are degenerate stabilizer codes and have parameters which are better than the amplitude damping codes obtained by any previously known construction.

关键词： Damping Quantum mechanics Quantum computing Error correction codes Noise level Laboratories Phase noise Physics computing Intelligent systems Computer science

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：