10707 search results - page 2060 / 2142 » Designing executable abstractions |
168
Voted
OOPSLA
2007
Springer
16 years 9 days ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
147
click to vote
PET
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. The Domain Name System (DNS) is the only globally deployed Internet service that provides user-friendly naming for Internet hosts. It was originally designed to return th...
156
click to vote
SCIA
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. The study of natural image statistics considers the statistical properties of large collections of images from natural scenes, and has applications in image processing, c...
231
click to vote
SPEAKERC
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. This work describes the development of an automatic estimator of perceptual femininity (PF) of an input utterance using speaker verification techniques. The estimator wa...
149
click to vote
TCC
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Cryptographic protocols are often designed and analyzed under some trusted set-up assumptions, namely in settings where the participants have access to global information...