7289 search results - page 1117 / 1458 » A Dependent Set Theory |
182
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...
205
Voted
CRYPTO
2007
Springer
16 years 1 months ago
2007
Springer
To date the NTRUEncrypt security parameters have been based on the existence of two types of attack: a meet-in-the-middle attack due to Odlyzko, and a conservative extrapolation of...
199
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
223
click to vote
DAGM
2007
Springer
16 years 1 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...
187
Voted
ECAL
2007
Springer
16 years 1 months ago
2007
Springer
It is well known that the evolution of cooperative behaviour is dependant upon certain environmental conditions. One such condition that has been extensively studied is the use of ...