Search results for " verification"
showing 10 items of 91 documents
Improving Password Memorability, While Not Inconveniencing the User
2019
Passwords are the most frequently used authentication mechanism. However, due to increased password numbers, there has been an increase in insecure password behaviors (e.g., password reuse). Therefore, new and innovative ways are needed to increase password memorability and security. Typically, users are asked to input their passwords once in order to access the system, and twice to verify the password, when they create a new account. But what if users were asked to input their passwords three or four times when they create new accounts? In this study, three groups of participants were asked to verify their passwords once (control group), twice, and three times (two experimental groups). Ps…
Constraint Management in Engineering of Complex Information Systems
2009
We propose to build an engineering environment for information systems by using metamodels, OCL and symbolic model checkers to manage constraints. Our proposal is based on a definition of constraints as 3D spaces with dimensions corresponding to UML diagrams, constructs, and abstraction levels. We show how such environments can help with engineering quality complex systems by allowing to lift up a part of constraint verifications.
Sea breeze thunderstorms in the eastern Iberian Peninsula. Neighborhood verification of HIRLAM and HARMONIE precipitation forecasts
2014
In this study we investigated sea breeze thunderstorms with intense convective activity (i.e., heavy rainfall, hail and gusty winds) that occurred over the eastern Iberian Peninsula (Spain) and were missed by the operational HIRLAM model. We used two grid-spacing setups (5.0. km and 2.5. km) of the hydrostatic HIRLAM model, and the non-hydrostatic spectral HARMONIE suite (2.5. km), to simulate isolated convection associated with sea breezes. The overall aim is to estimate the ability of these three experimental setups, in particular the HARMONIE model as the forthcoming operational numerical weather prediction in most European Weather Services, to correctly simulate convective precipitation…
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
2018
This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…
Applying a Data Quality Model to Experiments in Software Engineering
2014
Data collection and analysis are key artifacts in any software engineering experiment. However, these data might contain errors. We propose a Data Quality model specific to data obtained from software engineering experiments, which provides a framework for analyzing and improving these data. We apply the model to two controlled experiments, which results in the discovery of data quality problems that need to be addressed. We conclude that data quality issues have to be considered before obtaining the experimental results.
Towards Data Quality Runtime Verification
2019
This paper discusses data quality checking during business process execution by using runtime verification. While runtime verification verifies the correctness of business process execution, data quality checks assure that particular process did not negatively impact the stored data. Both, runtime verification and data quality checks run in parallel with the base processes affecting them insignificantly. The proposed idea allows verifying (a) if the process was ended correctly as well as (b) whether the results of the correct process did not negatively impact the stored data in result of its modification caused by the specific process. The desired result will be achieved by use of domain sp…
Waveforms clustering and single-station location of microearthquake multiplets recorded in the northern Sicilian offshore region
2013
In 2009 December, the OBSLab-INGV (Istituto Nazionale di Geofisica e Vulcanologia) deployed an Ocean Bottom Seismometer with Hydrophone (OBS/H) near the epicentral area of the main shock of the Palermo seismic sequence of 2002. The monitoring activity had a total duration of about 8 months. During this experiment, the OBS/H recorded 247 very local microearthquakes, whose local magnitude is between -0.5 and 2.5 and TS - TP delay time between 0.2 and 5 s, almost all ofwhichwere undetected by the Italian National Seismic Network. This local microseismicity has been analysed using an innovative clustering technique that exploits the similarity between the waveforms generated by different events…
QUALITY SYSTEM FOR PRODUCTION SOFTWARE (QSPS): AN INNOVATIVE APPROACH TO IMPROVE THE QUALITY OF PRODUCTION SOFTWARE
2013
A quality system for production software should be part of the quality management system of an organization and can be expressed as objectives in the form of processes, procedures, tools and responsibilities, designed and developed to fulfil the quality requirements. These usually are addressing the customers (external or internal), compliance with standards (effectiveness) waste reduction and better use of resources (efficiency) for continual improvement. Such systems are designed according to the requirements of the standards for quality management, software engineering and information security. Quality systems themselves could not provide all necessary means for driving the organization…
Technical assessment and evaluation of environmental models and software: Letter to the Editor
2011
International audience; This letter details the collective views of a number of independent researchers on the technical assessment and evaluation of environmental models and software. The purpose is to stimulate debate and initiate action that leads to an improved quality of model development and evaluation, so increasing the capacity for models to have positive outcomes from their use. As such, we emphasize the relationship between the model evaluation process and credibility with stakeholders (including funding agencies) with a view to ensure continued support for modelling efforts. Many journals, including EM&S, publish the results of environmental modelling studies and must judge the w…
Reward networks changes in the brain of pathological gamblers: a resting state functional magnetic resonance imaging study
2017
Aims and objectives Methods and materials Results Conclusion Personal information References