15155 search results - page 2840 / 3031 » System Software |
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...
154
click to vote
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
SBSE techniques have been widely applied to requirements selection and prioritization problems in order to ascertain a suitable set of requirements for the next release of a syste...
185
click to vote
AAAI
2007
15 years 8 months ago
2007
This paper lays theoretical and software foundations for a World Wide Argument Web (WWAW): a large-scale Web of inter-connected arguments posted by individuals to express their op...
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...