2806 search results - page 374 / 562 » BML and Related Tools |
150
click to vote
OOPSLA
2007
Springer
16 years 22 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...
147
click to vote
OOPSLA
2007
Springer
16 years 22 days ago
2007
Springer
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
161
click to vote
PKC
2007
Springer
16 years 21 days ago
2007
Springer
Damg˚ard et al. [11] showed a novel technique to convert a polynomial sharing of secret a into the sharings of the bits of a in constant rounds, which is called the bit-decomposit...
180
click to vote
PPDP
2007
Springer
16 years 21 days ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
135
click to vote
RSKT
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Consumer research has indicated that consumers use compensatory and non-compensatory decision strategies when formulating their purchasing decisions. Compensatory decisio...