1744 search results - page 144 / 349 » A Proof-Carrying File System |
127
click to vote
CIIA
2009
15 years 5 months ago
2009
The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in dif...
108
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Botnets, which consist of thousands of compromised machines, can cause significant threats to other systems by launching Distributed Denial of Service (DDoS) attacks, keylogging, a...
131
click to vote
CIS
2009
Springer
15 years 8 months ago
2009
Springer
A virus detection system (VDS) based on artificial immune system (AIS) is proposed in this paper. VDS at first generates the detector set from virus files in the dataset, negative ...
139
click to vote
IPPS
1997
IEEE
15 years 7 months ago
1997
IEEE
In this paper we show the power of sampling techniques in designing efficient distributed algorithms. In particular, we show that using sampling techniques, on some networks, sele...
109
click to vote
ICSM
2008
IEEE
15 years 10 months ago
2008
IEEE
An approach to recommend a ranked list of developers to assist in performing software changes to a particular file is presented. The ranking is based on change expertise, experien...