𝔖 Bobbio Scriptorium

✦ LIBER ✦

A polynomial time validation method for channel boundedness of communication protocols (2 processes)

✍ Scribed by Tomohisa Suganuma; Kaoru Kurosawa; Ni Yongmao

Book ID: 112205911
Publisher: John Wiley and Sons
Year: 1989
Tongue: English
Weight: 435 KB
Volume: 20
Category: Article
ISSN: 0882-1666
DOI: 10.1002/scj.4690201106

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A probabilistic polynomial-time process

A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols

✍ John C. Mitchell; Ajith Ramanathan; Andre Scedrov; Vanessa Teague 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 528 KB

Validation of the Simpson-finite-differe

Validation of the Simpson-finite-difference time domain method for evaluating the electromagnetic field in the vicinity of the lightning channel initiated at ground level

✍ M'ziou, N.; Mokhnache, L.; Boubakeur, A.; Kattan, R. 📂 Article 📅 2009 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 634 KB

Development and validation of real-time

Development and validation of real-time PCR screening methods for detection ofcry1A.105andcry2Ab2genes in genetically modified organisms

✍ Andréia Z. Dinon; Theo W. Prins; Jeroen P. van Dijk; Ana Carolina M. Arisi; Ingr 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 861 KB

[IEEE IEEE 6th Workshop on Signal Proces

[IEEE IEEE 6th Workshop on Signal Processing Advances in Wireless Communications, 2005. - New York, NY, USA (June 2-8, 2005)] IEEE 6th Workshop on Signal Processing Advances in Wireless Communications, 2005. - Decode-amplify-forward (DAF): a new class of forwarding strategy for wireless relay channels

✍ Xingkai Bao, ; Jing Li, 📂 Article 📅 2005 🏛 IEEE ⚖ 989 KB

[IEEE IEEE 6th Workshop on Signal Proces

[IEEE IEEE 6th Workshop on Signal Processing Advances in Wireless Communications, 2005. - New York, NY, USA (June 2-8, 2005)] IEEE 6th Workshop on Signal Processing Advances in Wireless Communications, 2005. - A method for carrier frequency and phase synchronization of two autonomous cooperative transmitters

✍ Brown, D.R.; Prince, G.B.; McNeill, J.A. 📂 Article 📅 2005 🏛 IEEE ⚖ 994 KB

[IEEE Comput. Soc. Press EUROMICRO 96. 2

[IEEE Comput. Soc. Press EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies - Prague, Czech Republic (2-5 Sept. 1996)] Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies - Formal specification of communication protocols based on a Timed-SDL: validation and performance prospects

✍ Chie Dou, 📂 Article 📅 1995 🏛 IEEE Comput. Soc. Press ⚖ 841 KB