1054 search results - page 93 / 211 » From a Verified Kernel towards Verified Systems |
279
click to vote
HICSS
2011
IEEE
14 years 10 months ago
2011
IEEE
Vulnerabilities in a system may have widely varying impacts on system security. In practice, security should not be defined as the absence of vulnerabilities. In practice, securit...
199
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
Many feature selection algorithms have been proposed in the past focusing on improving classification accuracy. In this work, we point out the importance of stable feature selecti...
189
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
This paper intends to provide some insights of a scientific problem: how likely one’s interests can be inferred from his/her social connections – friends, friends’ friends,...
166
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
142
click to vote
WISER
2004
ACM
15 years 11 months ago
2004
ACM
Many hardware/software co-design models have been proposed [7, 2, 5, 6] that attempt to address problems in the hardware/software interface, in partitioning the system between har...