3003 search results - page 337 / 601 » Software Security: Building Security In |
183
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
185
click to vote
ISI
2007
Springer
15 years 6 months ago
2007
Springer
ABSTRACT. Grids have become very complex. It makes the deployment and maintenance of systems a difficult task requiring lots of efforts from administrators. We believe that peer-t...
170
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Software’s expense owes partly to frequent reimplementation of similar functionality and partly to maintenance of patches, ports or components targeting evolving interfaces. Mor...
132
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
This report is a companion to the paper “Refactoring References for Library Migration” published at the ACM SIGPLAN International Conference on Systems, Programming, Languages...
138
click to vote
GIL
2010
15 years 4 months ago
2010
: The current and future food insecurity situation of many nations has been effected by factors like global warming, population growth, bio-energy, low technology acceptance, unfav...