Specification and simulation of queuing network models using Domain-Specific Languages

Queuing Network Models (QNMs) provide powerful notations and tools for modeling and analyzing the performance of many different kinds of systems. Although several powerful tools currently exist for solving QNMs, some of these tools define their own model representations, have been developed in platform-specific ways, and are normally difficult to extend for coping with new system properties, probability distributions or system behaviors. This paper shows how Domain Specific Languages (DSLs), when used in conjunction with Model-driven engineering techniques, provide a high-level and very flexible approach for the specification and analysis of QNMs. We build on top of an existing metamodel for QNMs (PMIF) to de ne a DSL and its associated tools (editor and simulation engine), able to provide a high-level notation for the specification of different kinds of QNMs, and easy to extend for dealing with other probability distributions or system properties, such as system reliability.Ministerio de Ciencia e Innovación TIN2011-2379

Neuropathologic Correlates of Hippocampal Atrophy in the Elderly: A Clinical, Pathologic, Postmortem MRI Study

The volume of the hippocampus measured with structural magnetic resonance imaging (MRI) is increasingly used as a biomarker for Alzheimer's disease (AD). However, the neuropathologic basis of structural MRI changes in the hippocampus in the elderly has not been directly assessed. Postmortem MRI of the aging human brain, combined with histopathology, could be an important tool to address this issue. Therefore, this study combined postmortem MRI and histopathology in 100 elderly subjects from the Rush Memory and Aging Project and the Religious Orders Study. First, to validate the information contained in postmortem MRI data, we tested the hypothesis that postmortem hippocampal volume is smaller in subjects with clinically diagnosed Alzheimer's disease compared to subjects with mild or no cognitive impairment, as observed in antemortem imaging studies. Subsequently, the relations of postmortem hippocampal volume to AD pathology, Lewy bodies, amyloid angiopathy, gross infarcts, microscopic infarcts, and hippocampal sclerosis were examined. It was demonstrated that hippocampal volume was smaller in persons with a clinical diagnosis of AD compared to those with no cognitive impairment (P = 2.6×10−7) or mild cognitive impairment (P = 9.6×10−7). Additionally, hippocampal volume was related to multiple cognitive abilities assessed proximate to death, with its strongest association with episodic memory. Among all pathologies investigated, the most significant factors related to lower hippocampal volume were shown to be AD pathology (P = 0.0018) and hippocampal sclerosis (P = 4.2×10−7). Shape analysis allowed for visualization of the hippocampal regions most associated with volume loss for each of these two pathologies. Overall, this investigation confirmed the relation of hippocampal volume measured postmortem to clinical diagnosis of AD and measures of cognition, and concluded that both AD pathology and hippocampal sclerosis affect hippocampal volume in old age, though the impacts of each pathology on the shape of the hippocampus may differ

ARIEX: Automated ranking of information extractors

Information extractors are used to transform the user-friendly information in a web document into structured information that can be used to feed a knowledge-based system. Researchers are interested in ranking them to find out which one performs the best. Unfortunately, many rankings in the literature are deficient. There are a number of formal methods to rank information extractors, but they also have many problems and have not reached widespread popularity. In this article, we present ARIEX, which is an automated method to rank web information extraction proposals. It does not have any of the problems that we have identified in the literature. Our proposal shall definitely help authors make sure that they have advanced the state of the art not only conceptually, but from an empirical point of view; it shall also help practitioners make informed decisions on which proposal is the most adequate for a particular problem.Ministerio de Educación y Ciencia TIN2007-64119Junta de Andalucía P07-TIC-2602Junta de Andalucía P08-TIC-4100Ministerio de Ciencia e Innovación TIN2008-04718-EMinisterio de Ciencia e Innovación TIN2010-21744Ministerio de Economía, Industria y Competitividad TIN2010-09809-EMinisterio de Ciencia e Innovación TIN2010-10811-EMinisterio de Ciencia e Innovación TIN2010-09988-EMinisterio de Economía y Competitividad TIN2011-15497-EMinisterio de Economía y Competitividad TIN2013-40848-

Integrated multimodal interaction framework for virtual reality foot reflexology stress therapy

Frameworks in interaction research have seen varying compositions from numerous researchers, and have been applied for either a specific or general purposes in several domains. Previous studies have highlighted virtual reality (VR) in stress therapy, and revealed the potential of foot reflexology therapy using VR technology. However, the interaction framework for foot reflexology through virtual reality requires further investigation. This study presents the design and evaluation of an integrated multimodal interaction framework for virtual reality foot reflexology stress therapy. The components of the proposed framework were identified from the literature review and previous research, which included design principles, technology, structural components, multimodal interaction architecture, and segment composition. This formed the proposed integrated multimodal interaction framework for virtual reality foot reflexology stress therapy. The proposed framework was then validated using expert reviews. This was followed by prototype development, which explored the effectiveness of the virtual reality foot reflexology therapy application on relaxation and stress relief using Smith Relaxation States Inventory (SRSI-3). A pre and post-test intervention quasi experiment was employed in the study for the evaluation. The findings revealed that Virtual Reality Foot Reflexology Stress Therapy (VR–FRST) effectively evokes the relaxation state categories of transcendence, mindfulness, positive energy, and basic relaxation, and also reduces users stress state. This research provides a concise, organized, practical and validated integrated multimodal interaction framework for the design and development of foot reflexology therapy in a virtual environment. This contributes to the field of interaction design for virtual reality developers and complementary therapy for the alternative medical practitioners

Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments

The execution environment can play a crucial role when analyzing the performance of a software system. However, detecting execution environment properties and integrating such properties into performance analyses is a manual, error-prone task. In this thesis, a novel approach for detecting performance-relevant properties of the software execution environment is presented. These properties are automatically detected using predefined experiments and integrated into performance prediction tools

Quantifying and Predicting the Influence of Execution Platform on Software Component Performance

The performance of software components depends on several factors, including the execution platform on which the software components run. To simplify cross-platform performance prediction in relocation and sizing scenarios, a novel approach is introduced in this thesis which separates the application performance profile from the platform performance profile. The approach is evaluated using transparent instrumentation of Java applications and with automated benchmarks for Java Virtual Machines

A Proactive Approach to Application Performance Analysis, Forecast and Fine-Tuning

A major challenge currently faced by the IT industry is the cost, time and resource associated with repetitive performance testing when existing applications undergo evolution. IT organizations are under pressure to reduce the cost of testing, especially given its high percentage of the overall costs of application portfolio management. Previously, to analyse application performance, researchers have proposed techniques requiring complex performance models, non-standard modelling formalisms, use of process algebras or complex mathematical analysis. In Continuous Performance Management (CPM), automated load testing is invoked during the Continuous Integration (CI) process after a build. CPM is reactive and raises alarms when performance metrics are violated. The CI process is repeated until performance is acceptable. Previous and current work is yet to address the need of an approach to allow software developers proactively target a specified performance level while modifying existing applications instead of reacting to the performance test results after code modification and build. There is thus a strong need for an approach which does not require repetitive performance testing, resource intensive application profilers, complex software performance models or additional quality assurance experts. We propose to fill this gap with an innovative relational model associating the operation‟s Performance with two novel concepts – the operation‟s Admittance and Load Potential. To address changes to a single type or multiple types of processing activities of an application operation, we present two bi-directional methods, both of which in turn use the relational model. From annotations of Delay Points within the code, the methods allow software developers to either fine-tune the operation‟s algorithm “targeting” a specified performance level in a bottom-up way or to predict the operation‟s performance due to code changes in a top-down way under a given workload. The methods do not need complex performance models or expensive performance testing of the whole application. We validate our model on a realistic experimentation framework. Our results indicate that it is possible to characterize an application Performance as a function of its Admittance and Load Potential and that the application Admittance can be characterized as a function of the latency of its Delay Points. Applying this method to complex large-scale systems has the potential to significantly reduce the cost of performance testing during system maintenance and evolution