3828 search results - page 644 / 766 » Proof-Based System Engineering Using a Virtual System Model |
152
click to vote
INFOCOM
2007
IEEE
16 years 19 days 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...
155
click to vote
FSTTCS
2007
Springer
16 years 15 days 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...
131
click to vote
GECCO
2007
Springer
16 years 15 days 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...
147
click to vote
ISESE
2005
IEEE
15 years 12 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...
181
click to vote
CCS
2009
ACM
15 years 10 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...