2266 search results - page 421 / 454 » A generic component model for building systems software |
134
click to vote
SIGCOMM
2009
ACM
15 years 11 months ago
2009
ACM
Large, socially-driven Web 2.0 sites such as Facebook and Youtube have seen significant growth in popularity [5, 10]. However, strong demand also exists for socially-driven web s...
153
click to vote
JVCIR
2007
15 years 5 months ago
2007
The most popular approaches for the simulation of dynamic systems in computer graphics are force based. Internal and external forces are accumulated from which accelerations are c...
131
click to vote
FSTTCS
2009
Springer
15 years 12 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...
181
click to vote
TCAD
2010
15 years 19 hour ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
187
click to vote
CRYPTO
2011
Springer
14 years 5 months ago
2011
Springer
In CRYPTO 1997, Canetti et al.put forward the intruiging notion of deniable encryption, which (informally) allows a sender and/or receiver, having already performed some encrypted...