1285 search results - page 12 / 257 » Codes for Digital Recorders |
159
click to vote
PLDI
2010
ACM
16 years 3 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
145
click to vote
ECAL
2005
Springer
15 years 11 months ago
2005
Springer
Recently, all the human genes were identified. But understanding the functions coded in the genes is of course a much harder problem. We are used to view DNA as some sort of a comp...
163
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
The Sound of Touch is a new tool for real-time capture and sensitive physical stimulation of sound samples using digital convolution. Our hand-held wand can be used to (1) record ...
142
click to vote
EUROPKI
2007
Springer
16 years 1 days ago
2007
Springer
In this paper we propose the notion of security-by-contract, a mobile contract that an application carries with itself. The key idea of the framework is that a digital signature sh...
198
click to vote
SAC
2010
ACM
16 years 22 days ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...