481 search results - page 56 / 97 » Toward an Abstract Computer Virology |
160
Voted
CONCUR
1994
Springer
15 years 6 months ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
141
Voted
FOSSACS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
128
Voted
DIS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper proposes initial steps towards a generic framework for modeling the scientific process. It is generic according to two main axes. First, it can be instantiated...
115
click to vote
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
Abstract—In the emerging “Web of Things”, digitally augmented everyday objects are seamlessly integrated to the Web by reusing Web patterns such as REST. This results in an e...
108
Voted
AIMS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper presents a proposal for scalable detection and isolation of phishing. The main ideas are to move the protection from end users towards the network provider and...