5384 search results - page 152 / 1077 » Open Standards Requirements |
169
click to vote
SOFTVIS
2005
ACM
16 years 3 days ago
2005
ACM
Software archives contain historical information about the development process of a software system. Using data mining techniques rules can be extracted from these archives. In th...
167
click to vote
CRYPTO
2006
Springer
15 years 10 months ago
2006
Springer
We present an identity-based cryptosystem that features fully anonymous ciphertexts and hierarchical key delegation. We give a proof of security in the standard model, based on the...
159
click to vote
WSC
2008
15 years 9 months ago
2008
Limit standards are probability interval requirements for proportions. Simulation literature has focused on finding the confidence interval of the population proportion, which is ...
150
click to vote
CTRSA
2007
Springer
16 years 22 days ago
2007
Springer
In 2002, Micali and Rivest raised an open problem as to whether directed transitive signatures exist or not. In 2003, Hohenberger formalized the necessary mathematical criteria for...
185
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...