1286 search results - page 112 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
122
click to vote
ARCS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
119
click to vote
ICIP
2006
IEEE
16 years 4 months ago
2006
IEEE
In the past few years, a number of practical video coding schemes following distributed source coding principles have emerged. One of the main goals of distributed video coding (D...
115
click to vote
HPDC
1996
IEEE
15 years 7 months ago
1996
IEEE
This document describes the core Legion object model. The model specifies the composition and functionality of Legion's core objects--those objects that cooperate to create, ...
141
click to vote
P2P
2007
IEEE
15 years 9 months ago
2007
IEEE
An important security issue in DHT-based structured overlay networks is to provide anonymity to the storage nodes. Compromised routing tables in those DHTs leak information about ...
134
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Design for specific customer service plays a crucial role for the majority of the market in modern electronics. However, adaptability to an individual customer results in increasi...