An iterative model selection algorithm is proposed. The algorithm seeks relevant features and an optimal number of codewords (or codebook size) as part of the optimization. We use...
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
Online forums contain valuable human-generated information. End-users looking for information would like to find only those threads in forums where relevant information is present...
: This paper examines possibilities and consequences of introducing variability with respect to pricing, accounting, and way of payment into software product lines for developers, ...
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
Alessandro Lapadula, Rosario Pugliese, Francesco T...