8 search results - page 1 / 2 » Extension of protocol synthesis to structured entities |
ICNP
1995
IEEE
13 years 8 months ago
1995
IEEE
WOWMOM
2005
ACM
13 years 10 months ago
2005
ACM
The paper describes the design and evaluation of AdHoc extensions to the IEEE 802.15.3 Medium Access Control (MAC) layer for Wireless Personal Area Networks (WPANs). The proposed ...
INFOCOM
2005
IEEE
13 years 10 months ago
2005
IEEE
— Conventionally, most network protocols assume that the network entities who participate in the network activities will always behave as instructed. However, in practice, most n...
AFRICACRYPT
2009
Springer
13 years 12 months ago
2009
Springer
We propose a generic modelling technique that can be used to extend existing frameworks for theoretical security analysis in order to capture the use of timestamps. We apply this t...
DATE
1999
IEEE
13 years 9 months ago
1999
IEEE
There is an increasing research interest in system level design languages which can carry designers from specification to implementation of system-on-a-chip. Unfortunately, two of...