We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
Worms continue to be a leading security threat on the Internet. This paper analyzes several of the more widespread worms and develops a general life-cycle for them. The lifecycle,...
Florian P. Buchholz, Thomas E. Daniels, James P. E...
Event-based middleware is currently being applied for application component integration in a range of application domains. As a result, a variety of event services have been propo...
Impact analysis is needed for the planning and estimation of software maintenance projects. Traditional impact analysis techniques tend to be too expensive for this phase, so ther...
The design of Tangible Interfaces has already evolved since the first projects were developed. Frameworks and taxonomies have helped to understand the field of Tangible Interactio...