79
Voted
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
The design of a large chip is typically hierarchical
108
click to vote
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
137
click to vote
CIARP
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we derive lower and upper bounds for the probability of error for a linear classifier, where the random vectors representing the underlying classes obey the multivar...
147
click to vote
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
117
Voted
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer