3686 search results - page 523 / 738 » An Approach to a Trustworthy System Architecture Using Virtu... |
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
The storage manager of a general-purpose database system can retain consistent disk page level snapshots and run application programs "back-in-time" against long-lived p...
CSFW
2004
IEEE
14 years 1 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
CGF
2004
13 years 9 months ago
2004
Crowd simulation for virtual environments offers many challenges centered on the trade-offs between rich behavior, control and computational cost. In this paper we present a new a...
COMCOM
2000
13 years 9 months ago
2000
Service provisioning is currently a challenging issue to offer future telecommunication services efficiently and at the same time in a flexible and user friendly manner. As a cont...
TOCS
2008
13 years 9 months ago
2008
Component-based software structuring principles are now commonly and successfully applied at the application level; but componentisation is far less established when it comes to b...