5255 search results - page 741 / 1051 » Formal Methods for Privacy |
178
click to vote
FC
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Anonymity-protection techniques are crucial for various commercial and financial transactions, where participants are worried about their privacy. On the other hand, aut...
156
click to vote
OOPSLA
2007
Springer
16 years 24 days ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
148
click to vote
OOPSLA
2007
Springer
16 years 24 days ago
2007
Springer
Nominal subtyping (or user-defined subtyping) and structural subtyping each have their own strengths and weaknesses. Nominal subtyping allows programmers to explicitly express de...
191
click to vote
OOPSLA
2007
Springer
16 years 24 days ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
148
click to vote
ICSEA
2006
IEEE
16 years 21 days ago
2006
IEEE
The construction and maintenance of large and complex software systems depend on the existence of global principles describing the structure and the interaction among its various ...