Generating Predicate Callback Summaries for the Android Framework

One of the challenges of analyzing, testing and debugging Android apps is that the potential execution orders of callbacks are missing from the apps' source code. However, bugs, vulnerabilities and refactoring transformations have been found to be related to callback sequences. Existing work on control flow analysis of Android apps have mainly focused on analyzing GUI events. GUI events, although being a key part of determining control flow of Android apps, do not offer a complete picture. Our observation is that orthogonal to GUI events, the Android API calls also play an important role in determining the order of callbacks. In the past, such control flow information has been modeled manually. This paper presents a complementary solution of constructing program paths for Android apps. We proposed a specification technique, called Predicate Callback Summary (PCS), that represents the callback control flow information (including callback sequences as well as the conditions under which the callbacks are invoked) in Android API methods and developed static analysis techniques to automatically compute and apply such summaries to construct apps' callback sequences. Our experiments show that by applying PCSs, we are able to construct Android apps' control flow graphs, including inter-callback relations, and also to detect infeasible paths involving multiple callbacks. Such control flow information can help program analysis and testing tools to report more precise results. Our detailed experimental data is available at: http://goo.gl/NBPrKsComment: 11 page

Contribution of simulation and gaming to natural resource management issues: An introduction

Nowadays, computer-mediated simulations and games are widely used in the field of natural resource management (NRM). They have proved to be useful for various purposes such as supporting decisionmaking processes and training. First, the specificities of the NRM research field are highlighted. Then, based on the analysis of the articles presented in this special issue of Simulation & Gaming, some key features related to the implementation of gaming in such a context are introduced. Finally, after reviewing the benefits of using simulation games in NRM, the authors stress the ethical issue of changing social relationships among stakeholders by playing a game with some of themGESTION DE L'ENVIRONNEMENT;RESSOURCE NATURELLE;SIMULATION;SOCIOLOGIE;JEU DE ROLE;BENEFITS;CONTEXT;COLLECTIVE POLICY DESIGN;DECISION MAKING;ETHICAL ISSUES;IMPLEMENTATION;NATURAL RESOURCE MANAGEMENT (NRM);SIMULATION GAMES;SOCIAL EMPOWERMENT;SOCIAL RELATIONSHIPS;SOCIOECOLOGICAL SYSTEMS;STAKEHOLDERS

A mathematical formalization of the parallel replica dynamics

The purpose of this article is to lay the mathematical foundations of a well known numerical approach in computational statistical physics and molecular dynamics, namely the parallel replica dynamics introduced by A.F. Voter. The aim of the approach is to efficiently generate a coarse-grained evolution (in terms of state-to-state dynamics) of a given stochastic process. The approach formally consists in concurrently considering several realizations of the stochastic process, and tracking among the realizations that which, the soonest, undergoes an important transition. Using specific properties of the dynamics generated, a computational speed-up is obtained. In the best cases, this speed-up approaches the number of realizations considered. By drawing connections with the theory of Markov processes and, in particular, exploiting the notion of quasi-stationary distribution, we provide a mathematical setting appropriate for assessing theoretically the performance of the approach, and possibly improving it

Bit error rate measurement of free space optical communication links under laboratory controlled conditions

This paper outlines the experimental investigation of the fog effect on the bit error rate (BER) performance of the free space optical (FSO) communication link under a controlled laboratory environment. The link transmittance and the received signal Q-factor are measured against different levels of fog densities. The link visibility derived from fog attenuation measurement is used to characterize the fog within the chamber. Moreover, the effect of using different average transmitted optical communication power (Popt) on the transmittance and received Q-factor of the link is also studied for light and dense fog densities

On the study of the FSO link performance under controlled turbulence and fog atmospheric conditions

In this paper, the effect of turbulence and fog on the free space optical (FSO) communication systems for on off keying (OOK), pulse amplitude modulation (PAM) and subcarrier intensity modulation (SIM) based on binary phase shift keying (BPSK) is experimentally investigated. The experiment is carried out in a controlled laboratory environment where turbulence and fog could be generated in a dedicated FSO chamber. In comparison to 4 PAM signal, the BPSK and OOK NRZ modulation signalling format are more robust against the fog and turbulence effects. In addition BPSK system is much less susceptible to the signal amplitude fluctuation due to turbulence compared to the other two modulation formats

The AtollGame Experience: from Knowledge Engineering to a Computer-Assisted Role Playing Game

This paper presents the methodology developed to collect, understand and merge viewpoints coming from different stakeholders in order to build a shared and formal representation of the studied system dealing with groundwater management in the low-lying atoll of Tarawa (Republic of Kiribati). The methodology relies on three successive stages. First, a Global Targeted Appraisal focuses on social group leaders in order to collect different standpoints and their articulated mental models. These collective models are partly validated through Individual Activities Surveys focusing on behavioural patterns of individual islanders. Then, these models are merged into a single conceptual one using qualitative analysis software. This conceptual model is further simplified in order to create a computer-assisted role-playing game.Knowledge Elicitation, Associative Network, Ontology, Water Management, Pacific, Tarawa

CHARACTERIZATION OF NEMOTIC DENTAL FIBROBLASTS

Oral Communication presented at the ";Forum des Jeunes Chercheurs";, Brest (France) 2011