1054 search results - page 175 / 211 » From a Verified Kernel towards Verified Systems |
122
click to vote
AAECC
2005
Springer
15 years 1 months ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
131
click to vote
IJNSEC
2007
15 years 1 months ago
2007
We describe an identity based signature scheme that uses biometric information to construct the public key. Such a scheme would be beneficial in many repudiation situations for e...
105
click to vote
CN
2004
15 years 1 months ago
2004
A number of web cache-related algorithms, such as replacement and prefetching policies, rely on specific characteristics present in the sequence of requests for efficient performa...
IJNM
2000
15 years 1 months ago
2000
The complexity of communication networks and the amount of information transferred in these networks have made the management of such networks increasingly difficult. Since faults ...
TIT
2002
15 years 1 months ago
2002
Abstract--In blind and group-blind multiuser detection, different detectors can be designed using either the sample data covariance matrix directly or its eigencomponents. Due to f...