Specification and quantitative analysis of probabilistic cloud deployment patterns

Cloud computing is a new technological paradigm offering computing infrastructure, software and platforms as a pay-as-you-go, subscription-based service. Many potential customers of cloud services require essential cost assessments to be undertaken before transitioning to the cloud. Current assessment techniques are imprecise as they rely on simplified specifications of resource requirements that fail to account for probabilistic variations in usage. In this paper, we address these problems and propose a new probabilistic pattern modelling (PPM) approach to cloud costing and resource usage verification. Our approach is based on a concise expression of probabilistic resource usage patterns translated to Markov decision processes (MDPs). Key costing and usage queries are identified and expressed in a probabilistic variant of temporal logic and calculated to a high degree of precision using quantitative verification techniques. The PPM cost assessment approach has been implemented as a Java library and validated with a case study and scalability experiments. © 2012 Springer-Verlag Berlin Heidelberg.

A quick guide to surviving redundancy:your essential legal guide

What do you do if your boss calls you in to talk about job cuts? What are your rights? What are his or her rights? Do you know the procedures that should be followed? If redundancy looms, or you just want to be prepared for the worst,you need to know where you stand.Author Kathy Daniels is well placed to help. She writes and lectures extensively on human resources and employee rights, and as a member of the Employment Tribunal she regularly comes face-to-face with redundancy claims. In this easy-to-understand guide she answers all the important questions on redundancy and its aftermath, including: How are staff selected for redundancy? What is voluntary redundancy? Are full-time,part-time and agency staff treated differently? What is the consultation process bosses must adhere to? How much redundancy pay can you expect? How do you take a claim to the Employment Tribunal? As well as covering all the legal dos and don'ts, helpful guidance is provided on: Budgets and personal finances after redundancy Benefits you may be able to claim Coping with stress and strain Finding a new job or changing career The Quick Guide to Surviving Redundancy is full of real-life case studies and top tips on your employment rights. It also includes template letters for a range of redundancy situations.