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

Information Security for South Africa (ISSA)

作者： Hein Venter Marianne Loock Marijke Coetzee Department of Computer Science University of Pretoria South Africa School of Computing University of South Africa South Africa Academy for Computer Science and Software Engineering University of Johannesburg South Africa

ISSA2012 is the annual conference for the information security community that continues on the successful recipe established in *** are pleased to announce, however, that from 2010, ISSA is co-sponsored by the IEEE Systems, Man and Cybernetics Society (SMCS) Chapter, a chapter of the IEEE South Africa Section. The upcoming conference is held under the auspices of the University of Johannesburg Academy for Computer science and software engineering, the University of South Africa School of computing and the University of Pretoria School of Information Technology.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Unifying software and product configuration: A research roadmap

Unifying software and product configuration: A research road...

引用

Workshop on Configuration at ECAI, ConfWS 2012

作者： Hubaux, Arnaud Jannach, Dietmar Drescher, Conrad Murta, Leonardo Männistö, Tomi Czarnecki, Krzysztof Heymans, Patrick Nguyen, Tien Zanker, Markus PReCISE Research Center University of Namur Belgium Department of Computer Science TU Dortmund Germany Computing Laboratory University of Oxford United Kingdom Fluminense Federal University Niterói Brazil Aalto University School of Science Finland Generative Software Development Lab University of Waterloo Canada Electrical and Computer Engineering Department Iowa State University United States Alpen-Adria-Universität Klagenfurt Austria

For more than 30 years, knowledge-based product configuration systems have been successfully applied in many industrial domains. Correspondingly, a large number of advanced techniques and algorithms have been developed in academia and industry to support different aspects of configuration reasoning. While traditional research in the field focused on the configuration of physical artefacts, recognition of the business value of customizable software products led to the emergence of software product line engineering. Despite the significant overlap in research interests, the two fields mainly evolved in isolation. Only limited attempts were made at combining the approaches developed in the different fields. In this paper, we first aim to give an overview of commonalities and differences between software product line engineering and product configuration. We then identify opportunities for cross-fertilization between these fields and finally develop a research agenda to combine their respective techniques. Ultimately, this should lead to a unified configuration approach.

关键词： Knowledge based systems

来源：评论

学校读者我要写书评

暂无评论

Causes of requirement change - A systematic literature review

Causes of requirement change - A systematic literature revie...

引用

16th International Conference on Evaluation & Assessment in software engineering (EASE 2012)

作者： Muneera Bano Salma Imtiaz Naveed Ikram Mahmood Niazi Muhammad Usman Department of Computer Science and Software Engineering International Islamic University Pakistan Faculty of Computing Riphah International University Pakistan Department of Information and Computer Science King Fahd University of Petroleum and Minerals Saudi Arabia School of Computing and Mathematics Keele University Keele UK

ISBN: (纸本)9781622762538

Context: Research shows that one of the main reasons of project failure is changing requirements. The success or failure of software projects largely depends upon how we respond to changing requirements. The knowledge about the causes of requirements change can improve our ability to make better decisions and manage changing requirements effectively. Objective: In this paper we present findings from an empirical study that was aimed at identifying the causes of requirement change and the frequency of these causes in different software development phases. Methods: We performed a systematic literature review and went through all the stages required by the process. Although our search strings yielded a large amount of papers but after careful filtration we were left with only five papers (six studies) which reported empirical knowledge about the causes of requirement change. Results: We have identified different causes and their frequency in software development phases. We have classified the extracted causes of requirements change into two major types i.e., essential and accidental causes. Conclusions: It is surprising to find little empirical evidence on the causes of requirements change as requirements change has been widely quoted as one of the major challenges faced by requirements engineers. With this small number of evidences, it is hard to generalize the research results. There is a need for further empirical research to identify and fully understand the causes of requirement change.

关键词： Requirements engineering Causes Requirements change Systematic literature review Literature Review computer software software design paper empirical approach Outcomes Research

来源：评论

学校读者我要写书评

暂无评论

Visualizing traceability links between source code and documentation

Visualizing traceability links between source code and docum...

引用

IEEE Symposium on Visual Languages and Human Centric computing (VL/HCC)

作者： Xiaofan Chen John Hosking John Grundy Department of Computer Science University of Auckland Auckland New Zealand College of Engineering & Computer Science Australian National University Canberra Australia Centre for Computing & Engineering Software Systems Swinburne University of Technology Melbourne Australia

It is well recognized that visualizing traceability links between software artifacts helps developers to recover, browse, and maintain these inter-relationships effectively and efficiently. However, it is a major challenge for researchers to efficiently visualize traceability links for big software systems because of scalability and visual clutter issues. In this paper we present a new approach that combines treemap and hierarchical tree visualization techniques to provide a global structure of traces and a detailed overview of each trace. These both reduce visual clutter while still being highly scalable and interactive. Our usability study shows that our approach can support comprehension, browsing, and maintenance of traceability links.

关键词： Visualization Color Clutter Data visualization software systems Layout

来源：评论

学校读者我要写书评

暂无评论

Conservation laws and self-consistent sources for a super integrable equation hierarchy

引用

Communications in Nonlinear science and Numerical Simulation 2012年第6期17卷 2292-2298页

作者： Yun-Hu Wang Yong Chen Software Engineering Institute of East China Normal University Shanghai Key Laboratory of Trustworthy Computing Shanghai 200062 PR China Nonlinear Science Center and Department of Mathematics Ningbo University Ningbo 315211 PR China

In this paper, a super integrable equation hierarchy is considered based on a Lie superalgebra and supertrace identity. Then, a super integrable equation hierarchy with self-consistent sources is established. Furthermore, we introduce two variables F and G to construct conservation laws of the super integrable equation hierarchy and the first two conserved densities and fluxes are listed. It would be specially mentioned that the Fermi variables play an important role in super integrable systems which is different from the ordinary integrable systems.

关键词： Fermi variables Conservation law Self-consistent sources Supertrace identity

来源：评论

学校读者我要写书评

暂无评论

High Availability through Output Continuity

High Availability through Output Continuity

引用

IEEE International Conference on Cluster computing Workshops and Posters (CLUSTER WORKSHOPS)

作者： Wei Ye Yaozu Dong Ruhui Ma Alei Liang Haibing Guan Shanghai Key Laboratory of Scalable Computing and Systems Department of Computer Science and Engineering Shanghai Jiaotong University Shanghai China Intel China Software Center Shanghai China

Virtual machine (VM) based state machine approaches, i.e. VM replication, provide high availability without source code modifications, unfortunately, existing VM replication approaches suffer from excessive replication overheads. On the other hand, machine state replication is an overly strong (and therefore less efficient) requirement for high availability in the networked client-server system. In this paper, we propose a generic and highly efficient high availability solution through output continuity. Output continuity considers a backup server as a valid replica as long as the responses generated so far are the same between the backup and primary servers, the server state is propagated from the primary server to the backup server if and only if the previous outputs from the backup and primary servers are different.

关键词： Servers Availability Mathematical model Semantics Equations Hardware

来源：评论

学校读者我要写书评

暂无评论

Practical privacy for value-added applications in vehicular ad hoc networks 5th

引用

5th International Conference on Internet and Distributed computing Systems, IDCS 2012

作者： Zhang, Lei Wu, Qianhong Qin, Bo Domingo-Ferrer, Josep Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal University Shanghai China UNESCO Chair in Data Privacy Dept. of Comp. Eng. and Maths Universitat Rovira i Virgili TarragonaCatalonia Spain Key Lab. of Aerospace Information Security and Trusted Computing Ministry of Education Wuhan University School of Computer China Department of Maths School of Science Xi’an University of Technology China

ISBN: (纸本)9783642348822

Advances in mobile networking and information processing technologies have triggered vehicular ad hoc networks (VANETs) for traffic safety and value-added applications. Most efforts have been made to address the security concerns while little work has been done to investigate security and privacy for value-added applications in VANETs. To fill this gap, we propose a value-added application, specifically, a security and privacy preserving location-based service (LBS) scheme for VANETs. For each LBS transaction, the scheme provides authentication, integrity and non-repudiation for both the service provider and the user. A user can obtain the service in an anonymous way and hence user privacy is well protected. However, a tracing procedure can be invoked to find malicious users, thereby efficiently preventing users from abusing the anonymity provided by the system. © Springer-Verlag Berlin Heidelberg 2012.

关键词： Location based services

来源：评论

学校读者我要写书评

暂无评论

Multi-document extractive summarization using event semantic relation graph clustering

引用

International Journal of Advancements in computing Technology 2012年第22期4卷 721-730页

作者： Liu, Maofu Hu, Huijun Li, Wenjie College of Computer Science and Technology Wuhan University of Science and Technology Wuhan 430065 China State Key Lab of Software Engineering Wuhan University Wuhan 430072 China Department of Computing Hong Kong Polytechnic University Hong Kong Hong Kong

Multi-document summarization aims to extract information from the original multiple unstructured text documents or other types of multimedia about the same topic and this paper will focus on eventbased multi-document summarization. Event-based extractive summarization attempts to extract sentences and re-organize them in a summary according to the important events that the sentences describe. Events are defined by the event terms and the associated entities at the sentence level. In this paper, we emphasize on the event semantic relations derived from external linguistic resource. Firstly, the graph based on the event semantic relations is constructed and the events in the graph are grouped into clusters using the revised DBSCAN clustering algorithm. Then, we select one event as the representative event for each cluster or one cluster to present the main topic of the documents. Lastly, we generate the summary by extracting the sentences which contain more informative representative events from the documents. The evaluation on the DUC 2001 document sets shows it is necessary to take the semantic relations among the events into consideration and our summarization approach based on event semantic relation graph clustering is effective.

关键词： Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

XML based workflow definition language design

XML based workflow definition language design

引用

IEEE International Conference on software engineering and Service sciences (ICSESS)

作者： Yun Feng Yu Xiang Zhou Key Laboratory of Software Engineering of Yunnan Province Department of Computer Science Zunyi Normal College 563002 China Department of Computing Imperial College London SW7 2AZ UK

Workflow is a technology which software system uses highly frequent. A good workflow system can replace the traditional manual way document circulation and greatly simplify office process. It has become an indispensable constituent part of the business or government software. For the convenience of workflow converting to code, workflow process definition language is designed combined with web technology XML.

关键词： XML Shape Receivers

来源：评论

学校读者我要写书评

暂无评论

Scaling Laws of Multicast Capacity for Power-Constrained Wireless Networks under Gaussian Channel Model

引用

IEEE Transactions on Computers 2012年第5期61卷 713-725页

作者： Cheng Wang Changjun Jiang Xiang-Yang Li Shaojie Tang Yuan He Xufei Mao Yunhao Liu Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai China Department of Computer Science and Engineering Building of Electronics and Information Engineering University of Tongji Shanghai China Department of Computer Science Illinois Institute of Technology Chicago IL USA Tsinghua National Laboratory for Information Science and Technology (TNLIST) Tsinghua University Beijing China Department of Computer Science and Engineering University of Tongji China Department of Computer Science Hong Kong University of Science and Technology Kowloon Hong Kong China Tsinghua National Laboratory for Information Science and Technology (TNLIST) School of Software Tsinghua University Beijing China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia Beijing University of Posts and Telecommunications Beijing China

We study the asymptotic networking-theoretic multicast capacity bounds for random extended networks (REN) under Gaussian channel model, in which all wireless nodes are individually power-constrained. During the transmission, the power decays along path with attenuation exponent α >; 2. In REN, n nodes are randomly distributed in the square region of side length √n. There are n s randomly and independently chosen multicast sessions. Each multicast session has n d + 1 randomly chosen terminals, including one source and n d destinations. By effectively combining two types of routing and scheduling strategies, we analyze the asymptotic achievable throughput for all n s = ω(1) and nd. As a special case of our results, we show that for n s = Θ(n), the per-session multicast capacity for REN is of order Θ(1/√n d n) when nd = O(n/(log n) a+1 ) and is of order Θ(1/n d · (log n) -n/2 ) when n d = Ω(n/log n).

关键词： Lattices Throughput Upper bound Road transportation Receivers Interference Routing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：