365 search results - page 63 / 73 » Types for Safe Locking |
DBPL
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
OOPSLA
2000
Springer
14 years 16 days ago
2000
Springer
To date, systems offering multitasking for the JavaTM programming language either use one process or one class loader for each application. Both approaches are unsatisfactory. Usi...
ADC
2008
Springer
13 years 11 months ago
2008
Springer
Many existing access controls use node filtering or querying rewriting techniques. These techniques require rather time-consuming processes such as parsing, labeling, pruning and/...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
Fully autonomous vehicles promise enormous gains in safety, efficiency, and economy. Before such gains can be realized, safety and reliability concerns must be addressed. We have ...
CARDIS
2008
Springer
13 years 11 months ago
2008
Springer
When it comes to security, an interesting difference between Java Card and regular Java is the absence of an on-card bytecode verifier on most Java Cards. In principle this opens u...