Publications of the Faculty of Computer Science
Browse by
Collections in this community
-
Editorship - Computer Science
Journal issues or miscellanies edited by researchers of the Free University of Bozen-Bolzano -
Grey Literature - Computer Science
Working Papers, Reports etc. -
Other - Computer Science
Multimedia, Software, Databases, Websites etc.
Recent Submissions
-
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications
(Springer, 2019)This paper introduces a model-based testing framework and associated toolkit, so called HYPpOTesT, for uncertain service-based web applications specified as probabilistic systems with non-determinism. The framework connects ... -
Model-based hypothesis testing of uncertain software systems
(2020)Nowadays, there exists an increasing demand for reliable software systems able to fulfill their requirements in different operational environments and to cope with uncertainty that can be introduced both at design-time and ... -
Anomaly Detection and Analysis for Reliability Management Clustered Container Architectures
(2019)Virtualised environments such as cloud and edge computing architectures allow software to be deployed and managed through third-party provided services. Here virtualised resources available can be adjusted, even dynamically ... -
A Semantic Pattern for Trusted Orchestration in IoT Edge Clouds
(2019)Edge cloud architectures provide a layer between centralized clouds and the IoT and sensor space. In this intermediate layer, we find devices of different types that manage the communication with sensors and cloud services, ... -
Enabling Financial Reports Transparency and Trustworthiness using Blockchain Technology
(2019)Financial report activity standardization becomes more essential in Financial Services and Technology, to facilitate the digitization of the process of communicating and acquiring business information. The eXtensible ... -
A Controller for Anomaly Detection, Analysis and Management for Self-Adaptive for Container Clusters
(2019)Service computing in the cloud allows applications to be deployed remotely. These are managed by third-party service providers that make virtualised resources available for these services. Self-adaptive features for ... -
Computational Aspects of Concept Invention
(Springer, 2018)In this chapter, we present a computational framework that models concept invention. The framework is based on and extends conceptual blending. Apart from the blending mechanism modeling the creation of new concepts, the ... -
Enabling Technologies for Concept Invention
(Springer, 2018)The goal of the COINVENT project was not only to develop a novel, computationally feasible, formal model of conceptual blending that was sufficiently precise for capturing the fundamental insights of Fauconnier and Turner’s ... -
Detecting modules in biological networks by edge weight clustering and entropy significance
(Frontiers Media S.A., 2015)Detection of the modular structure of biological networks is of interest to researchers adopting a systems perspective for the analysis of omics data. Computational systems biology has provided a rich array of methods for ... -
Defining order and timing of mutations during cancer progression: The TO-DAG probabilistic graphical model
(Frontiers Media S.A., 2015)Somatic mutations arise and accumulate both during tumor genesis and progression. However, the order in which mutations occur is an open question and the inference of the temporal ordering at the gene level could potentially ... -
Solutions to the st-connectivity problem using a GPU-based distributed BFS
(Academic Press Inc., 2015)The st-connectivity problem (ST-CON) is a decision problem that asks, for vertices s and t in a graph, if t is reachable from s. Although originally defined for directed graphs, it can also be studied on undirected graphs ... -
Time series analysis of the Bacillus subtilis sporulation network reveals low dimensional chaotic dynamics
(Frontiers Media S.A., 2016)Chaotic behavior refers to a behavior which, albeit irregular, is generated by an underlying deterministic process. Therefore, a chaotic behavior is potentially controllable. This possibility becomes practically amenable ... -
Accurate prediction of the age incidence of chronic myeloid leukemia with an improved two-mutation mathematical model
(Royal Society of Chemistry, 2016)Chronic myeloid leukemia (CML) is a malignant clonal disorder whose hallmark is a reciprocal translocation between chromosomes 9 and 22 occurring in 95% of affected patients. This translocation causes the expression of a ... -
A cost-effective smoothed multigrid with modified neighborhood-based aggregation for Markov chains
(Hindawi, 2015)Smoothed aggregation multigrid method is considered for computing stationary distributions of Markov chains. A judgement which determines whether to implement the whole aggregation procedure is proposed. Through this ... -
Identifying necessary and sufficient conditions for the observability of models of biochemical processes
(2019)The notions of observability and controllability of non-linear systems are a cornerstone of mathematical control theory and cover a wide scope of applications including process design, characterization, monitoring and ... -
Log mining to re-construct system behavior: an exploratory study on a large telescope system
(2019)Context: A large amount of information about system behavior is stored in logs that record system changes. Such information can be exploited to discover anomalies of a system and the operations that cause them. Given their ... -
What recommendation systems for software engineering recommend: A systematic literature review
(Elsevier Inc., 2016)A recommendation system for software engineering (RSSE) is a software application that provides information items estimated to be valuable for a software engineering task in a given context. Present the results of a ... -
The Robot Operating System: Package reuse and community dynamics
(ELSEVIER SCIENCE INC, 2019)ROS, the Robot Operating System, offers a core set of software for operating robots that can be extended by creating or using existing packages, making it possible to write robotic software that can be reused on different ... -
A Lightweight Container Middleware for Edge Cloud Architectures
(Wiley, 2018)Containers form the basis of a middleware platform that suits the needs of platform‐as‐a‐service (PaaS) clouds, where application packaging and orchestration are key issues. This chapter introduces architecture requirements ... -
Do you need infinite time?
(IJCAI, 2019)Linear temporal logic over finite traces is used as a formalism for temporal specification in automated planning, process modelling and (runtime) verification. In this paper, we investigate first-order temporal logic over ...
RSS 1.0