9110 search results - page 1749 / 1822 » Formally-Based Design Evaluation |
EUROSYS
2009
ACM
14 years 1 months ago
2009
ACM
Weakly consistent replication of data has become increasingly important both for loosely-coupled collections of personal devices and for large-scale infrastructure services. Unfor...
ACNS
2004
Springer
14 years 1 months ago
2004
Springer
One of the few quantitative metrics used to evaluate the security of a cryptographic file system is the key length of the encryption algorithm; larger key lengths correspond to hig...
ACSAC
2004
IEEE
14 years 1 months ago
2004
IEEE
Many network security problems can be solved in a centralized TCP (CTCP) architecture, in which an organization's edge router transparently proxies every TCP connection betwe...
ANCS
2006
ACM
14 years 1 months ago
2006
ACM
Deep Packet Inspection (DPI) refers to examining both packet header and payload to look for predefined patterns, which is essential for network security, intrusion detection and c...
APGV
2006
ACM
14 years 1 months ago
2006
ACM
Realistic image synthesis is the process of computing photorealistic images which are perceptually and measurably indistinguishable from real-world images. In order to obtain high...