5374 search results - page 740 / 1075 » The induction of communication protocols |
202
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
244
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In a multi-hop mobile ad hoc network (MANET) mobile nodes communicate with each other forming a cooperative radio network. Security remains a major challenge for these networks du...
164
Voted
IJACT
2008
15 years 7 months ago
2008
Abstract. A signer in a Nominative Signature (NS) scheme can arbitrarily choose a nominee, then jointly generate a signature in such a way that the signature can only be verified w...
210
click to vote
IJWIN
2008
15 years 7 months ago
2008
Abstract. With the 802.11 WLAN multimedia applications (Video, Audio, realtime voice over IP,...) increasing, providing Quality of Service (QoS) support becomes very important sinc...
254
click to vote
CN
2007
15 years 7 months ago
2007
The availability of low-cost hardware such as CMOS cameras and microphones has fostered the development of Wireless Multimedia Sensor Networks (WMSNs), i.e., networks of wirelessl...