3053 search results - page 34 / 611 » Performance of Generative Programming Based Protocol Impleme... |
IFIP
2003
Springer
14 years 26 days ago
2003
Springer
The use of directional antenna in wireless ad hoc networks potentially increases simultaneous communication by directing the transmitting and receiving beams towards the receiver a...
SCN
2010
Springer
13 years 6 months ago
2010
Springer
An identity-based encryption (IBE) scheme can greatly reduce the complexity of sending encrypted messages. However, an IBE scheme necessarily requires a private-key generator (PKG)...
PDP
2005
IEEE
14 years 1 months ago
2005
IEEE
SVM systems are a cheaper and flexible way to implement the shared memory programming paradigm. Their huge flexibility is due to their software implementation; however, this is al...
ESOP
2009
Springer
13 years 11 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...
AOSD
2010
ACM
14 years 2 months ago
2010
ACM
The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...