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
-
Compliance in business processes with incomplete information and time constraints: A general framework based on abductive reasoning
(2018)The capability to store data about Business Process (BP) executions in so-called Event Logs has brought to the identification of a range of key reasoning services (consistency, compliance, runtime monitoring, prediction) ... -
Concept Invention: Foundations, Implementation, Social Aspects and Applications
(Springer International Publishing, 2018)This book introduces a computationally feasible, cognitively inspired formal model of concept invention, drawing on Fauconnier and Turner's theory of conceptual blending, a fundamental cognitive operation. The chapters ... -
Microservices
(2018)The theme articles in this issue address microservices. Other topics in the issue include unit testing, WordPress, the Internet of Things, agile development, requirements engineering, and Java 9. -
Profiling call changes via motif mining
(ACM, 2018)Components' interactions in software systems evolve over time increasing in complexity and size. Developers might have hard time to master such complexity during their maintenance activities incrementing the risk to make ... -
Reinforcement Sensitivity and Engagement in Proactive Recommendations: Experimental Evidence
(Springer, 2017)We drew on revised Reinforcement Sensitivity Theory to claim that users with an anxiety-related behavioral inhibition would experience proactively delivered recommendations as potential threats. Such users would display ... -
Multi-party business process compliance monitoring through IoT-enabled artifacts
(2018)Monitoring the compliance of the execution of multi-party business processes is a complex and challenging task: each actor only has the visibility of the portion of the process under its direct control, and the physical ... -
Multiple description video coding based on forward error correction within expanding windows
(IEEE, 2013)In this paper, an MDC scheme based on forward error correction(FEC) within expanding windows is proposed. Firstly, the video sequence will be coded into source packets with/without slice group enabled. Secondly, the ... -
Architectural principles for cloud software
(2018)A cloud is a distributed Internet-based software system providing resources as tiered services. Through service-orientation and virtualization for resource provisioning, cloud applications can be deployed and managed ... -
Cloud Migration Architecture and Pricing: Mapping a Licensing Business Model for Software Vendors to a SaaS Business Model
(Springer, 2018)Cloud migration is about moving an on-premise software system into the cloud. Many approaches exist that describe the technical migration analysis and the architectural migration. Equally, cloud cost models have been ... -
Domain Model Definition for Domain-Specific Rule Generation Using Variability Model
(Springer, 2018)The business environment is rapidly undergoing changes, and they need a prompt adaptation to the enterprise business systems. The process models have abstract behaviors that can apply to diverse conditions. For allowing ... -
Block-accelerated aggregation multigrid for Markov chains with application to PageRank problems
(2018)Recently, the adaptive algebraic aggregation multigrid method has been proposed for computing stationary distributions of Markov chains. This method updates aggregates on every iterative cycle to keep high accuracies of ... -
Temporal Data Management: An Overview
(Springer, 2018)Despite the ubiquity of temporal data and considerable research on the effective and efficient processing of such data, database systems largely remain designed for processing the current state of some modeled reality. ... -
Dynamic Redundancy Allocation for Video Streaming using Sub-GOP based FEC Code
(IEEE, 2014)Reed-Solomon erasure code is one of the most studied protection methods for video streaming over unreliable networks. As a block-based error correcting code, large block size and increased number of parity packets will ... -
Imprecisions Diagnostic in Source Code Deltas
(ACM, 2018)Beyond a practical use in code review, source code change detection (SCCD) is an important component of many mining software repositories (MSR) approaches. As such, any error or imprecision in the detection may result in ... -
Multilevel Variable-Block Schur-Complement-Based Preconditioning for the Implicit Solution of the Reynolds- Averaged Navier-Stokes Equations Using Unstructured Grids
(InTech, 2018)Implicit methods based on the Newton’s rootfinding algorithm are receiving an increasing attention for the solution of complex Computational Fluid Dynamics (CFD) applications due to their potential to converge in a very ... -
Ring based approximation of graph edit distance
(Springer, 2018)The graph edit distance (GED) is a flexible graph dissimilarity measure widely used within the structural pattern recognition field. A widely used paradigm for approximating GED is to define local structures rooted at the ... -
Enhancing Workflow-Nets with Data for Trace Completion
(Springer International Publishing, 2018)The growing adoption of IT-systems for modeling and executing (business) processes or services has thrust the scientific investigation towards techniques and tools which support more complex forms of process analysis. Many ... -
The Road to Live Programming: Insights From the Practice
(ACM, 2018)Live Programming environments allow programmers to get feedback instantly while changing software. Liveness is gaining attention among industrial and open-source communities; several IDEs offer high degrees of liveness. ... -
Restarted Hessenberg method for solving shifted nonsymmetric linear systems
(2018)It is known that the restarted full orthogonalization method (FOM) outperforms the restarted generalized minimum residual (GMRES) method in several circumstances for solving shifted linear systems when the shifts are handled ... -
Parsing as semantically guided constraint solving: The role of ontologies
(Springer Netherlands, 2018)In the Parsing-as-Constraint-Solving model of language processing, grammar syntax is described modularly through independent constraints among direct constituents of a phrase - constraints such as: “in verb phrases, a verb ...
RSS 1.0