841 search results - page 105 / 169 » A secure architectural description language for agent system... |
174
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
165
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
We explore the extent to which newly available CPU-based security technology can reduce the Trusted Computing Base (TCB) for security-sensitive applications. We find that although...
157
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
New application-focused system-on-chip platforms motivate new application-specific processors. Configurable and extensible processor architectures offer the efficiency of tuned lo...
158
click to vote
WOA
2000
15 years 7 months ago
2000
This paper briefly outlines the main characteristics of an ongoing research aimed at developing a support library for implementing systems based on autonomous agents. The library ...
185
click to vote
DRM
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we consider the functionality that a rights expression language (REL) should provide within a digital rights management (DRM) environment. We begin by noting the dea...