2290 search results - page 114 / 458 » Extensible Protected Types |
138
click to vote
FPL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A smart transducer network hosts various nodes with different functionality. Our approach offers the possibility to design different smart transducer nodes as a system...
166
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
— Virtualization is being widely adopted in today’s computing systems. Its unique security advantages in isolating and introspecting commodity OSes as virtual machines (VMs) ha...
317
click to vote
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
143
click to vote
KR
2000
Springer
15 years 10 months ago
2000
Springer
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...
181
click to vote
CCS
2004
ACM
15 years 11 months ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...