4894 search results - page 302 / 979 » Choices |
191
click to vote
IFL
2005
Springer
16 years 27 days ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
163
click to vote
IFM
2005
Springer
16 years 27 days ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
182
click to vote
ISMIR
2005
Springer
16 years 27 days ago
2005
Springer
Selecting the ‘right’ songs and putting them in the ‘right’ order are key to a great music listening or dance experience. ‘SatisFly’ is an interactive playlist generat...
194
click to vote
ISNN
2005
Springer
16 years 27 days ago
2005
Springer
In recent years, brain-computer interface (BCI) technology has emerged very rapidly. Brain-computer interfaces (BCIs) bring us a new communication interface technology which can tr...
164
click to vote
ISW
2005
Springer
16 years 27 days ago
2005
Springer
This paper is primarily concerned with the CBC block cipher mode. The impact on the usability of this mode of recently proposed padding oracle attacks, together with other related ...