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
-
Event condition expectation (ECE-) rules for monitoring observable systems
(Springer, 2011)The standardization and broad adoption of Service Oriented Architectures, Web Services, and Cloud Computing is raising the complexity of ICT systems. Hence, assuring correct system behavior with regard to established design ... -
On porting software visualization tools to the web
(2011)Software systems are hard to understand due to the complexity and the sheer size of the data to be analyzed. Software visualization tools are a great help as they can sum up large quantities of data in dense, meaningful ... -
Real-time forward error correction for video transmission
(IEEE, 2011)When the video streams are transmitted over the unreliable networks, forward error correction (FEC) codes are usually used to protect them. Reed-Solomon codes are block-based FEC codes. On one hand, enlarging the block ... -
Requirements engineering practices in very small software enterprises: A diagnostic study
(IEEE Computer Society, 2011)Requirements engineering practices have been identified as a key issue that affects the success rate of projects in most software organizations. The software engineering community has studied the requirements engineering ... -
Software systems as cities: A controlled experiment
(ACM, 2011)Software visualization is a popular program comprehension technique used in the context of software maintenance, reverse engineering, and software evolution analysis. While there is a broad range of software visualization ... -
Image database encoding using HYBRID video encoder
(IEEE, 2011)How to compress a set of images in an efficient way is one of the most popular research topics. Currently, one of the most preferred standards for compressing still images is JPEG2000 which mainly utilizes Discrete Wavelet ... -
Effective mining of software repositories
(IEEE Computer Society, 2011)With the advent of open-source, the Internet, and the consequent widespread adoption of distributed development tools, such as software configuration management and issue tracking systems, a vast amount of valuable information ... -
Is burst loss worse than random loss for video transmission?
(IEEE, 2011)Many papers have shown that burst loss causes more severe damage to the reconstructed video quality than random loss for the same packet loss rate. With traditional interleaving methods, the consecutive lost packet positions ... -
How developers use the dynamic features of programming languages: The case of smalltalk
(ACM, 2011)The dynamic and reflective features of programming languages are powerful constructs that programmers often mention as extremely useful. However, the ability to modify a program at runtime can be both a boon-in terms of ... -
A posteriori error control for discontinuous Galerkin methods for parabolic problems
(2011)We derive energy-norm a posteriori error bounds for an Euler time-stepping method combined with various spatial discontinuous Galerkin schemes for linear parabolic problems. For accessibility, we address first the spatially ... -
Monitoring business constraints with linear temporal logic: An approach based on colored automata
(Springer, 2011)Today’s information systems record real-time information about business processes. This enables the monitoring of business constraints at runtime. In this paper, we present a novel runtime verification framework based on ... -
Monitoring time-aware commitments within agent-based simulation environments
(2011)Despite their dynamic nature, social commitments have rarely been used for monitoring purposes. Little attention has been paid to the relationship between commitments and the temporal dimension and to the corresponding ... -
Enabling program comprehension through a visual object-focused development environment
(IEEE Computer Society, 2011)Integrated development environments (IDEs) include many tools that provide the means to construct programs. Coincidentally, the very same IDEs are a primary vehicle for program comprehension. We claim that IDEs may be an ... -
Conformance checking of executed clinical guidelines in presence of basic medical knowledge
(Springer, 2011)Clinical Guidelines (CGs) capture medical evidence, but are not meant to deal with single patients’ peculiarities and specific context limitations and/or constraints. In practice, the physician has to exploit basic medical ... -
A study of ripple effects in software ecosystems (NIER track)
(ACM, 2011)When the Application Programming Interface (API) of a framework or library changes, its clients must be adapted. This change propagation - known as a ripple effect - is a problem that has garnered interest: several approaches ... -
Imitation Learning of Human Grasping Skills from Motion and Force Data
(IEEE, 2011)Imitation learning, also known as Programming by Demonstration, allows a non-expert user to teach complex skills to a robot. While so far researchers focused on abstracting kinematic relations, only little attention has ... -
Adaptive active learning in recommender systems
(Springer, 2011)Recommender Systems (RSs) generate personalized suggestions to users for items that may be interesting for them. Many RSs use the Collaborative Filtering (CF) technique, where the system gathers some information about the ... -
Development and Evaluation of a Device for the Haptic Rendering of Rotatory Car Doors
(2011)Virtual prototyping of car doors enhanced with haptic feedback is a promising way to decrease the number of physical prototypes. We clarify, correct, summarize, and extend our previous work on the haptic simulation of car ...
RSS 1.0