RWSoftware

Displaying 1-40 of 283 results

  • White Papers // Nov 2014

    BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis

    Service availability is a challenging issue in cloud computing. It implies continuous reconfiguration of cloud architecture by adding or removing different resources (virtual machines and services) to ensure the suited quality of service. Thus a main goal in cloud systems design is to model and analyze cloud architecture and its...

    Provided By RWSoftware

  • White Papers // Nov 2014

    A Highly Adaptive Leader Election Algorithm for Mobile Ad Hoc Networks

    Leader election has been identified as a basic building block in distributed computing. MANETs are distinct from traditional distributed systems as they are dynamic and self-organizing networks because of their dynamic wireless link formation and removal, network partitioning and disconnections, limited bandwidth and energy and highly variable message delay. These...

    Provided By RWSoftware

  • White Papers // Nov 2014

    Software Component Quality Evaluation

    Component-Based Software Engineering (CBSE) provides for developers the ability to easily reuse and assemble software entities to build complex software. It is based on the composition of prefabricated software entities called components. In this paper, the selection step is very important. It consists of searching and selecting appropriate software components...

    Provided By RWSoftware

  • White Papers // Nov 2014

    A New Distributed Anonymization Protocol to Satisfy Multiple Data Provider's Privacy Requirements

    Privacy and security concerns are among the main obstacles facing the widespread adoption of this new technology. Data anonymization makes data worthless to anyone except the owner of the data. It is one of the methods for transforming the data in such a way that it prevents identification of key...

    Provided By RWSoftware

  • White Papers // Nov 2014

    Ontology-Driven and Community-Based Framework for Services Description and Selection of Composite Services

    In this paper, the authors propose OWL DL ontology for web service description which aims at automating selection of composite web services. In this ontology, they identify communities as a mean to organize web services for a given shared domain. They relate concepts of community, service's functionality (atomic abstract service...

    Provided By RWSoftware

  • White Papers // Nov 2014

    Specifing and Verifing Aspect-Oriented Systems in Rewriting Logic

    Aspect-Oriented (AO) systems have to deal with an important problem which is the management of aspect interaction. In this paper, the authors introduce a first tool, known as AO-Maude, which is based on Maude language for the specification and the verification of the AO systems. The proposed tool relies on...

    Provided By RWSoftware

  • White Papers // Nov 2014

    A Multi-Objective Hybrid Particle Swarm Optimization-Based Service Identification

    Service identification step is a basic requirement for a detailed design and implementation of services in a Service Oriented Architecture (SOA). Existing methods for service identification ignore the automation capability while providing human based prescriptive guidelines, which mostly are not applicable at enterprise scales. In this paper, the authors propose...

    Provided By RWSoftware

  • White Papers // Nov 2014

    Formal Specification of Multi-Agent System Architecture

    Multi-Agent Systems (MAS) are an emerging paradigm that has high potentials for developing distributed, open and concurrent complex systems. These systems often need to operate in dynamic environments and face the challenges of handling continuously changing requirements. These aspects increase the complexity of designing MAS. To handle the complexity and...

    Provided By RWSoftware

  • White Papers // Nov 2014

    K-Maude Definition of Dynamic Software Architecture

    One of the complex issues in developing architectural models of software systems is the capturing of architectures dynamics, i.e., systems for which composition of interacting components, changes at run time. In this paper, the authors argue that it is possible and valuable to provide a Dynamic Software Architecture Meta-model (DySAM)...

    Provided By RWSoftware

  • White Papers // Nov 2014

    Component-Based Specification of Software Product Line Architecture

    Software product lines have known an increasing use over the last years, taking advantage from the important benefits they may bring to software development in terms of time, cost and effort. However, product line approaches remain immature owing to the fact that they still base on traditional design concepts of...

    Provided By RWSoftware

  • White Papers // Nov 2014

    Dealing with Deviations on Software Process Enactment : Comparison Framework

    Software development is a collective and complex task carried out through the cooperation of human agents and automated tools, this interaction defines the software process. PSEE (Process-centered Software Engineering Environment) are environments designed to support the creation and exploitation of software process models that define the expected behaviors of process...

    Provided By RWSoftware

  • White Papers // Nov 2014

    Modeling Channel Allocation via BRS: Case of WMNs

    Wireless Mesh Networks (WMNs), is an emerging wireless technology which attracts more and more attention of service providers and enterprises. The main advantage of this new class of network is to offer a flexible and economical way to expand internet access. Their major concern is to improve the flow and...

    Provided By RWSoftware

  • White Papers // Nov 2014

    Generating FoCaLiZe Specifications from UML Models

    UML is the defacto standard language to graphically describe systems in an object oriented way. Once an application has been modeled, Model Driven Architecture (MDA) techniques can be applied to generate code from such models. Because UML lacks formal basis to analyze and check model consistency, it is pertinent to...

    Provided By RWSoftware

  • White Papers // Nov 2014

    The Wi-STARK Architecture for Resilient Real-Time Wireless Communications

    Networking communications play an important role to secure a dependable and timely operation of distributed and real-time embedded system applications; however, an effective real-time support is not yet properly addressed in the wireless realm. This paper presents Wi-STARK, a novel architecture for resilient and real-time wireless communications within a one-hop...

    Provided By RWSoftware

  • White Papers // Nov 2014

    Constant Bandwidth Server Revisited

    The Constant Bandwidth Server (CBS) is an algorithm for providing temporal protection and real-time guarantees to real-time sporadic tasks. Recently, an implementation of this algorithm called SCHED-DEADLINE has been included in the Linux kernel. Therefore, the CBS algorithm is now used to serve more generic tasks than do not obey...

    Provided By RWSoftware

  • White Papers // Nov 2014

    Validation of a Security Metamodel for Development of Cloud Applications

    Development of secure cloud applications requires a supportive approach that should also enable software assessment and certification by different mechanisms. These can assure by independent means that the required security is present. In this paper, the authors present a Core Security Meta-model (CSM) that is the director of a security...

    Provided By RWSoftware

  • White Papers // Nov 2014

    On Metamodel Superstructures Employing UML Generalization Features

    The authors employ UML generalization features in order to describe multi-level meta-models and their connections. The basic idea is to represent several meta-model levels in one UML and OCL model and to connect the meta-models with (what they call) a superstructure. The advantage of having various levels in one model...

    Provided By RWSoftware

  • White Papers // Oct 2014

    Software Analytics for MDE Communities

    The MDE research community has grown significantly in size and maturity in the last decade. During these years, a plethora of languages and tools has been proposed to address different challenges of the MDE approach to software development. As the community continues to broaden its expertise, it is worthwhile to...

    Provided By RWSoftware

  • White Papers // Oct 2014

    Energy Efficiency Embedded Service Lifecycle: Towards an Energy Efficient Cloud Computing Architecture

    Cloud computing aims to streamline the on-demand provisioning of software, hardware, and data to provide flexibility and agility, and economies of scale in IT resource management. The paper argues the need to provide novel methods and tools to support software developers aiming to optimize energy efficiency and minimize the carbon...

    Provided By RWSoftware

  • White Papers // Oct 2014

    Privacy-Preserving Indoor Localization

    Upcoming Wi-Fi-based localization systems for indoor environments face a conflict of privacy interests: server-side localization violates location privacy of the users, while localization on the user's device forces the localization provider to disclose the details of the system, e.g., sophisticated classification models. The authors show how secure two-party computation can...

    Provided By RWSoftware

  • White Papers // Oct 2014

    Eco-Reports in Clouds

    In this paper, the authors discuss the issues arising from the need of presenting to the user information about the environmental impact of their applications in a cloud environment. Several aspects have to be considered: to make aware the users of the energy consumption and environmental impact of their applications,...

    Provided By RWSoftware

  • White Papers // Oct 2014

    Eco-Efficient Cloud Resource Monitoring and Analysis

    In this paper, the authors present an enhanced monitoring approach considering the infrastructure of providers' sites and the Virtual Machines (VMs) hosted on physical nodes. It considers the GAMES and the OPTIMIS projects that were both developing methods for energy-aware resource usage. This paper presents an approach for monitoring cloud...

    Provided By RWSoftware

  • White Papers // Oct 2014

    Integrating Run-Time Observations and Design Component Models for Cloud System Analysis

    Run-time models have been proven beneficial in the past for predicting upcoming quality flaws in cloud applications. Observation approaches relate measurements to executed code whereas prediction models oriented towards design components are commonly applied to reflect reconfigurations in the cloud. Levels of abstraction differ between code observations and these prediction...

    Provided By RWSoftware

  • White Papers // Oct 2014

    On Developing Open Source MDE Tools: Our Eclipse Stories and Lessons Learned

    Tool development has always been a fundamental activity of software engineering. Now-a-days, open source is changing the way this is done in many organizations. Traditional ways of doing things are progressively enhanced or even sometimes replaced by new organizational schemes, benefiting as much as possible from the properties of Open...

    Provided By RWSoftware

  • White Papers // Oct 2014

    On Static and Dynamic Analysis of UML and OCL Transformation Models

    This contribution discusses model transformations in the form of transformation models that connect a source and a target meta-model. The transformation model is statically analyzed within a UML and OCL tool by giving each constraint an individual representation in the underlying class diagram by highlighting the employed model elements. The...

    Provided By RWSoftware

  • White Papers // Oct 2014

    HybridRank : A Hybrid Content-Based Approach to Mobile Game Recommendations

    The massive number of mobile games available necessitates a technique to help the consumer find the right game at the right time. This paper introduces HybridRank, a novel hybrid algorithm to deliver recommendations for mobile games. This technique is based on a personalized random walk approach, with the incorporation of...

    Provided By RWSoftware

  • White Papers // Oct 2014

    A Hybrid Strategy for Privacy-Preserving Recommendations for Mobile Shopping

    To calculate recommendations, recommender systems collect and store huge amounts of users' personal data such as preferences, interaction behavior, or demographic information. If these data are used for other purposes or get into the wrong hands, the privacy of the users can be compromised. Thus, service providers are confronted with...

    Provided By RWSoftware

  • White Papers // Oct 2014

    Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation

    Complex model-based tools such as code generators are typically designed as chains of model transformations taking as input a model of a software application and transforming it through several intermediate steps and representations. The complexity of intermediate models is such that testing is more conveniently done on the integrated chain,...

    Provided By RWSoftware

  • White Papers // Sep 2014

    Model-Checking Cloud Systems Using BigMC

    Cloud computing is a promising concept in the IT evolution that has increasingly attracted attention from both industry and academic sectors. However, it has introduced new security problems and obstacles. Since formal methods provide a reliable mathematical basis giving rise to safely analyzable and easily verifiable models, this paper, the...

    Provided By RWSoftware

  • White Papers // Sep 2014

    Coping with Spoofed PS-Poll Based DoS Attack in IEEE 802.11 Networks

    IEEE 802.11 networks are particularly vulnerable to DoS (Denial of Service) attacks targeting the network availability. In this paper, the authors focus on the PS-Poll based DoS attack, where the attacker spoofs the polling frame on behalf of the client in order to discard the client's buffered packets at the...

    Provided By RWSoftware

  • White Papers // Sep 2014

    Analytical Modeling of the IEEE 802.11e EDCA Network with Contention Free Burst

    Contention Free Burst (CFB) is a promising burst transmission scheme defined in the IEEE 802.11e Medium Access Control (MAC) protocol to achieve differentiated Quality of Service (QoS) and improve the utilization of the wireless scarce bandwidth. Although modeling and performance analysis of the IEEE 802.11e network have attracted tremendous research...

    Provided By RWSoftware

  • White Papers // Sep 2014

    Derivation of a Queuing Network Model for Structured P2P Architectures

    Peer-To-Peer (P2P) networks have using commonly used for tasks such as file sharing or file distribution, and for building distributed applications in large scale network. Their performance measures are generally based on simulation methods software such as NS-2, P2PSim, OpenNet, etc. Hence, the absence of a validation of the simulation...

    Provided By RWSoftware

  • White Papers // Sep 2014

    Applying Data Fragmentation in IEEE 802.15.4: Modeling and Analysis Under Unsaturated Traffic

    The IEEE 802.15.4 standard, which is developed for low rate applications, offers low latency and energy consumption for wireless sensor networks. The use of the standardized slotted Carrier Sense Multiple Access (CSMA/CA), as a channel access mechanism, can, however, lead to wastage of the bandwidth utilization and an additional transmission...

    Provided By RWSoftware

  • White Papers // Sep 2014

    Mapping OCL Constraints Into CTL-Like Logic and SML for UML Validation

    The UML (Unified Modeling Language) graphical models miss providing some pertinent elements of specification as constraints over objects and operations. To fill this lack, OCL (Object Constraint Language) has been developed by IBM and integrated to UML as a modern and formal modeling language, which is easy to learn and...

    Provided By RWSoftware

  • White Papers // Sep 2014

    Cross-Layer Energy-Aware Protocol for Wireless Sensor Networks

    The resource limited nature of WSNs requires that protocols implemented on these networks be energy-efficient, scalable and distributed. In this paper, the authors present a novel combined routing and MAC protocol. The protocol achieves energy efficiency by minimizing signaling overhead through stateless routing decisions that are made at the receiver...

    Provided By RWSoftware

  • White Papers // Sep 2014

    Comparison of Routing Protocols in Wireless Sensor Networks

    Several routing protocols have been proposed to maximize the sensor networks lifetime. However, most of these solutions try to find an energy efficient path and don't account for energy consumption balancing in sensor network. This usually leads to network partitioning. The aim of this paper is to evaluate, analyze and...

    Provided By RWSoftware

  • White Papers // Sep 2014

    Fairness Improvement of MAC in Wireless Ad Hoc Networks

    There are many Medium Access Control (MAC) protocols proposed to achieve fairness in presence of hidden and/or exposed nodes. In a general approach to address the problem of fairness is proposed. This approach defines a fairness index and the goal is to minimize this fairness index to achieve fairness. In...

    Provided By RWSoftware

  • White Papers // Sep 2014

    Graph Clustering Evaluation Metrics as Software Metrics

    Graph Clustering Evaluation (GCE) metrics quantify the quality of clusters obtained by graph clustering (community detection) algorithms. In this paper, the authors argue that GCE metrics can be applied on graph representations of software systems in order to evaluate the degree of cohesiveness of software entities. In contrast to widely...

    Provided By RWSoftware

  • White Papers // Sep 2014

    Feature Models at Run Time: Feature Middleware for Multi-Tenant SaaS Applications

    Software Product Line Engineering (SPLE) techniques revolve around a central variability model which in many cases is a feature model that documents the logical capabilities of the system as features and the variability relationships between them. In more traditional SPLE, this feature model is a result of domain analysis and...

    Provided By RWSoftware

  • White Papers // Sep 2014

    Approaches for Test Case Generation From UML Diagrams

    Model Based Testing (MBT) is an important approach with many advantages that can reduce the cost and increase the effectiveness and quality of a testing procedure. In MBT, test cases can be derived from different models, also from the popularly used UML diagrams. Different UML diagrams include various important pieces...

    Provided By RWSoftware

  • White Papers // Oct 2013

    Predicting Parallelization of Sequential Programs Using Supervised Learning

    The authors investigate an automatic method for classifying which regions of sequential programs could be parallelized, using dynamic features of the code collected at runtime. They train a supervised learning algorithm on versions of the NAS Parallel Benchmark (NPB) code hand-annotated with OpenMP parallelization directives in order to approximate the...

    Provided By RWSoftware

  • White Papers // Oct 2013

    Detecting Correlation Violations and Data Races by Inferring Non-Deterministic Reads

    With the introduction of multicore systems and parallel programs concurrency bugs have become more common. A notorious class of these bugs is data races that violate correlations between variables. This happens, for example, when the programmer does not update correlated variables atomically, which is needed to maintain their semantic relationship....

    Provided By RWSoftware

  • White Papers // Aug 2013

    A Dynamic Resource Management System for Network-Attached Accelerator Clusters

    Over the years, cluster systems have become increasingly heterogeneous by equipping cluster nodes with one or more accelerators such as Graphic Processing Units (GPU). These devices are typically attached to a compute node via PCI Express. As a consequence, batch systems such as TORQUE/Maui and SLURM have been extended to...

    Provided By RWSoftware

  • White Papers // Oct 2013

    Efficient Offloading of Parallel Kernels Using MPI Comm Spawn

    The integration of accelerators into cluster systems is currently one of the architectural trends in high performance computing. Usually, those accelerators are manycore compute devices which are directly connected to individual cluster nodes via PCI Express. Recent advances of accelerators, however, do not require a host CPU anymore and now...

    Provided By RWSoftware

  • White Papers // Jul 2013

    Discovery of Potential Parallelism in Sequential Programs

    Although multicore CPUs are dominating the market of desktops and servers, writing programs that utilize the available hardware parallelism on these architectures still remains a challenge. In this paper, the authors present a dynamic approach for automatically identifying potential parallelism in sequential programs. Their method is based on the notion...

    Provided By RWSoftware

  • White Papers // Mar 2013

    Automatic Generation of Parallel Unit Tests

    Multithreaded software is subject to data races. Currently available data race detectors report such errors to the developer, but consume large amounts of time and memory; many approaches are not applicable for large software projects. Unit tests containing fractions of the program lead to better results. The authors propose AutoRT,...

    Provided By RWSoftware

  • White Papers // Apr 2012

    Scalable Detection of MPI-2 Remote Memory Access Inefficiency Patterns

    Wait states in parallel applications can be identified by scanning event traces for characteristic patterns. In this paper, the authors have defined such inefficiency patterns for MPI-2 one-sided communication, although still based on a serial trace-analysis scheme with limited scalability. In this paper, they show how wait states in one-sided...

    Provided By RWSoftware

  • White Papers // Sep 2012

    Pattern-Independent Detection of Manual Collectives in MPI Programs

    In parallel applications, a significant amount of communication occurs in a collective fashion to perform, for example, broadcasts, reductions, or complete exchanges. Although the MPI standard defines many convenience functions for this purpose, which not only improve code readability and maintenance but are usually also highly efficient, many application programmers...

    Provided By RWSoftware

  • White Papers // Oct 2012

    Performance Analysis Techniques for Task-Based OpenMP Applications

    To harness the available performance of today's multi-core systems, applications need to make efficient use of the available parallelism. Cores sitting idle, for example in communication calls waiting for data to arrive or in synchronization operations due to load imbalance, waste resources and reduce the overall performance of the application....

    Provided By RWSoftware

  • White Papers // Feb 2012

    Characterizing Load and Communication Imbalance in Large-Scale Parallel Applications

    Load or communication imbalance prevents many codes from taking advantage of the parallelism available on modern supercomputers. The authors present two scalable methods to highlight imbalance in parallel programs: The first method identifies delays that inflict wait states at subsequent synchronization points, and attributes their costs in terms of resource...

    Provided By RWSoftware

  • White Papers // Oct 2012

    A Dynamic Accelerator-Cluster Architecture

    Accelerators such as Graphics Processing Units (GPUs) provide an inexpensive way of improving the performance of cluster systems. In such an arrangement, the individual nodes of the cluster are directly connected to one or more accelerator devices via PCI Express. This results in a static mapping of accelerators onto compute...

    Provided By RWSoftware

  • White Papers // May 2011

    A Scalable Replay-Based Infrastructure for the Performance Analysis of One-Sided Communication

    Partitioned Global Address Space (PGAS) languages combine the convenient abstraction of shared memory with the notion of affinity, extending multi-threaded programming to large-scale systems with physically distributed memory. However, in spite of their obvious advantages, PGAS languages still lack appropriate tool support for performance analysis, one of the reasons why...

    Provided By RWSoftware

  • White Papers // Feb 2011

    Reconciling Sampling and Direct Instrumentation for Unintrusive Call-Path Profiling of MPI Programs

    The authors can profile the performance behavior of parallel programs at the level of individual call paths through sampling or direct instrumentation. While they can easily control measurement dilation by adjusting the sampling frequency, the statistical nature of sampling and the difficulty of accessing the parameters of sampled events make...

    Provided By RWSoftware

  • White Papers // Nov 2010

    Patterns of Inefficient Performance Behavior in GPU Applications

    In view of the broadening requirements of today's graphics applications, graphics processors are shifting toward a more generic architecture with enhanced programmability. Writing efficient software for heterogeneous architectures equipped with modern accelerator devices presents a serious challenge to programmer productivity, creating a need for powerful performance-analysis tools to adequately support...

    Provided By RWSoftware

  • White Papers // Oct 2010

    Recent Developments in the Scalasca Toolset

    The number of processor cores on modern supercomputers is increasing from generation to generation, and as a consequence HPC applications are required to harness much higher degrees of parallelism to satisfy their growing demand for computing power. However, writing code that runs efficiently on large processor configurations remains a significant...

    Provided By RWSoftware

  • White Papers // Sep 2010

    Identifying the Root Causes of Wait States in Large-Scale Parallel Applications

    Driven by growing application requirements and accelerated by current trends in microprocessor design, the number of processor cores on modern supercomputers is increasing from generation to generation. However, load or communication imbalance prevents many codes from taking advantage of the available parallelism, as delays of single processes may spread wait...

    Provided By RWSoftware

  • White Papers // Apr 2010

    Performance Analysis of Sweep3D on Blue Gene/P With the Scalasca Toolset

    In studying the scalability of the Scalasca performance analysis toolset to several hundred thousand MPI processes on IBM Blue Gene/P, the authors investigated a progressive execution performance deterioration of the well-known ASCI Sweep3D compact application. Scalasca runtime summarization analysis quantified MPI communication time that correlated with computational imbalance, and automated...

    Provided By RWSoftware

  • White Papers // Mar 2010

    Performance Tuning in the Petascale Era

    Driven by application requirements and accelerated by current trends in microprocessor design, the number of processor cores on modern supercomputers grows from generation to generation. As a consequence, supercomputing applications are required to harness much higher degrees of parallelism in order to satisfy their growing demand for computing power. However,...

    Provided By RWSoftware

  • White Papers // Oct 2014

    Privacy-Preserving Indoor Localization

    Upcoming Wi-Fi-based localization systems for indoor environments face a conflict of privacy interests: server-side localization violates location privacy of the users, while localization on the user's device forces the localization provider to disclose the details of the system, e.g., sophisticated classification models. The authors show how secure two-party computation can...

    Provided By RWSoftware

  • White Papers // Mar 2014

    Requirements Engineering for ADDICTion-Aware Software (E-ADDICT)

    Digital Addiction, (hereafter referred to as DA), has become a serious issue that has a diversity of socio-economic side effects. In spite of its high importance, DA has received little recognition and little guidance as to how software engineering should take it into account. This is in stark contrast to...

    Provided By RWSoftware

  • White Papers // Mar 2014

    Definition and Use of Software Requirement Patterns in Requirements Engineering Activities

    The final quality of software products and services depends on the requirements stated in the Software Requirements Specification (SRS). However, some problems like ambiguity, incompleteness and inconsistency, have been reported in the writing of SRS, especially when natural language is used. Requirements reuse has been proposed as a key asset...

    Provided By RWSoftware

  • White Papers // Mar 2014

    A Model-Driven Method for Gesture-Based Interface Requirements Specification

    Currently there are several software development suites that include tools for user interface design and implementation (mainly by programming source code). Some of the tools are multi-platform and multi-style; that is, al-lowing the specification of devices, e.g. computer, notebook, Smartphone, and user interaction styles, e.g. based on gestures, voice, mouse...

    Provided By RWSoftware

  • White Papers // Mar 2014

    Towards Crowdsourcing for Requirements Engineering

    Crowdsourcing is an emerging, typically online, distributed problem solving and production model where a problem is solved through the involvement of a large number of people. In this paper, the authors investigate the potential of crowdsourcing in aiding Requirements Engineering (RE). Although the whole area is still to be explored...

    Provided By RWSoftware

  • White Papers // Mar 2014

    Estimation of Human Mobility Patterns and Attributes Analyzing Anonymized Mobile Phone CDR: Developing Real-Time Census From Crowds of Greater Dhaka

    Anonymized mobile phone CDR allows the user to capture dynamics of mass population movement where individual trajectories are still traceable. While, outcomes of research analyzing CDR merely show distribution of people or crowds, which are aggregation of mass trajectories without any attributes. To further investigate hidden properties of human mobility...

    Provided By RWSoftware

  • White Papers // Sep 2013

    Using Model-Driven Development Tools for Object-Oriented Modeling Education

    Model-Driven Development (MDD) can help verify the accuracy of models and generate source codes, which allows a programmer to minimize the development time required to evaluate the software so that the user's can focus on the modeling process. Thus, modeling should be taught with MDD because it allows students to...

    Provided By RWSoftware

  • White Papers // Sep 2013

    Multi-faceted Practical Modeling Education for Software Engineering

    It is a challenge to teach modeling to undergraduates. Primarily, the difficulty is of teaching abstract concepts because it is hard for students to digest and appreciate abstractions. This paper is about developing a curriculum in which students can experience how models enable one to: find solutions, verify solutions, and...

    Provided By RWSoftware

  • White Papers // Mar 2014

    Assessing Software Design Skills and Their Relation with Reasoning Skills

    Lecturers see students struggle learning software design. In order to create educational interventions it is needed to know which reasoning skills are related to students' software design performance. The authors introduce an online test for measuring students' software design skills and relate those with abstract reasoning. Two student groups of...

    Provided By RWSoftware

  • White Papers // Mar 2014

    Tool Use in Software Modelling Education

    An important decision that must be taken by anyone designing a course involving (object oriented software) modeling is what tool support, if any, to use. Options include picking an industrial strength modeling tool, using a tool specifically designed for educational use, or eschewing tool use altogether in favor of pencil...

    Provided By RWSoftware

  • White Papers // Feb 2014

    Mobile Sensing Data for Urban Mobility Analysis: A Case Study in Preprocessing

    Pervasiveness of mobile phones and the fact that the phones have sensors make them ideal as personal sensors. Smart phones are equipped with a wide range of motion, location and environment sensors that allow the user to analyze, model and predict mobility in urban areas. Raw sensory data is being...

    Provided By RWSoftware

  • White Papers // May 2014

    On the Classification of Cyberphysical Smart Objects in the Internet of Things

    The vision of the Internet of Things (IoT) based on Smart Objects (SOs) promotes a high-level architectural organization of the future IoT designed around the basic concept of SO. A SO is an autonomous, cyber-physical object augmented with sensing/actuation, processing, storing, and networking capabilities. An important issue in sup-porting future...

    Provided By RWSoftware

  • White Papers // May 2014

    An Exploratory Study on the Outcomes of Influence Strategies in Mobile Application Recommendations

    The rapid growth in the mobile application market presents a significant challenge to find interesting and relevant applications for users. Recommendation systems deal with ends such as movies and consumer goods that are consumed by users where similarity between consumer tastes is generally taken into account. On the other hand,...

    Provided By RWSoftware

  • White Papers // May 2014

    Cyber-Physical Software Systems for Smart Worlds: A Case Study of Intelligent Transportation System

    In this paper, the authors discusses the design of cyber-physical systems software around Intelligent Physical Worlds (IPW). An IPW is the embodiment of control software functions wrapped around the external world processes. The IPW performs core domain-specific activities while adapting its behavior to the changing environment conditions and user inputs....

    Provided By RWSoftware

  • White Papers // Apr 2014

    ANIMO, Framework to Simplify the Real-Time Distributed Communication

    In this paper, the authors present a communication framework developed for inter-connecting multi-systems based on the Data Distribution Service (DDS). The new built framework, called ANIMO, facilitates the integration of DDS in an application and the interoperability between the different data types of the Co-operating Objects (COs) with the great...

    Provided By RWSoftware

  • White Papers // Apr 2014

    Distributed Agent-Based Dynamic State Estimation Over a Lossy Network

    In this paper, a novel distributed agent-based dynamical sys-tem estimation strategy is proposed. Each agent has a local observation space and is interested in a specific set of system state elements. The agents have the ability of two-way communication with its neighbors (i.e., agents who share at least one state...

    Provided By RWSoftware

  • White Papers // Aug 2014

    GPS Navigation Algorithm Based on OSM Data

    Satellite navigation algorithms are used everywhere in modern life. Every computing system, even a Smartphone, is equipped with some kind of navigation application (at least, Google maps). Such an application is able to build a route from one point to another, show it on a map, etc. Each navigation application...

    Provided By RWSoftware

  • White Papers // Jun 2014

    Criteria, Challenges and Opportunities for Gesture Programming Languages

    An increasing number of today's consumer devices such as mobile phones or tablet computers are equipped with various sensors. The extraction of useful information such as gestures from sensor-generated data based on mainstream imperative languages is a notoriously difficult task. Over the last few years, a number of domain-specific programming...

    Provided By RWSoftware

  • White Papers // May 2014

    Using a Rich Context Model for a News Recommender System for Mobile Users

    Recommender systems have become an important application domain related to the development of personalized mobile services. Thus, various recommender mechanisms have been developed for filtering and delivering relevant information to mobile users. This paper presents a rich context model to provide the relevant content of news to the current context...

    Provided By RWSoftware

  • White Papers // May 2014

    Evaluating the Effectiveness of Stereotype User Models for Recommendations on Mobile Devices

    Mobile recommender systems have been proven as a promising approach in mobile scenarios to support the decision making process of users by suggesting beneficial items in a certain mobile context. The main goal of this paper is to examine whether a stereotype user model leads to better recommendations as part...

    Provided By RWSoftware

  • White Papers // May 2014

    Understanding Service Variability for Profitable Software as a Service: Service Providers' Perspective

    The number of tenants that subscribe to and pay for a ser-vice, and the cost of the SaaS computing infrastructure are the main factors that drive service profitability. In many application domains tenants' requirements for service vary. Service variability is the degree of the actual variability provided by the service...

    Provided By RWSoftware

  • White Papers // May 2014

    A Meta-Model for Process Map Design

    Process maps provide a holistic view of all processes of an organization by visualizing their essential relationships. The design of a process map is of central importance as many organizations create them at the start of a Business Process Management (BPM) initiative to serve as a framework. Despite this importance,...

    Provided By RWSoftware