The model driven development is an interested area among software engineers as well as the agile development. In fact, combining model driven and agile practices is an interesting ...
—In this paper we study the protocol insecurity problem for time dependent security protocols with a finite number of sessions, extending to the timed case the results of M. Rus...
: As we know the Cauchy distribution plays an important role in Probability Theory and Statistics. In this paper, we investigate the estimation of the location and the scale parame...
The evolution of Web Applications needs to be supported by the availability of proper analysis and design documents. UML use case diagrams are certainly useful to identify feature...
Giuseppe A. Di Lucca, Massimiliano Di Penta, Anna ...
Scheduling jobs with pairwise conflicts is modeled by the graph multicoloring problem. It occurs in two versions: in the preemptive case, each vertex may get any set of colors, w...