460 search results - page 74 / 92 » Abstract and Discrete Modeling of Spatio-Temporal Data Types |
ACSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...
TCS
2008
13 years 8 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
INFOCOM
2011
IEEE
13 years 9 days ago
2011
IEEE
Abstract—Computer systems are increasingly driven by workloads that reflect large-scale social behavior, such as rapid changes in the popularity of media items like videos. Capa...
APWEB
2006
Springer
14 years 10 days ago
2006
Springer
Abstract. As a developing P2P system, Gnutella has upgraded its protocol to 0.6, which significantly changed the characteristics of its hosts. However, few previous work has given ...
CODES
1999
IEEE
14 years 28 days ago
1999
IEEE
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...