2011 IEEE World Congress on Services最新文献_第8页

Selection of Service Adaptation Strategies Based on Fuzzy Logic 基于模糊逻辑的服务自适应策略选择

2011 IEEE World Congress on Services Pub Date : 2011-07-04 DOI: 10.1109/SERVICES.2011.33

B. Pernici, S. H. Siadat

引用次数: 30

Visualization of Urban Air Pollution with Cloud Computing 城市空气污染的云计算可视化

2011 IEEE World Congress on Services Pub Date : 2011-07-04 DOI: 10.1109/SERVICES.2011.111

Jong-Won Park, C. Yun, Hae-Sun Jung, Yongwoo Lee

引用次数: 24

Cloud Computing Support for Collaboration and Communication in Enterprise-Wide Workflow Processes 云计算支持企业级工作流过程中的协作和通信

2011 IEEE World Congress on Services Pub Date : 2011-07-04 DOI: 10.1109/SERVICES.2011.93

Jason S. Bolin, J. Michael, M. Shing

引用次数: 2

Towards a Genetic Algorithm Approach to Automating Workflow Composition for Web Services with Transactional and QoS-Awareness 基于遗传算法的事务感知和qos感知Web服务工作流组合自动化研究

2011 IEEE World Congress on Services Pub Date : 2011-07-04 DOI: 10.1109/SERVICES.2011.68

Yang Syu, Yong-Yi Fanjiang, J. Kuo, Shang-Pin Ma

引用次数: 31

Modelling as a Service (MaaS): Minimizing the Environmental Impact of Computing Services 建模即服务(MaaS):最小化计算服务对环境的影响

2011 IEEE World Congress on Services Pub Date : 2011-07-04 DOI: 10.1109/SERVICES.2011.19

C. Atkinson, T. Schulze, Sonja Klingert

{"title":"Modelling as a Service (MaaS): Minimizing the Environmental Impact of Computing Services","authors":"C. Atkinson, T. Schulze, Sonja Klingert","doi":"10.1109/SERVICES.2011.19","DOIUrl":"https://doi.org/10.1109/SERVICES.2011.19","url":null,"abstract":"Given the projected growth in IT over the coming decades it is important that the supply of, and demand for, computing services be made as environmentally friendly as possible. One of the key technologies for achieving this will undoubtedly be cloud computing which opens up many new opportunities for streamlining the way computing services are delivered and used. Several research projects have therefore recently started to examine ways of improving the efficiency of cloud computing infrastructures and of understanding the energy efficiency of computing algorithms. However, to date these have mainly focused on increasing the efficiency of cloud computing services at the relatively low \"platform\" and \"infrastructure\" levels of abstraction at which they are typically offered today. In this paper we argue that to maximize the environmental benefits of cloud computing, both from the demand as well as the supply point of view, it is necessary to raise the level of abstraction at which cloud services are delivered and consumed. To this end, we introduce the vision of \"Modelling as a Service (MaaS)\" and explain how it provides an essential foundation for reducing the environmental impact of computing services.","PeriodicalId":429726,"journal":{"name":"2011 IEEE World Congress on Services","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130076526","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

Formal Specification and Verification of Transactional Service Composition 事务性服务组合的正式规范和验证

2011 IEEE World Congress on Services Pub Date : 2011-07-04 DOI: 10.1109/SERVICES.2011.36

Iman Saleh, Gregory Kulczycki, M. Blake

引用次数: 5

A Web Enabled Health Information System for the Neonatal Intensive Care Unit (NICU) 新生儿重症监护病房(NICU)的Web健康信息系统

2011 IEEE World Congress on Services Pub Date : 2011-07-04 DOI: 10.1109/SERVICES.2011.38

Soumendranath Ray, D. P. Dogra, S. Bhattacharya, B. Saha, A. Biswas, A. Majumdar, J. Mukherjee, B. Majumdar, A. Singh, A. Paria, S. Mukherjee, S. D. Bhattacharya

引用次数: 3

Application of a Distributed Security Method to End-2-End Services Security in Independent Heterogeneous Cloud Computing Environments 分布式安全方法在独立异构云计算环境下端到端业务安全中的应用

2011 IEEE World Congress on Services Pub Date : 2011-07-04 DOI: 10.1109/SERVICES.2011.34

P. Goyal

引用次数: 11

Probabilistic Timed Model Checking for Atomic Web Service 原子Web服务的概率定时模型检查

2011 IEEE World Congress on Services Pub Date : 2011-07-04 DOI: 10.1109/SERVICES.2011.42

Honghao Gao, Huai-kou Miao, Shengbo Chen, Jia Mei

{"title":"Probabilistic Timed Model Checking for Atomic Web Service","authors":"Honghao Gao, Huai-kou Miao, Shengbo Chen, Jia Mei","doi":"10.1109/SERVICES.2011.42","DOIUrl":"https://doi.org/10.1109/SERVICES.2011.42","url":null,"abstract":"As Web services are becoming more and more complex, there is an increasing concern about how to guarantee the correctness and safety of Web services composition. This has driven many researchers to study the performance analysis of dynamic atomic service selection, as well as functional verifications. In this paper, we focus on not only modeling the behaviors of atomic service, but also verifying the properties in a quantitative way. First, we apply probabilistic timed model checking to model and verify the behaviors of atomic service by extending interface automata, and propose a technique to formally estimate software performance which exhibits stochastic behaviors with time constrains. Second, the probabilistic-tic timed computation tree logic (PTCTL) formulae are used to express the reliability properties. Third, a failure may occur stochastically when an invocation is triggered through interface operation. We present an internal interaction model, based on which we can dynamically pick out a highest reliable execution sequence for Web services composition. Finally, a case study is demonstrated and experimental results are discussed. In conclusion, our approach provides with an underlying guideline for Web services composition.","PeriodicalId":429726,"journal":{"name":"2011 IEEE World Congress on Services","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130417494","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}

引用次数: 3

A Performance Comparison of Web Service Object Marshalling and Unmarshalling Solutions Web服务对象编组和解组解决方案的性能比较

2011 IEEE World Congress on Services Pub Date : 2011-07-04 DOI: 10.1109/SERVICES.2011.61

T. Aihkisalo, Tuomas Paaso

引用次数: 23