2162 search results - page 216 / 433 » A Meta-Notation for Protocol Analysis |
164
click to vote
FROCOS
2007
Springer
16 years 9 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...
248
Voted
GLOBECOM
2006
IEEE
2006
IEEE
Performance Analysis of Distributed Source Coding and Packet Aggregation in Wireless Sensor Networks
16 years 6 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...
184
Voted
WIOPT
2005
IEEE
15 years 11 months 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...
165
Voted
ICTAC
2005
Springer
15 years 11 months 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...
169
Voted
ISSTA
2000
ACM
15 years 10 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 ...