1028 search results - page 164 / 206 » Character sets of strings |
PODC
2003
ACM
14 years 27 days ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
CLEF
2003
Springer
14 years 26 days ago
2003
Springer
This paper reports on the pilot question answering track that was carried out within the CLEF initiative this year. The track was divided into monolingual and bilingual tasks: mono...
CRYPTO
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. Cryptographic systems often involve running multiple concurrent instances of some protocol, where the instances have some amount of joint state and randomness. (Examples ...
ISMIR
2003
Springer
14 years 25 days ago
2003
Springer
Currently a large percentage of Internet traffic consists of music files, typically stored in MP3 compressed audio format, shared and exchanged over Peer-to-Peer (P2P) networks....
CAV
2001
Springer
14 years 4 days ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...