At present, model-driven engineering plays an essential role in softwaredevelopment. Model versioning systems perform the task of conflict detection when merging parallel-developed model versions. However, conflict d...
详细信息
At present, model-driven engineering plays an essential role in softwaredevelopment. Model versioning systems perform the task of conflict detection when merging parallel-developed model versions. However, conflict detection is typically conducted at the primitive operation level in operation-based systems. This situation implies that the overall intention of model developers may be disregarded, which results in unsatisfactory performance. In this study, we present an approach to conflict detection at the composite level in model versioning systems for Unified Modeling Language. This approach has two main stages. During the preprocessing stage, redundant operations are removed from the originally recorded operation lists to increase efficiency. During the conflict detection stage, a fragmentation procedure is conducted with only potentially conflicted operations allocated into the same fragment. Then, a pattern-matching strategy is applied to help indicate conflicts.
Model-based softwaredevelopment tools should provide user-friendly navigation services to allow users browsing (show/hide and zoom in/zoom out) various model details in diagrams. This functionality is crucial in deve...
详细信息
Model-based softwaredevelopment tools should provide user-friendly navigation services to allow users browsing (show/hide and zoom in/zoom out) various model details in diagrams. This functionality is crucial in development of large-scale models. In this paper, we present an approach for formal definition of navigation services based on transformations. We introduce view-to-view transformations applying ATL, and present formal definition of navigation service. We also present a prototype implementing the approach. The prototype adds facilities of navigation servicers design to GMF and uses KIELLER toolset for layout of transformation results. A graphical editor for UML class diagrams with 12 navigation services, which have been specified using the approach, is presented.
Quantitative participatory exploration of the many complex issues surrounding cross-sectoral climate change impacts, vulnerability and adaptation under uncertain futures is dependent on the provision, in some form, of...
详细信息
Quantitative participatory exploration of the many complex issues surrounding cross-sectoral climate change impacts, vulnerability and adaptation under uncertain futures is dependent on the provision, in some form, of scenarios and scenario outputs. However, the normal provision by the research community of pre-defined scenario outputs results in a lack of flexibility for stakeholders regarding choice of climate models, scenarios, scenario quantification and output indicators which in turn can lead to a lack of trust. This Special Issue describes the development and application of a web-based interactive simulation and display environment, called the CLIMSAVE Integrated Assessment (IA) Platform, which provides a holistic (cross-sectoral, climate and socio-economic change) modelling framework. The IA Platform guides the user through simulation of (1) potential impacts under scenarios of climate and/or socio-economic change, (2) identification of sectoral and multi-sectoral vulnerability 'hotspots' either before or after adaptation, (3) the potential for adaptation to reduce impacts within the capital constraints of the selected scenario(s), and (4) the cost-effectiveness of adaptation measures. The Special Issue explores how the IA Platform has been: (i) designed to provide a user-friendly, intuitive and facilitating, rather than predictive or prescriptive, environment for users;and (ii) utilised to quantitatively explore a diverse range of uncertain futures across Europe.
The article discusses research which developed a program that can convert whispers into normal-sounding speech, referencing a study by Hideaki Konno et al, published in an issue of 'Speech Communication.'
The article discusses research which developed a program that can convert whispers into normal-sounding speech, referencing a study by Hideaki Konno et al, published in an issue of 'Speech Communication.'
In the paper, taint analysis problem is considered. To solve it, static interprocedural context-, flow-, and object-sensitive algorithm is proposed. Characteristics of the algorithm are evaluated, and specific feature...
详细信息
In the paper, taint analysis problem is considered. To solve it, static interprocedural context-, flow-, and object-sensitive algorithm is proposed. Characteristics of the algorithm are evaluated, and specific features of the implementation of the algorithm on the basis of the LLVM compiler infrastructure are discussed. Results of evaluation are presented.
This study focuses on a dynamic environment where data-intensive jobs and computing-intensive jobs are submitted to a grid at the same time. The authors analyse nine heuristic algorithms in a grid and give a compariso...
详细信息
This study focuses on a dynamic environment where data-intensive jobs and computing-intensive jobs are submitted to a grid at the same time. The authors analyse nine heuristic algorithms in a grid and give a comparison of them in a simulation environment. The nine heuristics are: (i) min-min, (ii) max-min, (iii) duplex, (iv) sufferage, (v) minimum execution time (MET), (vi) opportunistic load balancing (OLB), (vii) fast-fit, (viii) best-fit and (ix) adaptive scoring job scheduling (ASJS). In the simulation, different ratios between the data-intensive jobs and computing-intensive jobs are used to investigate for the performance of the nine heuristics under different arrival rates. Five parameters are used to estimate the performance of those methods. Those parameters include average execution time, average waiting time, the number of finished jobs (FB), the sum of file size that has been submitted to the grid (SFS) and the total number of instructions of all finished jobs (SINI). Simulation results show that four out of the nine heuristics have relative good performance in the job scheduling in the grid systems. They are best-fit, MET, ASJS and OLB.
Model checking and logic-based learning together deliver automated support, especially in adaptive and autonomous *** MATERIALS AVAILABLE FOR DOWNLOAD Buy this article Html (7KB)PDF (981KB)Digital Edition
Model checking and logic-based learning together deliver automated support, especially in adaptive and autonomous *** MATERIALS AVAILABLE FOR DOWNLOAD Buy this article Html (7KB)PDF (981KB)Digital Edition
developments of technologies that facilitate vehicle connectivity represent a market demand. In particular, mobile device ( MD) technology provides advanced user interface, customization, and upgradability characteris...
详细信息
developments of technologies that facilitate vehicle connectivity represent a market demand. In particular, mobile device ( MD) technology provides advanced user interface, customization, and upgradability characteristics that can facilitate connectivity and possibly aid in the goal of autonomous driving. This work explores the use of a MD in the control system of a conceptual electric vehicle (EV). While the use of MD for real-time control and monitoring has been reported, proper consideration has not been given to delays in data flow and their effects on system performance. The motor of a novel propulsion system for an EV was conditioned to be controlled in a wireless local area network by an ecosystem that includes a MD and an electronic board. An intended accelerator signal is predefined and sent to the motor and rotational speed values produced in the motor are sent back to the MD. Sample periods in which the communication really occurs are registered. Delays in the sample periods and produced errors in the accelerator and rotational speed signals are presented and analyzed. Maximum delays found in communications were of 0.2 s, while the maximum error produced in the accelerator signal was of 3.54%. Delays are also simulated, with a response that is similar to the behavior observed in the experiments.
By their sheer size, adaptation investments are processes addressing multiple climate impacts at the same time. Nevertheless, cross-sectoral effects of adaptation measures are rarely taken into consideration in adapta...
详细信息
By their sheer size, adaptation investments are processes addressing multiple climate impacts at the same time. Nevertheless, cross-sectoral effects of adaptation measures are rarely taken into consideration in adaptation costing and cost-effectiveness analysis (CEA). We explicitly address joint adaptation processes by focusing on inter- or intra-sectoral adaptation synergies within a cost-effectiveness framework. A software tool - CrossAdapt - has been developed in order to quantify cross-sectoral adaptation impacts based on expert judgement. Our research shows that the calculation of cross-sectoral impacts and their integration into cost-effectiveness analysis can significantly affect the cost-effectiveness ranking of adaptation measures. Future European adaptation strategies can benefit from the analytical possibility of estimating net adaptation costs based on CrossAdapt.
The article discusses a state-based generalization of page objects or state objects. It describes the features of several tools, including WebDriver, a tool used for testing Web applications. Statecharts from the Unif...
详细信息
The article discusses a state-based generalization of page objects or state objects. It describes the features of several tools, including WebDriver, a tool used for testing Web applications. Statecharts from the Unified Modeling Language (UML) are used in order to model Web application navigation. Inspection methods and trigger methods are identified as two types of methods for each state object. In addition, the article provides instructions on logging with conditional events, registering a new user and logging into an application.
暂无评论