1679 search results - page 248 / 336 » Security Properties and CSP |
168
click to vote
TDSC
2008
15 years 6 months ago
2008
Inspired by unidirectional error detecting codes that are used in situations where only one kind of bit error is possible (e.g., it is possible to change a bit "0" into a...
203
click to vote
SP
2002
IEEE
15 years 5 months ago
2002
IEEE
When Java was first introduced, there was a perception that its many benefits came at a significant performance cost. In the particularly performance-sensitive field of numerical ...
144
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
We propose a Java-like language where class de nitions are rst class values, hence new classes can be derived from existing, rather than by a xed mechanism like inheritance, by e...
165
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Inclusion-based points-to analysis provides a good trade-off between precision of results and speed of analysis, and it has been incorporated into several production compilers inc...
153
click to vote
PVLDB
2010
15 years 4 months ago
2010
The tremendous growth of the Internet has significantly reduced the cost of obtaining and sharing information about individuals, raising many concerns about user privacy. Spatial...