7839 search results - page 248 / 1568 » What's there and what's not |
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We describe a method for enumerating all essentially different executions possible for a cryptographic protocol. We call them the shapes of the protocol. Naturally occur...
103
click to vote
BROADNETS
2006
IEEE
15 years 7 months ago
2006
IEEE
Secure routing protocols for mobile ad hoc networks have been developed recently, yet, it has been unclear what are the properties they achieve, as a formal analysis of these prot...
102
click to vote
HICSS
2006
IEEE
15 years 7 months ago
2006
IEEE
Citizens and enterprises in the European Union benefit from a common internal market and other freedoms. The resulting and growing mobility and cross-border collaboration necessit...
113
click to vote
ICALT
2006
IEEE
15 years 7 months ago
2006
IEEE
Can learning styles (LS) be applied in current webbased systems? What are the main issues when applying LS in web-based systems? Can LS be authored in current web-based systems? W...
107
click to vote
VTC
2006
IEEE
15 years 7 months ago
2006
IEEE
— In this paper, we analyze the effect of interference diversity on the capacity of a cellular system that employs frequency hopping, power control and bit-interleaved coded modu...