2162 search results - page 286 / 433 » A Meta-Notation for Protocol Analysis |
MEMOCODE
2003
IEEE
15 years 3 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
MICCAI
2003
Springer
15 years 11 months ago
2003
Springer
A fast exploratory framework for extracting cardiac noise signals contained in rest-case fMRI images is presented. Highly autocorrelated, independent components of the input time ...
IAT
2009
IEEE
15 years 4 months ago
2009
IEEE
It is a challenging problem to find agents’ rational strategies in bargaining with incomplete information. In this paper we perform a game theoretic analysis of agents’ ratio...
INFOCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
In this report, we will provide the detailed theoretical analysis including some omitted proofs in our latest submission to Infocom 2008. For more details about the framework prot...
PIMRC
2008
IEEE
15 years 4 months ago
2008
IEEE
—The concept of cooperative relaying promises gains in robustness and energy-efficiency in wireless networks. Although protocols for cooperative relay selection were proposed re...