2012 IEEE Asia-Pacific Services Computing Conference最新文献_第2页

Dynamic Resource Arrangement in Cloud Federation 云联盟中的动态资源安排

2012 IEEE Asia-Pacific Services Computing Conference Pub Date : 2012-12-06 DOI: 10.1109/APSCC.2012.75

Yisheng Wang, Hao-peng Chen

引用次数: 10

SLA-Based Service Composition Model with Semantic Support 具有语义支持的基于sla的服务组合模型

2012 IEEE Asia-Pacific Services Computing Conference Pub Date : 2012-12-06 DOI: 10.1109/APSCC.2012.54

Hui Liu, Fenglin Bu, Hongming Cai

引用次数: 6

Live Migrating the Virtual Machine Directly Accessing a Physical NIC 热迁移直接访问物理网卡的虚拟机

2012 IEEE Asia-Pacific Services Computing Conference Pub Date : 2012-12-06 DOI: 10.1109/APSCC.2012.24

Binbin Zhang, Xiaolin Wang, Yingwei Luo, Xiaoming Li, Zhenlin Wang

引用次数: 0

Some Key Issues of Teaching Reform about Digital Logic 数字逻辑教学改革的几个关键问题

2012 IEEE Asia-Pacific Services Computing Conference Pub Date : 2012-12-06 DOI: 10.1109/APSCC.2012.62

Yizhu Zhao, Yunfeng He

引用次数: 2

A Progressive Method on Studying and Practicing of Computer Graphics 计算机图形学学习与实践的渐进式方法

2012 IEEE Asia-Pacific Services Computing Conference Pub Date : 2012-12-06 DOI: 10.1109/APSCC.2012.34

Shi Li, Dan Li

引用次数: 0

An Integrated Service Platform for Pervasive Elderly Care 普适养老综合服务平台

2012 IEEE Asia-Pacific Services Computing Conference Pub Date : 2012-12-06 DOI: 10.1109/APSCC.2012.21

Qiang Lin, Daqing Zhang, Hongbo Ni, Xingshe Zhou, Zhiwen Yu

{"title":"An Integrated Service Platform for Pervasive Elderly Care","authors":"Qiang Lin, Daqing Zhang, Hongbo Ni, Xingshe Zhou, Zhiwen Yu","doi":"10.1109/APSCC.2012.21","DOIUrl":"https://doi.org/10.1109/APSCC.2012.21","url":null,"abstract":"With more and more elders in most countries, the health and safety issues become the primary concern for elderly people because ageing is often associated with physical and cognitive impairments. In order to provide intelligent assistive services for elders, in this paper, we propose an integrated service platform that can accommodate safety assurance, daily activity assistance, and health support services. Specifically, the platform takes care of anomalous events detection, daily activities tracking, and health status monitoring leveraging stationary sensors deployed in living environments and mobile sensing artifacts carried by elders. The services in this integrated platform can ensure safety and independency of elders, they can also help them sustain and/or improve health condition with personalized health support. Based on the proposed platform, we present a case study of assistive safety assurance service wandering detection, which monitors an elder's outdoor movements by using GPS sensor embedded in smart phone and recognizes the lapping or pacing movement pattern to find potential wandering behavior. The experimental results show that our method works well in detecting wandering behavior in terms of detection rate and false alarm rate.","PeriodicalId":256842,"journal":{"name":"2012 IEEE Asia-Pacific Services Computing Conference","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134470786","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 11

Providing Information Services for Wireless Sensor Networks through Cloud Computing 通过云计算为无线传感器网络提供信息服务

2012 IEEE Asia-Pacific Services Computing Conference Pub Date : 2012-12-06 DOI: 10.1109/APSCC.2012.42

Pengfei You, Yuxing Peng, Hang Gao

引用次数: 12

A Model Checking Based Approach to Automatic Test Suite Generation for Testing Web Services and BPEL 基于模型检查的自动生成测试套件的方法，用于测试Web服务和BPEL

2012 IEEE Asia-Pacific Services Computing Conference Pub Date : 2012-12-06 DOI: 10.1109/APSCC.2012.29

Huiqun Zhao, Jing Sun, Xiaodong Liu

{"title":"A Model Checking Based Approach to Automatic Test Suite Generation for Testing Web Services and BPEL","authors":"Huiqun Zhao, Jing Sun, Xiaodong Liu","doi":"10.1109/APSCC.2012.29","DOIUrl":"https://doi.org/10.1109/APSCC.2012.29","url":null,"abstract":"With the rapid increase of Web Service applications, the reliability of web service and service composition has drawn particular attention from researchers and industries. Many methods for testing and verifying the reliability have been discussed, however, the existing methods are weak in test automation and therefore difficult in tackling the dynamic features of modern SOA based application. The traditional method of model checking and the technique of test suite generation have a large potential for the reliability verification of web services and service composition. In this paper, an approach to integrating the test suite generation technique with model checking is presented. The approach takes advantage of model checking to verify BPEL script at the logical level, and to generate test suite automatically based on the model description, and finally to select test cases with respect to the counterexamples of model checking output. The approach contributes a set of algorithms and its implementation to support a translation from BPEL to LOTOS, and LTS(Labeled Transition Systems, LTS in short) to TTCN(Test and Testing Control Notation, TTCN in short) behavior Tree. Finally, a case study is presented to demonstrate and verify the proposed approach.","PeriodicalId":256842,"journal":{"name":"2012 IEEE Asia-Pacific Services Computing Conference","volume":"664 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117113698","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5

Using Fuzzy Measures to Assess Service Satisfaction Values of Retailers 用模糊测度评价零售商服务满意度价值

2012 IEEE Asia-Pacific Services Computing Conference Pub Date : 2012-12-06 DOI: 10.1109/APSCC.2012.31

S. Zhou, Yong Li

引用次数: 2

A Multi-agent Learning Model for Service Composition 面向服务组合的多智能体学习模型

2012 IEEE Asia-Pacific Services Computing Conference Pub Date : 2012-12-06 DOI: 10.1109/APSCC.2012.44

Wenbo Xu, Jian Cao, Haiyan Zhao, Lei Wang

引用次数: 8