5355 search results - page 511 / 1071 » Modules |
152
click to vote
EWSN
2009
Springer
16 years 5 months ago
2009
Springer
We describe the design and implementation of a public-key platform, secFleck, based on a commodity Trusted Platform Module (TPM) chip that extends the capability of a standard node...
123
Voted
CHI
2007
ACM
16 years 5 months ago
2007
ACM
This report describes a user interface (UI) toolkit used for prototyping by non-designers. The toolkit enables the development of standardized UI wireframes and click-through prot...
108
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
In this paper, we introduce the versatile creative tool called "I/O Plant" which generates new-style interactions among humans, plants and computers. It enables designer...
155
click to vote
VLSID
2007
IEEE
16 years 5 months ago
2007
IEEE
The Discrete Wavelet Transform (DWT) forms the core of the JPEG2000 image compression algorithm. Since the JPEG2000 compression application is heavily data-intensive, the overall ...
251
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...