4609 search results - page 577 / 922 » Automatic Generation of Sigma-Protocols |
181
click to vote
APSEC
2005
IEEE
16 years 11 days ago
2005
IEEE
Automotive software systems are becoming increasingly complex, driven both by advances in technology and by demands for more powerful applications. The design of such complex syst...
168
click to vote
CCGRID
2005
IEEE
16 years 11 days ago
2005
IEEE
Addressing the long term preservation issues associated with scientific data is a complex challenge compounded by: the scale and multidisciplinary nature of the problem; the wide ...
194
click to vote
ECBS
2005
IEEE
16 years 11 days ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
169
click to vote
EH
2005
IEEE
16 years 11 days ago
2005
IEEE
Evolutionary Design has demonstrated great potential to automatically generate a wide array of novel, interesting, and human-competitive designs. Few of these evolved designs, how...
165
click to vote
ICMB
2005
IEEE
16 years 10 days ago
2005
IEEE
One motivation of mobile Next-Generation Networks (NGN) is the ubiquitous computing abilities, which provide automatic handovers for any moving computing devices in a globally net...