Uncertainty representation in software models: a survey

J Troya, N Moreno, MF Bertoa, A Vallecillo - Software and Systems …, 2021 - Springer
This paper provides a comprehensive overview and analysis of research work on how
uncertainty is currently represented in software models. The survey presents the definitions …

Dependability modeling and analysis of software systems specified with UML

S Bernardi, J Merseguer, DC Petriu - ACM Computing Surveys (CSUR), 2012 - dl.acm.org
The goal is to survey dependability modeling and analysis of software and systems specified
with UML, with focus on reliability, availability, maintainability, and safety (RAMS). From the …

Skeleton-based action recognition using LSTM and CNN

C Li, P Wang, S Wang, Y Hou… - 2017 IEEE International …, 2017 - ieeexplore.ieee.org
Recent methods based on 3D skeleton data have achieved outstanding performance due to
its conciseness, robustness, and view-independent representation. With the development of …

Modaclouds: A model-driven approach for the design and execution of applications on multiple clouds

D Ardagna, E Di Nitto, P Mohagheghi… - … on Modeling in …, 2012 - ieeexplore.ieee.org
Cloud computing is emerging as a major trend in the ICT industry. While most of the
attention of the research community is focused on considering the perspective of the Cloud …

Evaluating the quality of social media data in big data architecture

A Immonen, P Pääkkönen, E Ovaska - Ieee Access, 2015 - ieeexplore.ieee.org
The use of freely available online data is rapidly increasing, as companies have detected
the possibilities and the value of these data in their businesses. In particular, data from …

Run-time efficient probabilistic model checking

A Filieri, C Ghezzi, G Tamburrelli - Proceedings of the 33rd international …, 2011 - dl.acm.org
Unpredictable changes continuously affect software systems and may have a severe impact
on their quality of service, potentially jeopardizing the system's ability to meet the desired …

Insider threats to cloud computing: Directions for new research challenges

WR Claycomb, A Nicoll - 2012 IEEE 36th annual computer …, 2012 - ieeexplore.ieee.org
Cloud computing related insider threats are often listed as a serious concern by security
researchers, but to date this threat has not been thoroughly explored. We believe the …

Supporting self-adaptation via quantitative verification and sensitivity analysis at run time

A Filieri, G Tamburrelli, C Ghezzi - IEEE Transactions on …, 2015 - ieeexplore.ieee.org
Modern software-intensive systems often interact with an environment whose behavior
changes over time, often unpredictably. The occurrence of changes may jeopardize their …

Reliability analysis in symbolic pathfinder

A Filieri, CS Păsăreanu, W Visser - 2013 35th International …, 2013 - ieeexplore.ieee.org
Software reliability analysis tackles the problem of predicting the failure probability of
software. Most of the current approaches base reliability analysis on architectural …

Architecture-based reliability prediction with the palladio component model

F Brosch, H Koziolek, B Buhnova… - IEEE Transactions on …, 2011 - ieeexplore.ieee.org
With the increasing importance of reliability in business and industrial software systems, new
techniques of architecture-based reliability engineering are becoming an integral part of the …