2162 search results - page 216 / 433 » A Meta-Notation for Protocol Analysis |
171
click to vote
FROCOS
2007
Springer
16 years 24 days ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
255
click to vote
GLOBECOM
2006
IEEE
2006
IEEE
Performance Analysis of Distributed Source Coding and Packet Aggregation in Wireless Sensor Networks
16 years 20 days ago
— In this paper, we propose a theoretical setup for evaluation of energy efficiency of wireless sensor networks (WSNs) with distributed source coding (DSC) algorithms and packet...
199
click to vote
WIOPT
2005
IEEE
16 years 6 days ago
2005
IEEE
With multipath routing in mobile ad hoc networks (MANETs), a source can establish multiple routes to a destination for routing data. In MANETs, mulitpath routing can be used to pr...
173
click to vote
ICTAC
2005
Springer
16 years 4 days ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
189
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...