2257 search results - page 369 / 452 » Secure program partitioning |
132
click to vote
OOPSLA
2007
Springer
16 years 12 days ago
2007
Springer
ose of the JVM is to abstract the Java language from the hardware and software platforms it runs on. For this reason, the JVM uses services offered by the host operating system in...
152
click to vote
ESCIENCE
2006
IEEE
16 years 10 days ago
2006
IEEE
This paper introduces the concept of a User Programmable Virtualized Network, which allows networks to deliver application specific services using network element components that ...
195
click to vote
QEST
2006
IEEE
16 years 8 days ago
2006
IEEE
As an execution platform, the Java Virtual Machine (JVM) provides many benefits in terms of portability and security. However, this advantage turns into an obstacle when it comes...
159
click to vote
SKG
2006
IEEE
16 years 8 days ago
2006
IEEE
With the enhancement of Grid application, Grid portal provides a unique interface for end-users to access distributed resources and are used widely in Knowledge Grid, e-Science, e...
187
click to vote
ACL2
2006
ACM
16 years 7 days ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...