2354 search results - page 422 / 471 » DRM as a layered system |
ISW
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
VEE
2010
ACM
14 years 29 days ago
2010
ACM
Crash dump, or core dump is the typical way to save memory image on system crash for future offline debugging and analysis. However, for typical server machines with likely abund...
SENSYS
2003
ACM
14 years 27 days ago
2003
ACM
The current generation of sensor nodes rely on commodity components. The choice of the radio is particularly important as it impacts not only energy consumption but also software ...
ICANN
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. Solutions to the symbol grounding problem, in psychologically plausible cognitive models, have been based on hybrid connectionist/symbolic architectures, on robotic appro...
RTCSA
1999
IEEE
13 years 12 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...