1580 search results - page 184 / 316 » Non-Interference Through Determinism |
ISSADS
2004
Springer
14 years 3 months ago
2004
Springer
The recent emergence of handheld devices and wireless networks has implied an exponential increase of terminals users. So, today, service providers have to propose new application...
LCPC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...
POLICY
2004
Springer
14 years 3 months ago
2004
Springer
Automated trust negotiation is the process of establishing trust between entities with no prior relationship through the iterative disclosure of digital credentials. One approach ...
SOFSEM
2004
Springer
14 years 3 months ago
2004
Springer
Our aim is to investigate the factors which determine the intrinsic hardness of constructing a solution to any particular constraint satisfaction problem instance, regardless of th...
VIZSEC
2004
Springer
14 years 3 months ago
2004
Springer
This paper concentrates on visualizing computer viruses without using virus specific signature information as a prior stage of the very important problem of detecting computer vi...