3130 search results - page 533 / 626 » Design Correctness of Digital Systems |
212
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
A novel behavioral detection framework is proposed to detect mobile worms, viruses and Trojans, instead of the signature-based solutions currently available for use in mobile devi...
172
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Failure detectors are fundamental building blocks in distributed systems. Multi-node failure detectors, where the detector is tasked with monitoring N other nodes, play a critical...
148
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Most cryptographic algorithms provide a means for secret and authentic communication. However, under many circumstances, the ability to repudiate messages or deny a conversation i...
190
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Large-scale distributed systems have dense, complex code-bases that are assumed to perform multiple and inter-dependent tasks while user interaction is present. The way users inte...
182
click to vote
HPDC
2009
IEEE
16 years 1 months ago
2009
IEEE
Large-scale distributed computing systems such as grids are serving a growing number of scientists. These environments bring about not only the advantages of an economy of scale, ...