796 search results - page 104 / 160 » Spoofing prevention method |
CONCUR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
CSL
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Sequent calculi usually provide a general deductive setting that uniformly embeds other proof-theoretical approaches, such as tableaux methods, resolution techniques, goa...
DAGM
2007
Springer
14 years 4 months ago
2007
Springer
Glaucoma is one of the most common causes of blindness and it is becoming even more important considering the ageing society. Because healing of died retinal nerve fibers is not p...
FC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Anonymity-protection techniques are crucial for various commercial and financial transactions, where participants are worried about their privacy. On the other hand, aut...
HPCC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Constructing flash memory based storage, FTL (Flash Translation Layer) manages mapping between logical address and physical address. Since FTL writes every data to new r...