2043 search results - page 347 / 409 » Reasoning About Security Models |
OOPSLA
2004
Springer
14 years 3 months ago
2004
Springer
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method ...
SYSTOR
2010
ACM
14 years 2 months ago
2010
ACM
I/O intensive workloads running in virtual machines can suffer massive performance degradation. Direct assignment of I/O devices to virtual machines is the best performing I/O vir...
ECBS
2000
IEEE
14 years 2 months ago
2000
IEEE
Because there are di erent types of software (e.g., language, application, target environment, etc.), di erent software certi cation methodologies are needed. Software process imp...
POPL
1998
ACM
14 years 2 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
- Many electronic systems contain implementations of cryptographic algorithms in order to provide security. It is well known that cryptographic algorithms, irrespective of their th...