2687 search results - page 400 / 538 » Formal Analysis of PKCS |
187
click to vote
RAID
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
171
click to vote
SFM
2007
Springer
16 years 17 days ago
2007
Springer
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
176
click to vote
BROADNETS
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and tra...
183
click to vote
DAC
2006
ACM
16 years 13 days ago
2006
ACM
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
165
click to vote
ISSTA
2006
ACM
16 years 13 days ago
2006
ACM
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...