Software assurance practices for mobile applications

Mobile software applications have to cope with a particular environment that involves small size, limited resources, high autonomy requirements, competitive business models and many other challenges. To provide development guidelines that respond to these needs, several practices have been introduced; however, it is not clear how these guidelines may contribute to solve the issues present in the mobile domain. Furthermore, the rapid evolution of the mobile ecosystem challenges many of the premises upon which the proposed practices were designed. In this paper, we present a survey of the literature on software assurance practices for mobile applications, with the objective of describing them and assessing their contribution and success. We identified, organized and reviewed a body of research that spans in three levels: software development processes, software product assurance practices, and software implementation practices. By carrying out this literature survey, we reviewed the different approaches that researchers on Software Engineering have provided to address the needs that raise in the mobile software development arena. Moreover, we review the evolution of these practices, identifying how the constant changes and modernization of the mobile execution environment has impacted the methods proposed in the literature. Finally, we introduced discussion on the application of these practices in a real productive setting, opening an area for further research that may determine if practitioners have followed the proposed assurance paradigms.     

Scale-effects on mean and standard deviation of the mechanical properties of condensed matter: an energy-based unified approach

The size effects on the mean values of the mechanical properties of condensed matter and on the related variances are analysed by means of a unified approach based on the multiscale character of energy dissipation. In particular, the scaling law for fragmentation energy density is obtained taking into account the self-similarity of fragments. It is based on a generalization of the three classical comminution laws that has been performed to evaluate the energy dissipation, computing volume and surface area of the particles for one- two- and three-dimensional fragmented objects. The result is general and can be applied to different fractal energy dissipation mechanisms, e.g., plasticity. Based on this approach, the scaling laws for mean and standard deviation values of the main mechanical properties of materials can be derived, like Young's and shear elastic moduli, ultimate normal and shear stresses and strains, fracture energy and toughness.     

Playing with Maude

This paper is an introduction to rule-based programming in Maude. We illustrate in particular the use of operator attributes to structure the state of a system, and the difference between equations and rules. We use well-known mathematical games and puzzles for our examples illustrating the expressive power of Maude.     

Role of Ponded Turbidity Currents in Reservoir Trap Efficiency

The capacity to store water in a reservoir declines as it traps sediment. A river entering a reservoir forms a prograding delta. Coarse sediment (e.g., sand) deposits in the fluvial topset and avalanching foreset of the delta, and is typically trapped with an efficiency near 100%. The trap efficiency of fine sediment (e.g., mud), on the other hand, may be below 100%, because some of this sediment may pass out of the reservoir without settling out. Here, a model of trap efficiency of mud is developed in terms of the mechanics of a turbidity current that plunges on the foreset. The dam causes a sustained turbidity current to reflect and form a muddy pond bounded upstream by a hydraulic jump. If the interface of this muddy pond rises above any vent or overflow point at the dam, the trap efficiency of mud drops below 100%. A model of the coevolution of topset, foreset, and bottomset in a reservoir that captures the dynamics of the internal muddy pond is presented. Numerical implementation, comparison against an experiment, and application to a field-scale case provide the basis for a physical understanding of the processes that determine reservoir trap efficiency.     

Hydrocarbon exploration risk evaluation through uncertainty and sensitivity analyses techniques

The evaluation of the exploration risk in the oil industry is a fundamental component of the decision process related to the exploratory phase. In this paper the two basic components of the exploratory risk: trap geometry and trapped hydrocarbon quantities (fluid), are compounded in a single coherent uncertainty and sensitivity approach. The results clarify that the model geometry influences each Petroleum System Modeling step and that the geometric uncertainty is correlated with the fluid uncertainty. The geometric uncertainty evaluation makes use of geostatistical techniques that produce a number of possible realizations of the trap geometry, all compatible with available data. The evaluation of the fluid uncertainty, through a Monte Carlo methodology, allows us to compute the possible quantities of oil and gas, generated in a basin and migrated from the hydrocarbon source location to each single trap. The final result is the probability distribution of oil and gas for each trap in the basin, together with other useful indicators like: the hydrocarbon filling probability map, the closure probability map, the drainage area probability map, the spilling paths probabilities, the trap-filling scenarios.     

Hydrodechlorination of 3-chloropyridine and chlorobenzene in methanol solution over alkali-modified zirconia-supported palladium catalysts

The liquid-phase hydrodechlorination of 3-chloropyridine and chlorobenzene has been studied over alkali-modified zirconia-supported palladium catalysts. The modification of the ZrO₂ with alkali metal carbonates improves the catalytic activity of the final palladium catalyst. Therefore, the larger the ionic radii (Li⁺ < Na⁺ < K⁺), the greater the catalytic activity (TOF) of the palladium catalyst. For 3-chloropyridine, hydrodechlorination proceeds without catalyst deactivation. This is explained as the result of the interaction of reaction products (pyridine and HCl) forming pyridinium chloride, thus avoiding the detrimental effect of HCl on the palladium particles. Catalytic hydrodechlorination of chlorobenzene over Pd catalysts exhibits an initial catalytic activity (TOF) much lower than that of 3-chloropyridine and the Pd catalysts deactivate as the reaction proceeds. Finally, chlorobenzene hydrodehalogenation has also been carried out in the presence of an equimolecular amount of pyridine resulting in a decrease in the initial reaction rate on the one hand, but also in an increase in final conversion on the other.     

Comments on “Is the cause of size effect on structural strength fractal or energetic-statistical?” by Ba?ant & Yavari [Engng Fract Mech 2005;72:1-31]

Aim of this letter to the Editor is at replying to the criticisms raised by Ba?ant and Yavari [Ba?ant ZP, Yavari A. Is the cause of size effect on structural strength fractal or energetic - statistical? Engng Fract Mech 2005;72:1-31] against the fractal approach to the size-scale effects on the mechanical properties of materials and the concept of the Multi-Fractal Scaling Law presented by Carpinteri [Carpinteri A. Scaling laws and renormalization groups for strength and toughness of disordered materials. Int J Solids Struct 1994;31:291-302]. These criticisms will be analysed thoroughly, showing how they also contain some mistakes and misunderstandings. The presented elucidations should redirect the discussion to a more correct scientific debate.     

Analysis of run-in process for PC manufacturing

This paper gives a review of the methodology used to tune the run-in process of a PC manufacturing line. It shows in some detail the analysis carried-out on the test data gathered on the manufacturing line and presents a clear picture of the run-in process in order to choose the best compromise between process efficiency and costs.     

Family burden following traumatic brain injury.

Investigated burden experienced by 60 spouses and 71 parents who served as primary caregivers to individuals with traumatic brain injury (BI). Burden levels, as assessed by the Questionnaire on Resources and Stress (QRS-SF), were compared for spouses and parents. Both parents and spouses exhibited high levels of burden. Relative to spouses, parents reported significantly greater burden related to lifespan care. Spouses reported significantly less personal reward than did parents. The presence of social aggression and cognitive disability in the individual with BI was found to have a greater association with subjective burden of caregivers than was the presence of physical disability or injury severity. Results of previous studies with QRS-SF scores show that the responsibility assumed by spouses and parents of persons with BI was as great as that experienced by families of people with severe chronic physical disabilities. (PsycINFO Database Record (c) 2010 APA, all rights reserved)