3424 search results - page 478 / 685 » Building Diverse Computer Systems |
117
Voted
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
136
click to vote
ISW
2009
Springer
15 years 11 months ago
2009
Springer
We present ShMAC (Shallow MAC), a fixed input length message authentication code that performs most of the computation prior to the availability of the message. Specifically, Sh...
137
click to vote
ENC
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper introduces an approach for adaptively brokering queries for exploiting streams produced and consumed by devices with limited computing and storage capacities. Such devi...
176
click to vote
ACMACE
2005
ACM
15 years 10 months ago
2005
ACM
Immersing players in believable and engaging virtual environments is a common goal for many interactive computer games. While PC-based audio only games set in virtual worlds have ...
145
click to vote
SIGCSE
2005
ACM
15 years 10 months ago
2005
ACM
Information technology projects are growing in complexity and require teams to solve problems and develop solutions. With current undergraduate, computer science and information s...