3420 search results - page 428 / 684 » A Language-Based Approach to Security |
162
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, ...
198
click to vote
SAFECOMP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
173
click to vote
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
Transmitting voice communication over untrusted networks puts personal information at risk. Although voice streams are typically encrypted to prevent unwanted eavesdropping, additi...
154
click to vote
MOC
2010
15 years 1 months ago
2010
In this paper, we propose an original optimization approach for reconstructing interface changes of a conductivity inclusion from measurements of eigenvalues and eigenvectors asso...
185
click to vote
TSE
2010
15 years 1 months ago
2010
The increasing reliance put on networked computer systems demands higher levels of dependability. This is even more relevant as new threats and forms of attack are constantly being...