19003 search results - page 151 / 3801 » We Need Assurance! |
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
TCC
2010
Springer
14 years 6 months ago
2010
Springer
We construct a fully secure HIBE scheme with short ciphertexts. The previous construction of Boneh, Boyen, and Goh was only proven to be secure in the selective model, under a non...
WWW
2010
ACM
14 years 4 months ago
2010
ACM
The Web abounds with dyadic data that keeps increasing by every single second. Previous work has repeatedly shown the usefulness of extracting the interaction structure inside dya...
FC
2009
Springer
14 years 3 months ago
2009
Springer
Cryptographic credential infrastructures, such as Public key infrastructure (PKI), allow the building of trust relationships in electronic society and electronic commerce. At the c...
ICNSC
2008
IEEE
14 years 3 months ago
2008
IEEE
— Dynamic scheduling management in wireless sensor networks is one of the most challenging problems in long lifetime monitoring applications. In this paper, we propose and evalua...