10669 search results - page 1999 / 2134 » Software - Implemented Self-healing System |
179
click to vote
ASIACRYPT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Public-key encryption schemes rely for their IND-CPA security on per-message fresh randomness. In practice, randomness may be of poor quality for a variety of reasons, le...
189
click to vote
ASM
2010
ASM
15 years 9 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
155
click to vote
EDBT
2010
ACM
15 years 9 months ago
2010
ACM
Suffix trees are indexing structures that enhance the performance of numerous string processing algorithms. In this paper, we propose cache-conscious suffix tree construction algo...
161
click to vote
FLAIRS
2007
15 years 8 months ago
2007
Web search engines like Google have made us all smarter by providing ready access to the world's knowledge whenever we need to look up a fact, learn about a topic or evaluate...
157
click to vote
WSC
2007
15 years 8 months ago
2007
Decision making in industry continues to become more complicated. Customers are more demanding, competition is more fierce, and costs for labor and raw materials continue to rise....