252 search results - page 17 / 51 » A Scenario-Based Approach to Protocol Design Using Evolution... |
CCR
2004
14 years 11 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
117
click to vote
CRYPTO
2010
Springer
15 years 23 days ago
2010
Springer
Multiparty computation protocols have been known for more than twenty years now, but due to their lack of efficiency their use is still limited in real-world applications: the goal...
112
click to vote
ACMIDC
2009
15 years 3 months ago
2009
In this paper, we present Wi-swing, a case study approach in designing a networked playground for children located in a public garden. The approach adopted in the case study is ba...
IJSEKE
2007
14 years 11 months ago
2007
Software architectural design has an enormous effect on downstream software artifacts. Decomposition of functions for the final system is one of the critical steps in software arch...
165
click to vote
DSD
2011
IEEE
13 years 11 months ago
2011
IEEE
—This paper presents an approach for the reliability-aware design optimization of real-time systems on multi-processor platforms. The optimization is based on an extension of wel...