Sciweavers

20175 search results - page 88 / 4035
» Is abstraction the key to computing
Sort
View
80
Voted
FM
2009
Springer
118views Formal Methods» more  FM 2009»
15 years 7 months ago
Abstract Object Creation in Dynamic Logic
Object Creation in Dynamic Logic to be or not to be created Wolfgang Ahrendt1 Frank S. de Boer2 Immo Grabe3 1Chalmers University, G¨oteborg, Sweden 2CWI, Amsterdam, The Netherland...
Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe
98
Voted
MOBIHOC
2009
ACM
15 years 7 months ago
Zero pre-shared secret key establishment in the presence of jammers
Tao Jin, Guevara Noubir, Bishal Thapa
80
Voted
ICALP
2007
Springer
15 years 6 months ago
Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms
Mihir Bellare, Thomas Ristenpart
56
Voted
ICCS
2007
Springer
15 years 6 months ago
Session Key Reuse Scheme to Improve Routing Efficiency in AnonDSR
Chunum Kong, Min Young Chung, Hyunseung Choo
83
Voted
IWCMC
2006
ACM
15 years 6 months ago
Location-aware key establishment in wireless sensor networks
Fang Liu, Jose Manny Rivera, Xiuzhen Cheng