Search Results

There are 10726 results for: content related to: Model checking aircraft controller software: a case study

  1. An efficient MAC protocol with cooperative retransmission in mobile ad hoc networks

    Wireless Communications and Mobile Computing

    Volume 12, Issue 9, 25 June 2012, Pages: 813–821, Jeng-Long Chiang, Jang-Ping Sheu, Huan-Chun Tseng and Wen-Tsuen Chen

    Version of Record online : 13 OCT 2010, DOI: 10.1002/wcm.1015

  2. A performance comparison of link level connection schemes in csma/cd networks

    Electronics and Communications in Japan (Part I: Communications)

    Volume 73, Issue 8, August 1990, Pages: 11–23, Shuji Tasaka and Masaya Hirota

    Version of Record online : 23 MAR 2007, DOI: 10.1002/ecja.4410730802

  3. Data Transmission

    Standard Article

    Reference Manual for Telecommunications Engineering

    Roger L. Freeman

    Published Online : 15 JAN 2002, DOI: 10.1002/0471208051.fre024

  4. Data in Statistics and in R

    Statistics and Data with R: An applied approach through examples

    Yosef Cohen, Jeremiah Y. Cohen, Pages: 45–74, 2008

    Published Online : 17 OCT 2008, DOI: 10.1002/9780470721896.ch2

  5. Impact of priority differentiation on the bridged WBAN/WLAN healthcare networks

    Wireless Communications and Mobile Computing

    Volume 14, Issue 12, 25 August 2014, Pages: 1189–1200, Saeed Rashwand and Jelena Misic

    Version of Record online : 17 SEP 2012, DOI: 10.1002/wcm.2264

  6. Data Sets

    Biostatistical Design and Analysis Using R: A Practical Guide

    Murray Logan, Pages: 48–64, 2010

    Published Online : 16 APR 2010, DOI: 10.1002/9781444319620.ch2

  7. You have free access to this content
    Front Matter

    Biostatistical Design and Analysis Using R: A Practical Guide

    Murray Logan, Pages: i–xxviii, 2010

    Published Online : 16 APR 2010, DOI: 10.1002/9781444319620.fmatter

  8. You have full text access to this OnlineOpen article
    Application of ggplot2 to Pharmacometric Graphics

    CPT: Pharmacometrics & Systems Pharmacology

    Volume 2, Issue 10, October 2013, Pages: 1–16, K Ito and D Murphy

    Version of Record online : 16 OCT 2013, DOI: 10.1038/psp.2013.56

  9. The PHS protocol

    Software: Practice and Experience

    Volume 14, Issue 4, April 1984, Pages: 299–310, Michael Purser, Chris Horn and John Sheehan

    Version of Record online : 30 OCT 2006, DOI: 10.1002/spe.4380140402

  10. Reliable MAC layer multicast in IEEE 802.11 wireless networks

    Wireless Communications and Mobile Computing

    Volume 3, Issue 4, June 2003, Pages: 439–453, Min-te Sun, Lifei Huang, Shaoyong Wang, Anish Arora and Ten-Hwang Lai

    Version of Record online : 25 JUN 2003, DOI: 10.1002/wcm.129

  11. Parallel transport subsystem implementation for high-performance communication

    Concurrency: Practice and Experience

    Volume 6, Issue 4, June 1994, Pages: 375–391, T. Braun and C. Schmidt

    Version of Record online : 25 OCT 2006, DOI: 10.1002/cpe.4330060410

  12. Data Communication

    Standard Article

    Wiley Encyclopedia of Computer Science and Engineering

    Oliver Yu

    Published Online : 15 JAN 2008, DOI: 10.1002/9780470050118.ecse488

  13. A multiple relay-based medium access control protocol in multirate wireless ad hoc networks with multiple beam antennas

    International Journal of Communication Systems

    Volume 23, Issue 5, May 2010, Pages: 596–632, Yuh-Shyan Chen, Chih-Shun Hsu and Po-Ta Chen

    Version of Record online : 8 DEC 2009, DOI: 10.1002/dac.1094

  14. How to Start a Meaningful Relationship with Your Computer

    How to be a Quantitative Ecologist: The ‘A to R’ of Green Mathematics and Statistics

    Jason Matthiopoulos, Pages: 1–13, 2011

    Published Online : 23 MAR 2011, DOI: 10.1002/9781119991595.ch

  15. A fragment-based retransmission scheme with quality-of-service considerations for wireless networks

    Wireless Communications and Mobile Computing

    Volume 13, Issue 16, November 2013, Pages: 1450–1463, Chin-Fu Kuo, Hsueh-Wen Tseng and Ai-Chun Pang

    Version of Record online : 6 OCT 2011, DOI: 10.1002/wcm.1193

  16. Standards and Regulations

    VANET: Vehicular Applications and Inter-Networking Technologies

    Hannes Hartenstein, Kenneth P Laberteaux, Pages: 365–429, 2009

    Published Online : 19 NOV 2009, DOI: 10.1002/9780470740637.ch10

  17. Network infrastructure extension using 802.1D-based wireless mesh networks

    Wireless Communications and Mobile Computing

    Volume 11, Issue 1, January 2011, Pages: 67–89, Rui Campos, Ricardo Duarte, Filipe Sousa, Manuel Ricardo and José Ruela

    Version of Record online : 18 JAN 2010, DOI: 10.1002/wcm.916

  18. A multichannel relay MAC protocol for IEEE 802.11 wireless LANs

    International Journal of Communication Systems

    Volume 27, Issue 11, November 2014, Pages: 3064–3081, Dong-Wook Kim, Wan-Seon Lim and Young-Joo Suh

    Version of Record online : 19 MAR 2013, DOI: 10.1002/dac.2526

  19. A multicast hybrid ARQ scheme with stored error recovery

    Electronics and Communications in Japan (Part I: Communications)

    Volume 77, Issue 9, September 1994, Pages: 73–84, Katsumi Sakakibara and Masao Kasahara

    Version of Record online : 23 MAR 2007, DOI: 10.1002/ecja.4410770907

  20. Pervasive data access in wireless and mobile computing environments

    Wireless Communications and Mobile Computing

    Volume 8, Issue 1, January 2008, Pages: 25–44, Ken C. K. Lee, Wang-Chien Lee and Sanjay Madria

    Version of Record online : 12 SEP 2006, DOI: 10.1002/wcm.424