23406 search results - page 4489 / 4682 » Architecture, Design, Implementation |
132
Voted
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
182
click to vote
EUROCRYPT
2008
Springer
15 years 6 months ago
2008
Springer
Recently, Aumann and Lindell introduced a new realistic security model for secure computation, namely, security against covert adversaries. The main motivation was to obtain secure...
145
click to vote
DATESO
2007
15 years 6 months ago
2007
Authors are looking within their research grant new original web local search algorithm respecting specifics of Czech national environment. We would like to initiate further debate...
147
click to vote
DGO
2008
15 years 6 months ago
2008
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...
123
click to vote
NSDI
2010
15 years 6 months ago
2010
In many enterprises today, WAN optimizers are being deployed in order to eliminate redundancy in network traffic and reduce WAN access costs. In this paper, we present the design ...