2575 search results - page 329 / 515 » Providing security with insecure systems |
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...
211
click to vote
SSDBM
2003
IEEE
15 years 12 months ago
2003
IEEE
The CenSSIS Image Database System is a scientific database that enables effective data management and collaboration to accelerate fundamental research. This paper describes the d...
189
click to vote
CC
2003
Springer
15 years 12 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
166
click to vote
USENIX
2003
15 years 8 months ago
2003
Recent efforts aimed at improving the scalability of the JavaTM platform have focused primarily on the safe collocation of multiple applications in the virtual machine. This is of...
151
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...