2573 search results - page 447 / 515 » Combinations of Modal Logics |
140
click to vote
ASAP
2005
IEEE
15 years 10 months ago
2005
IEEE
On public communication networks such as the Internet, data confidentiality can be provided by symmetric-key ciphers. One of the most common operations used in symmetric-key ciphe...
139
click to vote
ASYNC
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
140
click to vote
ATS
2005
IEEE
15 years 10 months ago
2005
IEEE
Power reduction during test application is important from the viewpoint of chip reliability and for obtaining correct test results. One of the ways to reduce scan test power is to...
117
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...
129
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
— With increasing process fluctuations in nano-scale technology, testing for delay faults is becoming essential in manufacturing test to complement stuck-at-fault testing. Desig...