Relaxing a failing query to the successful one with smallest semantic gap is the goal in Web service discovery. A schema for query relaxing is proposed based on both service ontologies and users' behavior, where t...
详细信息
Voltage instability of power system comes from increasing load rapidly, and causes bus voltage to drop. When voltage is out of control and it can be voltage collapse. This paper presents the fuzzy modeling approach to...
详细信息
An important problem in computer Architecture and Organization course is the migration from theory to practice. computer Architecture designs are developed to tackle this problem. This paper presents a learning activi...
详细信息
Session Initiation Protocol (SIP) [1] is adopted as the main signaling protocol for the IP Multimedia Subsystem (IMS). Large dep.oyment of SIP servers in Next Generation Networks (NGN) requires studying the behavior a...
详细信息
In this paper, a uniform calculus-based approach for synthesizing monitors checking correctness properties specified by a large variety of logics at runtime is provided, including future and past time logics, interval...
详细信息
The new field of testing of timed-IUT (Implementation Under Test with time constraints) is rapidly evolving, with new and extended test generation methods using timed automata. Most methods, however, key their algorit...
详细信息
ISBN:
(纸本)9781932415537
The new field of testing of timed-IUT (Implementation Under Test with time constraints) is rapidly evolving, with new and extended test generation methods using timed automata. Most methods, however, key their algorithms towards transformation of a timed-IUT into a regular, un-timed IUT;thus, avoiding the need of redefining well known test generation algorithms. In this paper we wish to demonstrate that as far as the well known synchronizing sequence problem, it is preferable to adapt the standard algorithm to meet the special needs of a timed-IUT, sidestepping a costly transformation. We propose a new method of generating a timed- synchronizing sequence, which allows direct testing of a timed-IUT. An example is used to show the relevance of this method.
A new approach for feature selection is presented in this paper. The proposed approach uses the Harmony Search with a novel fitness function to eliminate noisy and irrelevant features. Harmony vectors contain real wei...
详细信息
in recent years ERP, as a comprehensive new system, has been used by many Malaysian companies. It has been successful in some and in some others it has failed. This article assesses 15 success factors and 8 failure fa...
详细信息
ISBN:
(纸本)9780769535951
in recent years ERP, as a comprehensive new system, has been used by many Malaysian companies. It has been successful in some and in some others it has failed. This article assesses 15 success factors and 8 failure factors in SME companies and tries to recognize the effective ones. The results show that the two most important failure factors in implementing ERP in Malaysian SMEs are 'poor planning or poor management ' and 'inappropriate training methods' and the most important success factors are ' Implementing team's teamwork and composition' and ' Effective training of users'. It could be conducted that team work is a key success factor in Malaysian SMEs and also training is of vital importance. As a result, by a sound investment and effective trainings we may guarantee the success of ERP in SMEs in Malaysia, failure to do so will lead to a defeat for ERP in Malaysian setting. 2009 IEEE.
The form of compact city as an "urban form of sustainable development" is paid more and more attention. This paper proposes several systems of indicators based on the understanding of the connotation of comp...
详细信息
Investigating the human mobility patterns is a highly interesting field in the 21th century, and it takes vast attention from multi-disciplinary scientists in physics, economic, social, computer, engineering⋯etc. dep....
详细信息
暂无评论