12774 search results - page 2334 / 2555 » A Framework for Proof Systems |
222
click to vote
JHSN
2006
15 years 6 months ago
2006
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard ...
158
click to vote
JIFS
2006
15 years 6 months ago
2006
Fundamental to case-based reasoning is the idea that similar problems have similar solutions. The meaning of the concept of "similarity" can vary in different situations...
196
Voted
KES
2008
Springer
15 years 6 months ago
2008
Springer
This paper introduces the Perplexus hardware platform, a scalable computing substrate made of custom reconfigurable devices endowed with bio-inspired capabilities. This platform w...
155
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present a powerful and flexible method for automatically checking the secrecy of values inside components. In our framework an attacker may monitor the external communication ...
161
click to vote
ENVSOFT
2007
15 years 6 months ago
2007
A toolkit for distributed hydrologic modeling at multiple scales using two independent models within a geographic information system is presented. This open-source, freely availab...