112 search results - page 10 / 23 » Generalized Certificate Revocation |
FMICS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...
POPL
2006
ACM
14 years 10 months ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
EMSOFT
2011
Springer
12 years 9 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
GCC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Taking advantage of the application paradigm of web service, a general paradigm of service computing is discussed for underlying workflow execution based on collaborative...
ICNS
2006
IEEE
14 years 3 months ago
2006
IEEE
The Globus Toolkit is properly configured open source software for setting up grid nodes across multiple heterogeneous platforms. The process of grid enabling a machine is a long ...