Browsing by Author "Yang, Ya-Ching"

Now showing 1 - 3 of 3

A Cloud-Based Recommender System - A Case Study of Delicacy Recommendation
(2011)
Chen, Chi-Hua
;
Yang, Ya-Ching
;
Shih, Pei-Liang
;
Lee, Fang-Yi
;
Lo, Chi-Chun
Delicacy recommendation services are the trend of the future. In this paper, we propose an effective decision support systems (DSS), the Cloud-Based Recommender System (CBRS), which provides the introduction and commentaries of delicacies and restaurants with relevant recommendation. CBRS provides the web content retrieval agent (WCRA) and multiple document summarization (MDS) technology to generate summary of commentaries. Finally, CBRS combines with the cloud computing for MDS to provide delicacy recommendation services. (C) 2011 Published by Elsevier Ltd. Selection and/or peer-review under responsibility of [CEIS 2011]
A Social Trust based Recommendation Mechanism for Web Service Dynamic Collaboration
(2013)
Lin, Szu-Yin
;
Yang, Ya-Ching
;
Lo, Chi-Chun
;
Chao, Kuo-Ming
;
資訊管理與財務金融系註：原資管所+財金所
In the distributed commercial environment, many enterprises utilize Web services to provide their resources such as data and applications to consumers. They collaborate with other relevant enterprises to accomplish tasks by sharing processes and resources. However, it is difficult to find the appropriate web service combination for enterprise, because the Quality of Services (QoS) that are widely used to select Web services is not sufficient anymore. In dynamic collaboration environment, it does not only need to consider the QoS, functionality and degree of matching, but also the social trust relationship between enterprises. This study proposes a social-trust-based recommendation mechanism for service-oriented dynamic collaboration. It uses the legal binding of Service Level Agreement and the characteristics of Social Trust Network of Web services to recommend proper and trustworthy services to support dynamic collaboration.
FSM-Based Formal Compliance Verification of Interface Protocols
(2010-09-01)
Shih, Che-Hua
;
Yang, Ya-Ching
;
Yen, Chia-Chih
;
Huang, Juinn-Dar
;
Jou, Jing-Yang
Verifying whether a building block conforms to a specific interface protocol is one of the important steps in a platform-based system-on-a-chip design methodology. There are limitations for most of the existing methods for interface protocol compliance verification. Simulation-based methods have the false positive problem while formal property checking methods may suffer from memory explosion and excessive runtime. In this paper, we propose a novel approach for interface protocol compliance verification. The properties of the interface protocol are first specified as a specification FSM. Then the compliance of interface logic is formally verified at the higher FSM level so that the required memory and runtime can be greatly reduced. Finally, it is shown theoretically and experimentally that the proposed algorithm possesses acceptably low time complexity for practical applications.