793 search results - page 148 / 159 » Protocol Modeling with Model Program Composition |
136
Voted
INDOCRYPT
2003
Springer
15 years 7 months ago
2003
Springer
We consider both information-theoretic and cryptographic settings for Multi-Party Computation (MPC), based on the underlying linear secret sharing scheme. Our goal is to study the ...
124
click to vote
FASE
2009
Springer
15 years 6 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
IJCAI
2007
15 years 3 months ago
2007
Mechanism design is the study of preference aggregation protocols that work well in the face of self-interested agents. We present the first general-purpose techniques for automa...
127
click to vote
CISS
2007
IEEE
15 years 2 months ago
2007
IEEE
This paper introduces a robust approach to stochastic multi-hop routing for wireless networks when the quality of links is modelled through a reliability matrix R. Yielding to the ...
134
click to vote
JSAC
2006
15 years 2 months ago
2006
The wireless mesh network (WMN) is an economical solution to support ubiquitous broadband services. This paper investigates the tradeoffs among quality-of-service (QoS), capacity, ...