17185 search results - page 159 / 3437 » Computational and Quantitative Studies |
221
click to vote
ISCA
2012
IEEE
13 years 8 months ago
2012
IEEE
There have been many attacks that exploit side-effects of program execution to expose secret information and many proposed countermeasures to protect against these attacks. Howeve...
177
click to vote
QEST
2008
IEEE
16 years 23 days ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
COMPUTER
1998
15 years 6 months ago
1998
153
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The question of conceptual representation has received considerable attention in philosophy, neuroscience and embodied evolved agents. Numerous theories on the interpreta...
183
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
The immaturity of current intrusion detection techniques limits the traditional security systems in surviving malicious attacks. Intrusion tolerance approaches have emerged to over...