25 search results - page 5 / 5 » uc 2005 |
IPSN
2005
Springer
13 years 10 months ago
2005
Springer
— We present Telos, an ultra low power wireless sensor module (“mote”) for research and experimentation. Telos is the latest in a line of motes developed by UC Berkeley to en...
VEE
2005
ACM
13 years 10 months ago
2005
ACM
We present a new software system architecture for the implementation of hard real-time applications. The core of the system is a microkernel whose reactivity (interrupt handling a...
CODES
2005
IEEE
13 years 10 months ago
2005
IEEE
Even after carefully tuning the memory characteristics to the application properties and the processor speed, during the execution of real applications there are times when the pr...
CCS
2005
ACM
13 years 10 months ago
2005
ACM
Protocols for authenticated key exchange (AKE) allow parties within an insecure network to establish a common session key which can then be used to secure their future communicati...
ESORICS
2005
Springer
13 years 10 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...