Articles - Computer Science
Browse by
Recent Submissions
-
Scalability Assessment of Microservice Architecture Deployment Configurations: A Domain-based Approach Leveraging Operational Profiles and Load Tests
(2020)Microservices have emerged as an architectural style for developing distributed applications. Assessing the performance of architectural configurations - e.g., with respect to deployment alternatives - is challenging and ... -
Inconsistency-tolerant reasoning with OWL DL
(2014)The Web Ontology Language. (OWL) is a family of description logic based ontology languages for the Semantic Web and gives well defined meaning to web accessible information and services. The study of inconsistency-tolerant ... -
Cooperation, collaboration and pair-programming: Field studies on backup behavior
(2014)Considering that pair programming has been extensively studied for more than a decade, it can seem quite surprising that there is such a lack of consensus on both its best use and its benefits. We argue that pair programming ... -
Classifying Software Bug Reports Using Methods from Formal Concept Analysis
(2014)We provide experience in applying methods from formal concept analysis to the problem of classifying software bug reports characterized by distinguished features. More specifically, we investigate the situation where we ... -
What do we know about software development in startups?
(2014)An impressive number of new startups are launched every day as a result of growing new markets, accessible technologies, and venture capital. New ventures such as Facebook, Supercell, Linkedin, Spotify, WhatsApp, and ... -
An elicitation instrument for operationalising GQM+Strategies (GQM+S-EI)
(2015)A recent approach for measurement program planning, GQM+Strategies, provides an important extension to existing approaches linking measurements and improvement activities to strategic goals and ways to achieve these goals. ... -
A Study of Energy-Aware Implementation Techniques: Redistribution of Computational Jobs in Mobile Apps
(2015)As devices like smartphones and tablets have been adopted by millions of users, the offer of mobile software products and services has as well evolved significantly. Current mobile software products require hardware ... -
Software development in startup companies: A systematic mapping study
(2014)Context: Software startups are newly created companies with no operating history and fast in producing cutting-edge technologies. These companies develop software under highly uncertain conditions, tackling fast-growing ... -
Engineering commitment-based business protocols with 2CL methodology
(2014)Enterprises must respect a number of regulations, with multilevel nature and which change along time. They must not only adapt their business interactions to the regulations and their changes but also evaluate the risks ... -
Consistency reasoning in lattice-based fuzzy description logics
(2014)Fuzzy Description Logics have been widely studied as a formalism for representing and reasoning with vague knowledge. One of the most basic reasoning tasks in (fuzzy) Description Logics is to decide whether an ontology ... -
“Se dovessi dare un voto a questo laboratorio, darei nove”: Introduzione del Computational Thinking nella scuola secondaria di primo grado: Risultati dell’esperienza = "If I had to vote on this laboratory, I would give nine": Introduction on Computational Thinking in the lower secondary school: Results of the experience
(2014)Spesso l’Informatica, a differenza di altre discipline (come la matematica o la filosofia), non è percepita come una disciplina scientifica ma solo come un utilizzo della tecnologia. L’educazione al pensiero algoritmico, ... -
DIE: A domain specific aspect language for IDE events
(IICM, 2014)Integrated development environments (IDEs) have become the primary way to develop software. Besides just using the built-in features, it becomes more and more important to be able to extend the IDE with new features and ... -
An empirical study on the impact of static typing on software maintainability
(Kluwer Academic Publishers, 2014)Static type systems play an essential role in contemporary programming languages. Despite their importance, whether static type systems impact human software development capabilities remains open. One frequently mentioned ... -
Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata
(2014)Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas, including the Semantic Web, data and information integration, peer-to-peer data ... -
“Un Mooc a scuola”, approcci e prospettive = MOOC in school, approaches and perspectives
(Aica, 2014)Il potenziamento e lo sviluppo delle tecnologie della rete Internet stanno sconvolgendo rapidamente i paradigmi della pedagogia e della didattica e trasformando gli ambienti e i metodi di apprendimento tradizionali. Sono ... -
Methods of biological network inference for reverse engineering cancer chemoresistance mechanisms
(Elsevier Ltd, 2014)We review recent Bayesian network inference methodologies we developed to infer genetic and metabolic pathways associated to oncological drug chemoresistance. Bayesian inference is supported by a rigorous and widely accepted ... -
SPOP mutation leads to genomic instability in prostate cancer
(eLife Sciences Publications Ltd, 2015)Genomic instability is a fundamental feature of human cancer often resulting from impaired genome maintenance. In prostate cancer, structural genomic rearrangements are a common mechanism driving tumorigenesis. However, ... -
Experimental evaluation of context-dependent collaborative filtering using item splitting
(2014)Collaborative Filtering (CF) computes recommendations by leveraging a historical data set of users' ratings for items. CF assumes that the users' recorded ratings can help in predicting their future ratings. This has been ... -
Reasoning about coalitional agency and ability in the logics of "bringing-it-about"
(SPRINGER, 2014)The logics of "bringing-it-about" have been part of a prominent tradition for the formalization of individual and institutional agency. They are the logics to talk about what states of affairs an acting entity brings about ...
RSS 1.0