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

17th Annual International Conference on Computing and Combinatorics, COCOON 2011

作者： Matsumoto, Yusuke Kamiyama, Naoyuki Imai, Keiko IBM Software Group Japan Department of Information and System Engineering Chuo University Japan

ISBN: (纸本)9783642226847

We consider totally unimodularity for edge-edge adjacency matrices which represent a relationship between two edges in a graph. The matrices appear in integer programming formulations for the minimum maximal matching problem and the edge dominating set problem. We consider a problem of characterizing graphs having totally unimodular matrices as their edge-edge adjacency matrices, and give a necessary and sufficient condition for the characterization. The condition is the first characterization for edge-edge adjacency matrices. © Springer-Verlag Berlin Heidelberg 2011.

关键词： Matrix algebra

来源：评论

学校读者我要写书评

暂无评论

DETECTING CRITICAL LEAST ASSOCIATION RULES IN MEDICAL DATABASES

引用

International Journal of Modern Physics: Conference Series 2012年第9期ijmpcs卷 464-479页

作者： ZAILANI ABDULLAH TUTUT HERAWAN MUSTAFA MAT DERIS Department of Computer Science Universiti Malaysia Terengganu Mengabang Telipot Kuala Terengganu 21030 Terengganu Malaysia Database and Knowledge Management Research Group Faculty of Computer System and Software Engineering Universiti Malaysia Pahang Lebuhraya Tun Razak Gambang 26300 Kuantan Pahang Malaysia Faculty of Computer Science and Information Technology Universiti Tun Hussein Onn Malaysia Parit Raja 86400 Batu Pahat Johor Malaysia

Least association rules are corresponded to the rarity or irregularity relationship among itemset in database. Mining these rules is very difficult and rarely focused since it always involves with infrequent and exceptional cases. In certain medical data, detecting these rules is very critical and most valuable. However, mathematical formulation and evaluation of the new proposed measurement are not really impressive. Therefore, in this paper we applied our novel measurement called Critical Relative Support (CRS) to mine the critical least association rules from medical dataset. We also employed our scalable algorithm called Significant Least Pattern Growth algorithm (SLP-Growth) to mine the respective association rules. Experiment with two benchmarked medical datasets, Breast Cancer and Cardiac Single Proton Emission Computed Tomography (SPECT) Images proves that CRS can be used to detect to the pertinent rules and thus verify its scalability.

关键词： Critical least association rules medial data

来源：评论

学校读者我要写书评

暂无评论

Towards automatic reconfiguration of aviation software systems

Towards automatic reconfiguration of aviation software syste...

引用

35th Annual IEEE International Computer software and Applications Conference Workshops, COMPSACW 2011

作者： Burger, Stefan Hummel, Oliver Sensor and System Integration EADS Innovation Works Munich Germany Software Engineering Group University of Mannheim Germany

ISBN: (纸本)9780769544595

The development of embedded systems is currently experiencing a fundamental shift towards integrating more and more heterogeneous system building blocks into ever more complex composite systems. The aviation industry is especially hit by this development and suffers from a number of additional challenges such as long system life-times that are often significantly longer than those of individual microprocessors and other embedded devices. Since aviation software development is still often driven by the ongoing integration of new hardware it is about time to focus on a better componentization of avionic software systems. The new software architecture proposed in this paper is not only more maintainable than existing systems, it also allows for a semiautomatic integration of new hardware devices based on an automatic configuration and adaptation mechanism. As a result, airplane manufactures will be able to significantly reduce the (down) times required to integrate new software and therewith hardware into the cabin of an airliner. © 2011 IEEE.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

An improved kangaroo transaction model using surrogate objects for distributed mobile system

An improved kangaroo transaction model using surrogate objec...

引用

10th ACM International Workshop on Data engineering for Wireless and Mobile Access, MobiDE'11

作者： Ravimaran, S. Maluk Mohamed, M.A. Software System Group Department of Computer Science and Engg. M.A.M. College of Engineering Anna University Tiruchirappalli India

ISBN: (纸本)9781450306560

The rapid growth in the use of wireless communication and mobile devices has created a potential for variety of mobile transaction support. The variety of mobile transaction models have already been developed for dealing with different challenging requirements in this environment. However, a transaction management in mobile computing environment faces several challenges such as scarce bandwidth, limited energy resources, asymmetry in wired and wireless connectivity, asymmetry in mobile and fixed hosts, and mobility of host and their limitations. Due to these constraints, data loss, frequent disconnection, unpredicted number of wireless and wired access and high transaction aborts have been occurred. In this paper we propose a new transaction scheme called Surrogate Object based mobile transaction model. The main focus is to support data caching at surrogate object for faster data access and database operations among mobile transactions at different mobile hosts in mobile environment. This is done by creating the surrogate object in the static network to act on behalf of each mobile device. One consequence of using the surrogate object model is that mobile devices would be transparent to the instability of wireless communication. The surrogate object can remain active, maintaining information regarding the current state and plays an active role on behalf of the device and reduces the network congestions, overcomes the asymmetry in wired and wireless access and achieve the low abort rate. The performance of the proposed model for mobile transaction is evaluated and compared in the absence of surrogate object. Results showed that a significant reduction in wireless access and abort probability can be obtained with the proposed model when measuring performance metrics. Copyright © 2011 ACM.

关键词： Mobile telecommunication systems

来源：评论

学校读者我要写书评

暂无评论

Lessons Learnt from Gauging software Metrics of Cabin software in a Commercial Airliner

引用

International Scholarly Research Notices 2012年第1期2012卷

作者： Stefan Burger Oliver Hummel TCC4 System Integration—Communication EADS Innovation Works 81663 Munich Germany Software Engineering Group University of Mannheim 68131 Mannheim Germany

In order to achieve high safety standards, avionic software needs to be developed with very high requirements regarding safety, reliability, and determinism as well as real-time constraints, which are often in conflict with the development of maintainable software systems. Nevertheless, the ability to change the software of an airplane is of increasing importance, since it consists of a multitude of partially hardware-specific subsystems which may need replacement during a plane’s lifespan of typically numerous decades. Thus, as a first step towards optimizing maintainability of avionic software we have benchmarked the cabin software of a commercial airliner with common software metrics. Such a benchmarking of avionic software contributes valuable insights into the current practice of developing critical software and the application of software metrics in this context. We conclude from the obtained results that it is important to pay more attention to long-term maintainability of aviation software. Additionally we have derived some initial recommendations for the development of future avionic software systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards higher changeability for airplane cabin software

Towards higher changeability for airplane cabin software

引用

15th IASTED International Conference on software engineering and Applications, SEA 2011

作者： Burger, Stefan Heidinger, Emanuel Schneele, Stefan Hummel, Oliver Heinisch, Matthias Fischer, Wolfgang EADS Innovation Works Sensor and System Integration Munich Germany Software Engineering Group University of Mannheim Mannheim Germany Pre-Development Airbus Operations Buxtehude Germany

ISBN: (纸本)9780889869066

The development of airborne software is driven by rigorous safety requirements. Hence, it needs to be certified for adhering to safety standards set by governmental agencies, based on different criticality levels. Additionally, quickly changing technologies and the resulting obsolescence of system parts increase the need for good changeability of avionic software. However, the design of current applications in the cabin of commercial airliners is mainly focussing on safety standards and on a good adjustment to the underling hardware platforms for performance reasons. Changeability has been widely neglected so far. We see component-oriented and strictly layered software architectures as a key enabler to overcome these challenges in the future. In this paper we discuss the fundamentals of a new architectural design for airplane cabin systems, integrating established design principles for modular enterprise systems with high-reliability requirements of aviation systems. Our proposed approach reduces module coupling as well as complexity and hence increases maintainability and changeability of aviation systems. Moreover, it is fully compatible with state-of-the-art aviation standards, such as ARINC 653.

关键词： Obsolescence

来源：评论

学校读者我要写书评

暂无评论

Towards runtime testing in automotive embedded systems

Towards runtime testing in automotive embedded systems

引用

IEEE International Symposium on Industrial Embedded systems

作者： Bradatsch, C. Ungerer, T. Zalman, R. Lajtkep, A. Systems and Networking Department of Computer Science University of Augsburg 86159 Augsburg Germany Automotive Electronics Microcontroller Development System and Software Engineering Infineon Technologies AG 75579 Neubiberg Germany Electrics/Electronics and Driver Environment Platform Technologies Software and AUTOSAR BMW Group 80788 Munich Germany

ISBN: (纸本)9781612848204

Runtime testing is a common way to detect faults during normal system operation. To achieve a specific diagnostic coverage runtime testing is also used in safety critical, automotive embedded systems. In this paper we propose a test architecture to consolidate the hardware resource consumption and timing needs of runtime tests and of application and system tasks in a hard real-time embedded system as applied to the automotive domain. Special emphasis is put to timing requirements of embedded systems with respect to hard real-time and concurrent hardware resource accesses of runtime tests and tasks running on the target system. © 2011 IEEE.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

LIR-OSGi: Extends OSGi to support distributed and heterogeneous ubiquitous computing system

LIR-OSGi: Extends OSGi to support distributed and heterogene...

引用

2011 6th International Conference on Pervasive Computing and Applications, ICPCA 2011

作者： Liu, Jinzhao Lu, Xiaojuan Wang, Dan Liu, Xin Lu, Yongqiang Chen, Yu Dept. of Computer Science and Technology Beijing University of Technology Beijing China General Hospital PLA Second Artillery China Research Institute of Information Technology Key Laboratory of Pervasive Computing Ministry of Education Beijing China System Software and Software Engineering Group Laboratory of Pervasive Computing Dept. of Computer Science and Technology Beijing 100084 China

ISBN: (纸本)9781457702082

As an emerging portable service platform, OSGi is now taking a more and more important role in Ubiquitous Computing environment. As a module management framework, OSGi provides the functions of dynamic loading and unloading software modules at runtime. But its use is limited because it is centralized and single programming language supported. In this paper we present LIR-OSGi, an extended framework of OSGi, which is designed to add the distribution and programming language independence to OSGi. Meanwhile it is easy to use for developers because of the transparence of service invocation and automation of distribution. Not like OSGi which can be applied only on the Java platform, LIR-OSGi makes programs which may be written in different programming languages be able to call each other transparently so that it can be applied in many different platforms such as DotNet Framework and so on. This brings much convenience to the program development in a distributed and heterogeneous environment. © 2011 IEEE.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

Towards Automatic Reconfiguration of Aviation software systems

Towards Automatic Reconfiguration of Aviation Software Syste...

引用

IEEE Annual Computer software and Applications Conference Workshops (COMPSACW)

作者： Stefan Burger Oliver Hummel Sensor and System Integration EADS Innovation Works Munich Germany Software Engineering Group University of Mannheim Germany

The development of embedded systems is currently experiencing a fundamental shift towards integrating more and more heterogeneous system building blocks into ever more complex composite systems. The aviation industry is especially hit by this development and suffers from a number of additional challenges such as long system life-times that are often significantly longer than those of individual microprocessors and other embedded devices. Since aviation software development is still often driven by the ongoing integration of new hardware it is about time to focus on a better componentization of avionic software systems. The new software architecture proposed in this paper is not only more maintainable than existing systems, it also allows for a semi-automatic integration of new hardware devices based on an automatic configuration and adaptation mechanism. As a result, airplane manufactures will be able to significantly reduce the (down-) times required to integrate new software and therewith hardware into the cabin of an airliner.

关键词： Hardware software Aerospace electronics Servers Switches Airplanes

来源：评论

学校读者我要写书评

暂无评论

UML4PF — A tool for problem-oriented requirements analysis

UML4PF — A tool for problem-oriented requirements analysis

引用

IEEE International Conference on Requirements engineering

作者： Isabelle Côté Maritta Heisel Holger Schmidt Denis Hatebur Software Engineering Group University Duisburg-Essen Duisburg Germany ITESYS Institute of Technology System GmbH Dortmund Germany

We present UML4PF, a tool for requirements analysis based on problem frames. It consists of a UML profile and an Eclipse-Plugin to model and analyze problem diagrams, derive specifications, and develop architectures.

关键词： Unified modeling language Context software Programming Computer architecture Generators systematics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：