Developing a distributed electronic health-record store for India

The DIGHT project is addressing the problem of building a scalable and highly available information store for the Electronic Health Records (EHRs) of the over one billion citizens of India

Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games

Probabilistic model checking for stochastic games enables formal verification of systems that comprise competing or collaborating entities operating in a stochastic environment. Despite good progress in the area, existing approaches focus on zero-sum goals and cannot reason about scenarios where entities are endowed with different objectives. In this paper, we propose probabilistic model checking techniques for concurrent stochastic games based on Nash equilibria. We extend the temporal logic rPATL (probabilistic alternating-time temporal logic with rewards) to allow reasoning about players with distinct quantitative goals, which capture either the probability of an event occurring or a reward measure. We present algorithms to synthesise strategies that are subgame perfect social welfare optimal Nash equilibria, i.e., where there is no incentive for any players to unilaterally change their strategy in any state of the game, whilst the combined probabilities or rewards are maximised. We implement our techniques in the PRISM-games tool and apply them to several case studies, including network protocols and robot navigation, showing the benefits compared to existing approaches

Product LIfecycle Management, Knowledge Integration and Reliability in New Product Co-Development: A Case Study Between Europe and China

An important question for IS researchers and practitioners is how IT can improve new product development (NPD) in an international co-development context. More precisely, this paper aims at understanding how Product Lifecycle Management (PLM) technology contributes to NPD knowledge integration and to process reliability in this environment. It is based on a longitudinal case study of a French industrial Group with design teams located in Europe, and which had greatly increased co-development work with China at the time of the study. The first author participated in PLM implementation in Asia over the course of four years. Data analyses indicate a reduction of glitches, from which we infer a positive contribution of PLM to process reliability through knowledge sharing and coordination of mature objects. Indeed,PLM use supports commissioning rather than mediating objects and close rather than open design specifications. Glitches related to knowledge transformation problems are not eliminated with PLM

Conference Program [2013]

N/

Google Glass App for Displaying ASL Videos for Deaf Children – The Preliminary Race

Glass Vision 3D is a grant-funded project focused on the goal of developing and researching the feasibility & usability of a Google Glass app that will allow young Deaf children to look at an object in the classroom and see an augmented reality projection that displays an American Sign Language (ASL) related video. Session will show the system (Glass app) that was developed and summarize feedback gathered during focus-group testing of the prototype

Youth and Digital Media: From Credibility to Information Quality

Building upon a process-and context-oriented information quality framework, this paper seeks to map and explore what we know about the ways in which young users of age 18 and under search for information online, how they evaluate information, and how their related practices of content creation, levels of new literacies, general digital media usage, and social patterns affect these activities. A review of selected literature at the intersection of digital media, youth, and information quality -- primarily works from library and information science, sociology, education, and selected ethnographic studies -- reveals patterns in youth's information-seeking behavior, but also highlights the importance of contextual and demographic factors both for search and evaluation. Looking at the phenomenon from an information-learning and educational perspective, the literature shows that youth develop competencies for personal goals that sometimes do not transfer to school, and are sometimes not appropriate for school. Thus far, educational initiatives to educate youth about search, evaluation, or creation have depended greatly on the local circumstances for their success or failure

Innovation Gaming: An Immersive Experience Environment Enabling Co-creation

A number of existing innovation paradigms and design approaches such as Open Innovation (Chesbrough, 2003), User Experience (Hassenzahl & Tractinsky, 2006) and User-Centred Design (Von Hippel, 2005), as well as User-Centred Open Innovation Ecosystems (Pallot, 2009a) are promoting distributed collaboration among organisations and user communities. However, project stakeholders are mainly trained for improving their individual skills through learning experience (i.e. practical exercises, role playing game) rather than getting a live user experience through immersive environments (e.g. Virtual Reality, Serious Games) that could unleash their creativity potential. This chapter introduces the findings of a study on serious gaming, which discusses various aspects of games and explores a number of issues related to the use of innovation games for enabling user co-creation in the context of collaborative innovation and experiential Living Labs

A gentle transition from Java programming to Web Services using XML-RPC

Exposing students to leading edge vocational areas of relevance such as Web Services can be difficult. We show a lightweight approach by embedding a key component of Web Services within a Level 3 BSc module in Distributed Computing. We present a ready to use collection of lecture slides and student activities based on XML-RPC. In addition we show that this material addresses the central topics in the context of web services as identified by Draganova (2003)