380 search results - page 42 / 76 » Functional reactive programming from first principles |
104
Voted
ICALP
2009
Springer
16 years 23 days ago
2009
Springer
We present a range of new results for testing properties of Boolean functions that are defined in terms of the Fourier spectrum. Broadly speaking, our results show that the propert...
107
Voted
CIS
2004
Springer
15 years 5 months ago
2004
Springer
There are a lot of very important data in database, which need to be protected from attacking. Cryptographic support is an important mechanism of securing them. People, however, mu...
111
click to vote
CORR
2006
Springer
15 years 16 days ago
2006
Springer
In this contribution, models of wireless channels are derived from the maximum entropy principle, for several cases where only limited information about the propagation environmen...
119
click to vote
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
87
Voted
CNIS
2006
15 years 1 months ago
2006
Almost all current anti spam measures are reactive, filtering being the most common. But to react means always to be one step behind. Reaction requires to predict the next action ...