3384 search results - page 240 / 677 » More Testable Properties |
157
click to vote
FROCOS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
154
click to vote
ICN
2005
Springer
16 years 3 days ago
2005
Springer
Bluetooth is a wireless communication standard developed for personal area networks (PAN) that gained popularity in the last years. In its design it was meant to connect a few dev...
184
click to vote
ISPA
2005
Springer
16 years 3 days ago
2005
Springer
An important precondition for the success of the Semantic Web is founded on the principle that the content of web pages will be semantically annotated. In this paper, we propose a ...
179
click to vote
SACRYPT
2005
Springer
16 years 2 days ago
2005
Springer
A vast amount of literature on stream ciphers is directed to the cryptanalysis of LFSR-based filters and combiners, resulting in various attack models such as distinguishing attac...
166
click to vote
SPW
2005
Springer
16 years 2 days ago
2005
Springer
We examine several ad-hoc pairing protocols that strengthen their radio exchanges with additional transmissions over another channel, for example a screen showing graphically encod...