3828 search results - page 644 / 766 » Proof-Based System Engineering Using a Virtual System Model |
115
click to vote
INFOCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
— Distributed hash tables (DHTs) provide efficient data naming and location with simple hash-table-like primitives, upon which sophisticated distributed applications can be buil...
118
Voted
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, a new method for evolving simple electronic circuits is discussed, with the aim of improving the reliability and performance of basic circuit blocks. Next-generatio...
106
Voted
ISESE
2005
IEEE
15 years 8 months ago
2005
IEEE
Many risk specific concepts like “threat”, “consequence” and “risk” belong to the daily language. In a risk analysis one cannot be certain that the participants’ int...
134
click to vote
CCS
2009
ACM
15 years 6 months ago
2009
ACM
This work casts the traffic analysis of anonymity systems, and in particular mix networks, in the context of Bayesian inference. A generative probabilistic model of mix network ar...