2661 search results - page 412 / 533 » A Semantics for Abstraction |
CIKM
2000
Springer
15 years 2 months ago
2000
Springer
Large collections of documents containing various types of multimedia, are made available to the WWW. Unfortunately, due to the un-structuredness of Internet environments it is ha...
136
click to vote
PSSE
2004
Springer
15 years 3 months ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
ASIACRYPT
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Semantic security against chosen-ciphertext attacks (INDCCA) is widely believed as the correct security level for public-key encryption scheme. On the other hand, it is o...
ICCHP
1994
Springer
15 years 2 months ago
1994
Springer
This paper describes work in progress on automatic generation of "impact sounds" based on physical modelling. These sounds can be used as non-speech audio presentation of...