14424 search results - page 2703 / 2885 » Modeling Radio Networks |
169
click to vote
CSFW
2009
IEEE
15 years 9 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
153
click to vote
ICLP
2010
Springer
15 years 9 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
138
click to vote
PODC
2010
ACM
15 years 9 months ago
2010
ACM
We quantify the effect of Bayesian ignorance by comparing the social cost obtained in a Bayesian game by agents with local views to the expected social cost of agents having glob...
144
click to vote
GLOBECOM
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract-- The emerging high-rate wireless personal area network (WPAN) technology is capable of supporting high-speed and high-quality real-time multimedia applications. In partic...
171
click to vote
HIPC
2007
Springer
15 years 9 months ago
2007
Springer
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...