481 search results - page 56 / 97 » Toward an Abstract Computer Virology |
CONCUR
1994
Springer
14 years 3 days 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...
FOSSACS
2006
Springer
13 years 11 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...
DIS
2008
Springer
13 years 9 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...
PERCOM
2010
ACM
13 years 6 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...
AIMS
2009
Springer
14 years 2 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...