2920 search results - page 97 / 584 » Finite information logic |
CAISE
2000
Springer
14 years 1 months ago
2000
Springer
FOIKS
2008
Springer
13 years 11 months ago
2008
Springer
CORR
2006
Springer
13 years 10 months ago
2006
Springer
We investigate here concept learning from incomplete examples. Our first purpose is to discuss to what extent logical learning settings have to be modified in order to cope with da...
SPC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
DAC
2010
ACM
14 years 1 months ago
2010
ACM
Understanding the flow of information is an important aspect in computer security. There has been a recent move towards tracking information in hardware and understanding the flow...