2162 search results - page 243 / 433 » A Meta-Notation for Protocol Analysis |
158
click to vote
ICDCS
2005
IEEE
16 years 6 days ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
175
click to vote
CCECE
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a performance analysis of best effort support over the MAC protocol proposed in the IEEE 802.16 standard. We focus on the uplink channel since it is the critic...
151
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
For diagnosis, preoperative planning and postoperative guides, an accurate estimate of joints kinematics is required. We bring together MRI developments and new image processing me...
185
click to vote
ICCCN
2008
IEEE
16 years 1 months ago
2008
IEEE
—Understanding the communication behavior and network resource usage of parallel applications is critical to achieving high performance and scalability on systems with tens of th...
148
click to vote
ISCC
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper explores the issues connected to the transmission of three dimensional scenes over unreliable networks such as the wireless ones. It analyzes the effect of the loss of ...