533 search results - page 40 / 107 » Protocol synthesis from timed and structured specifications |
107
click to vote
ICMLA
2009
14 years 11 months ago
2009
We describe a generative model for graph edges under specific degree distributions which admits an exact and efficient inference method for recovering the most likely structure. T...
HPCS
2007
IEEE
15 years 7 months ago
2007
IEEE
One of the challenges in the large-scale simulations required for many molecular systems (such as those of biological interested) is the recording, monitoring and visualization of...
130
click to vote
CCR
2002
15 years 1 months ago
2002
Most network protocols are uni-modal: they employ a single set of algorithms that allows them to cope well only within a narrow range of operating conditions. This rigid design re...
102
click to vote
MONET
2002
15 years 29 days ago
2002
The Ad hoc Multicast Routing protocol (AMRoute) presents a novel approach for robust IP Multicast in mobile ad hoc networks by exploiting user-multicast trees and dynamic logical c...
116
click to vote
FOCS
2010
IEEE
14 years 11 months ago
2010
IEEE
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...