3130 search results - page 284 / 626 » Design Correctness of Digital Systems |
168
click to vote
POPL
2000
ACM
15 years 11 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
199
click to vote
LCTRTS
2005
Springer
16 years 5 days ago
2005
Springer
Software pipelining is a critical optimization for producing efficient code for VLIW/EPIC and superscalar processors in highperformance embedded applications such as digital sign...
172
click to vote
INFOVIS
2003
IEEE
15 years 12 months ago
2003
IEEE
The Informedia Digital Video Library user interface summarizes query results with a collage of representative keyframes. We present a user study in which keyframe occlusion caused...
162
click to vote
NIME
2005
Springer
16 years 5 days ago
2005
Springer
In this paper we study the potential and the challenges posed by multi-user instruments, as tools that can facilitate interaction and responsiveness not only between performers an...
174
click to vote
DOCENG
2004
ACM
16 years 3 days ago
2004
ACM
This research’s primary contribution is providing a relatively straightforward, sustainable infrastructure for integrating documents and services. Users see a totally integrated...