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

Workshop on Architecting Dependable systems, WADS 2006

作者： Graydon, Patrick J. Knight, John C. Strunk, Elisabeth A. Department of Computer Science University of Virginia 151 Engineer's Way Charlottesville VA 22904-4740 United States Software Systems Engineering Dept. Aerospace Corporation 15049 Conference Center Drive CH3/320 Chantilly VA 20151-3824 United States

ISBN: (纸本)9783540740339

Assurance Based Development (ABD) is an approach to the construction of critical computing systems in which the system and an argument that it meets its assurance goals are developed simultaneously. ABD touches all aspects of the system lifecycle, but in this paper we focus on how the evolving assurance argument can guide architectural choices to increase system dependability. The goals with this approach to architectural choice are twofold. The first is to develop the architecture so that it provides the required evidence. The second is to refine the assurance case as architectural choices are made so that the evidence that will be provided supports the assurance claims. Combining development and assurance in this way facilitates detection-and thereby avoidance-of potential assurance difficulties as they arise, rather than after development is complete. © Springer-Verlag Berlin Heidelberg 2007.

关键词： computer architecture

来源：评论

学校读者我要写书评

暂无评论

Fault-Adaptive Control for Robust Performance Management of Computing systems

Fault-Adaptive Control for Robust Performance Management of ...

引用

International Conference on Autonomic Computing (ICAC)

作者： Sherif Abdelwahed Nagarajan Kandasamy Institute for Software Integrated Systems Vanderbilt University Nashville TN USA Electrical and Computer Engineering Department Drexel University Philadelphia PA USA

This paper introduces a fault-adaptive control approach for the robust and reliable performance management of computing systems. Fault adaptation involves the detection and isolation of faults, and then taking appropr... 详细信息

关键词： Control systems Robust control Power system management Fault diagnosis Resource management Automatic control Adaptive control Quality of service Energy management Maintenance

来源：评论

学校读者我要写书评

暂无评论

software documents: Comparison and measurement

Software documents: Comparison and measurement

引用

19th International Conference on software engineering and Knowledge engineering, SEKE 2007

作者： Arbuckle, Tom Balaban, Adam Peters, Dennis K. Lawford, Mark Department of Computer Science and Information Systems CSIS Building University of Limerick Plassey Park Limerick Ireland Institute of Informatics Warsaw University Banacha 2 02-097 Warsaw Poland Electrical and Computer Engineering Faculty of Engineering and Applied Science Memorial University of Newfoundland St. John's NL A1B 3X5 Canada Department of Computing and Software Faculty of Engineering McMaster University Hamilton ON L8S 4K1 Canada

ISBN: (纸本)9781627486613

For some time now, researchers have been seeking to place software measurement on a more firmly grounded footing by establishing a theoretical basis for software comparison. Although there has been some work on trying to employ information theoretic concepts for the quantification of code documents, particularly on employing entropy and entropy-like measurements, we propose that employing the Similarity Metric of Li, Vit´anyi, and coworkers for the comparison of software documents will lead to the establishment of a theoretically justifiable means of comparing and evaluating software artifacts. In this paper, we review previous work on software measurement with a particular emphasis on information theoretic aspects, we examine the body of work on Kolmogorov complexity (upon which the Similarity Metric is based), and we report on some experiments that lend credence to our proposals. Finally, we discuss the potential advantages derived from the application of this theory to areas in the of software engineering. Copyright © (2007) by Knowledge systems Institute (KSI).

关键词： Entropy

来源：评论

学校读者我要写书评

暂无评论

software Visualization - A Process Perspective

Software Visualization - A Process Perspective

引用

IEEE International Workshop on Visualizing software for Understanding and Analysis (VISSOFT)

作者： Juergen Rilling Wen Jun Meng Fuzhi Chen Philippe Charland Department of Computer Science and Software Engineering Concordia University Montreal Canada System of Systems Section Defence Research and Development Canada Val-Belair Canada

software visualization is one of the enabling techniques to provide support during software maintenance activities. software maintenance is a multidimensional problem domain which involves the integration, abstraction and analysis of different knowledge resources and artifacts. Maintainers are typically left with no guidance on how these existing artifacts, tools and knowledge should be utilized to complete a particular task. In this research, we present a novel visualization approach that integrates these artifacts in the software maintenance process chain.

关键词： software maintenance Context modeling Data visualization software tools Ontologies Context awareness Knowledge representation computer science software engineering Research and development

来源：评论

学校读者我要写书评

暂无评论

i2MAP: an incremental and iterative modeling and analysis process 07

i2MAP: an incremental and iterative modeling and analysis pr...

引用

Proceedings of the 10th international conference on Model Driven engineering Languages and systems

作者： Sascha Konrad Heather J. Goldsby Betty H. C. Cheng Siemens Corporate Research Inc. Princeton NJ Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing Michigan

ISBN: (纸本)9783540752080

Detecting errors early within the development process for an embedded system assists a developer in avoiding excessive error correction costs and minimizing catastrophic losses resulting from failures in deployed systems. Towards that end, this paper presents i2MAP, an iterative and incremental goal-driven process for constructing an analysis-level UML model of an embedded system. The UML model is formally analyzed for adherence to the behavioral properties captured in a companion goal model. The process uses goal modeling to capture the requirements of the system, and uses UML to capture analysis-level structural and behavioral information. Both types of i2MAP models can be used to drive a rigorous approach to model-driven development of embedded systems. In this paper, we illustrate the i2MAP process and the accompanying tool suite in the development of an embedded system model for an adaptive light control system.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Editorial preface

引用

International Journal of Information Technology and Web engineering 2007年第2期2卷 i-iii页

作者： Alkhatib, Ghazi Rine, David Department of Software Engineering College of Computer Science and Information Technology Applied Science University Amman Jordan Department of Computer Science School of Information Technology and Engineering George Mason University Fairfax VA United States College of Information Systems Zayed University Dubai United Arab Emirates

No abstract available

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design of a distributed mixed reality system for construction simulation

Design of a distributed mixed reality system for constructio...

引用

2007 ASCE International Workshop on Computing in Civil engineering

作者： Wang, Hui Hammad, Amin Mudur, Sudhir P. Department of Computer Science and Software Engineering Concordia University 1455 De Maisonneuve Blvd. West Montreal QC H3G 1M8 Canada Concordia Institute for Information Systems Engineering Concordia University 1515 Ste-Catherine Street West Montreal QC H3G 2W1 Canada

ISBN: (纸本)0784409374

This paper describes the design of an outdoor Distributed Mixed Reality (DMR) system to support multi-user interaction of multi-users and virtual object manipulations in a construction simulation. The proposed DMR system is based on an interactive animation system of operating virtual cranes and extends previous work in a significant manner by considering engineering constraints. Our design integrates a Head-Mounted Display, a GPS receiver, a 3D motion sensor, and a portable computer to carry out a construction simulation which can be run in the outdoors. We describe and evaluate the system design challenges and possible solutions for simulating multi-user collaborative construction activities within the DMR environment. Several issues related to tracking and registration, modeling, user interaction, and mobile networking are discussed. The proposed system prototype is demonstrated using a case study which simulates the deck rehabilitation project of a bridge. Using this system, two users can collaborate to replace a section of the bridge deck by operating two virtual cranes and communicating with each other. © 2007 American Society of Civil Engineers.

关键词： Microcomputers

来源：评论

学校读者我要写书评

暂无评论

Efficient Algorithms for Mining Closed Multidimensional Sequential Patterns

Efficient Algorithms for Mining Closed Multidimensional Sequ...

引用

International Conference on Fuzzy systems and Knowledge Discovery (FSKD)

作者： Veera Boonjing Panida Songram Software Systems Engineering Laboratory Department of Mathematics and Computer Science Faculty of Science King Mongkut''s Institute of Technology Ladkrabang Bangkok Thailand Department of Computer Science Faculty of Informatics Mahasarakham University Mahasarakham Thailand

A combination of closed sequential pattern mining and closed itemset pattern mining was proposed to mine closed multidimensional sequential patterns. There are two ways for this combination; (1) mining closed itemset patterns from multidimensional information followed by mining closed sequential patterns from sequences associated with closed itemset patterns, and (2) mining closed sequential patterns from sequences followed by mining closed itemset patterns from multidimensional information associated with closed sequential patterns. In the first way the major cost is mining all sequences associated with closed itemset patterns. A similar problem occurs with the second way, the major cost is mining all multidimensional information associated with closed sequential patterns. Therefore, this paper proposes two new combinations that don't need to mine all sequences in the first combination, and all multidimensional information in the second combination. Both combinations can be effected by exploiting two concepts. In the first combination, any closed sequential patterns associated with a closed itemset patten I can be found from a set of closed sequential patterns associated with a closed itemset pattern I' if I sup I'. In the second combination, any closed itemset patterns associated with a closed sequential pattern s can be found from a set of closed sequential patterns associated with a closed itemset pattern s' if s sup s'.

关键词： Multidimensional systems Data mining Itemsets Costs computer science software algorithms software systems systems engineering and theory Laboratories Mathematics

来源：评论

学校读者我要写书评

暂无评论

Support Vector Machines applied to automated categorization of facial expressions

Support Vector Machines applied to automated categorization ...

引用

3rd Indian International Conference on Artificial Intelligence, IICAI 2007

作者： Md. Sohail, Abu Sayeed Bhattacharya, Prabir Department of Computer Science and Software Engineering Concordia University 1455 de Maisonneuve Blvd. West Montreal QC H3G 1M8 Canada Concordia Institute for Information Systems Engineering Concordia University 1515 St. Catherine West Montreal QC H3G 2W1 Canada

ISBN: (纸本)9780972741224

This paper describes a fully automated technique for detection and categorization of the seven basic facial expressions using Support Vector Machines (SVM). Facial expressions are communicated by subtle changes in one or more discrete features such as tightening the lips, raising the eyebrows, opening and closing of eyes or certain combinations of them, which can be identified through monitoring the changes in muscles movements (Action Units), located near about the regions of mouth, eyes and eyebrows. An analytic representation of face with fifteen feature points has been used that represent and identify the principle muscle actions as well as provide measurements of the discrete features responsible for each of the seven basic human emotions. Detection of these fifteen points of interest from the regions of eyes, eyebrows nose and mouth have been performed applying a standard image processing based multi-detector approach for facial feature point localization. The feature vector composed of fifteen features is then obtained by calculating the degree of displacement of five different pairs of points, and measuring the deviations of ten points from a non-changeable rigid point. Finally, obtained feature sets are used to train a SVM classifier so that it can categorize facial expressions when given to it in the form of a feature set. The developed automated facial expressions categorization system has been tested extensively on two publicly available facial expression databases and 91.30% and 84.07% of average successful categorization rate have been achieved. Copyright © 2007 IICAI.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

A SLA-Oriented Management of Containers for Hosting Stateful Web Services

A SLA-Oriented Management of Containers for Hosting Stateful...

引用

IEEE International Conference on e-Science and Grid Computing

作者： Christoph Reich Kris Bubendorfer Matthias Banholzer Rajkumar Buyya Department of Computer Science Hochschule Furtwangen University Germany School of Mathematics Statistics and Computer Science Victoria University of Wellington New Zealand Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

Service-oriented architectures provide integration of interoperability for independent and loosely coupled services. Web services and the associated new standards such as WSRF are frequently used to realise such service-oriented architectures. In such systems, autonomic principles of self-configuration, self-optimisation, self-healing and self- adapting are desirable to ease management and improve robustness. In this paper we focus on the extension of the self management and autonomic behaviour of a WSRF container connected by a structured P2P overlay network to monitor and rectify its QoS to satisfy its SIAs. The SLA plays an important role during two distinct phases in the life-cycle of a WSRF container. Firstly during service deployment when services are assigned to containers in such a way as to minimise the threat of SLA violations, and secondly during maintenance when violations are detected and services are migrated to other containers to preserve QoS. In addition, as the architecture has been designed and built using standardised modern technologies and with high levels of transparency, conventional Web services can be deployed with the addition of a SLA specification.

关键词： Containers Web services Service oriented architecture Quality of service computer science Monitoring Grid computing Conference management engineering management Mathematics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：