31 search results - page 4 / 7 » asian 2006 |
ASIAN
2006
Springer
14 years 9 days ago
2006
Springer
Abstract. In a process calculus, an agent guarantees responsive usage of a channel name r if a communication along r is guaranteed to eventually take place. Responsiveness is impor...
ASIAN
2006
Springer
14 years 9 days ago
2006
Springer
Abstract. A major difficulty for tracking information flow in multithreaded programs is due to the internal timing covert channel. Information is leaked via this channel when secre...
KES
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Zebra dove's voice competition has become more popular in Thailand and many other South East Asian countries. Even though there are specific judging rules to follow,...
ASIAN
2006
Springer
14 years 9 days ago
2006
Springer
Abstract. It is customary to write performance-critical parts of arithmetic functions in assembly: this enables finely-tuned algorithms that use specialized processor instructions....
ASIAN
2006
Springer
14 years 9 days ago
2006
Springer
In the investigation of the relationship between the formal and the computational view of cryptography, a recent approach, first proposed in [10], uses static equivalence from cryp...