5123 search results - page 911 / 1025 » Performance and Security Tradeoff |
152
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
— Spurred by financial scandals and privacy concerns, governments worldwide have moved to ensure confidence in digital records by regulating their retention and deletion. These...
158
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
168
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
162
click to vote
FPGA
2009
ACM
16 years 1 months ago
2009
ACM
PERG is a pattern matching engine designed for locating predefined byte string patterns (rules) from the ClamAV virus signature database in a data stream. This paper presents PERG...
170
click to vote
ICCSA
2009
Springer
16 years 1 months ago
2009
Springer
Recently, ubiquitous location-based services (u-LBS) has been utilized in a variety of practical and mission-critical applications such as security services, personalization servic...