1536 search results - page 194 / 308 » The Underlying Logic of Hoare Logic |
174
click to vote
DATE
2006
IEEE
16 years 14 days ago
2006
IEEE
Boolean matching is a powerful technique that has been used in technology mapping to overcome the limitations of structural pattern matching. The current basis for performing Bool...
167
click to vote
DATE
2006
IEEE
16 years 14 days ago
2006
IEEE
As devices are scaled to the nanoscale regime, it is clear that future nanodevices will be plagued by higher soft error rates and reduced noise margins. Traditional implementation...
167
click to vote
SKG
2006
IEEE
16 years 12 days ago
2006
IEEE
Semantic completeness and syntax completeness are important characters of the general formal systems, two the completeness have different meaning for a formal system. This paper a...
156
click to vote
EEE
2005
IEEE
16 years 18 hour ago
2005
IEEE
E-commerce web sites that sell highly customized products tend to be very complex in terms of the underlying logical model of the customization process. We present a systematic ap...
172
click to vote
ICECCS
2005
IEEE
16 years 8 hour ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...