Sciweavers

1422 search results - page 142 / 285
» A Framework for Understanding Botnets
Sort
View
AGP
2010
IEEE
15 years 9 months ago
Proof-Theoretic and Higher-Order Extensions of Logic Programming
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...
Alberto Momigliano, Mario Ornaghi
ACSAC
2002
IEEE
15 years 9 months ago
Digging For Worms, Fishing For Answers
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...
ICDCSW
2002
IEEE
15 years 9 months ago
Taxonomy of Distributed Event-Based Programming Systems
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...
René Meier, Vinny Cahill
IWPC
2002
IEEE
15 years 9 months ago
Lightweight Impact Analysis using Island Grammars
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...
Leon Moonen
OZCHI
2009
ACM
15 years 8 months ago
When three worlds collide: a model of the tangible interaction process
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...
Marc Hermann, Michael Weber