Search Results

There are 4620 results for: content related to: Toward efficient protocol design through protocol profiling and performance assessment: using formal verification in a different context

  1. Measuring Contextual Characteristics for Community Health

    Health Services Research

    Volume 38, Issue 6p2, December 2003, Pages: 1645–1718, Marianne M. Hillemeier, John Lynch, Sam Harper and Michele Casper

    Version of Record online : 18 DEC 2003, DOI: 10.1111/j.1475-6773.2003.00198.x

  2. You have free access to this content
    Interventions for enhancing medication adherence

    Intervention Review

    The Cochrane Library

    Robby Nieuwlaat, Nancy Wilczynski, Tamara Navarro, Nicholas Hobson, Rebecca Jeffery, Arun Keepanasseril, Thomas Agoritsas, Niraj Mistry, Alfonso Iorio, Susan Jack, Bhairavi Sivaramalingam, Emma Iserman, Reem A Mustafa, Dawn Jedraszewski, Chris Cotoi and R. Brian Haynes

    Published Online : 20 NOV 2014, DOI: 10.1002/14651858.CD000011.pub4

  3. Adaptive Transmission Control Protocol-trunking flow control mechanism for supporting proxy-assisted video on demand system

    International Journal of Communication Systems

    Volume 25, Issue 10, October 2012, Pages: 1363–1380, Yuan-Tse Yu and Sheau-Ru Tong

    Version of Record online : 15 AUG 2011, DOI: 10.1002/dac.1312

  4. Product quality for nanomaterials: current U.S. experience and perspective

    Wiley Interdisciplinary Reviews: Nanomedicine and Nanobiotechnology

    Volume 7, Issue 5, September/October 2015, Pages: 640–654, Katherine M. Tyner, Peng Zou, Xiaochuan Yang, Hailing Zhang, Celia N. Cruz and Sau L. Lee

    Version of Record online : 30 JAN 2015, DOI: 10.1002/wnan.1338

  5. Beyond Kelly Green Golf Shoes: Evaluating the Demand for Scholarship of Free-Market and Mainstream Economists

    American Journal of Economics and Sociology

    Volume 71, Issue 5, November 2012, Pages: 1169–1184, J. R. Clark, Jennifer Miller-Wilford and Edward Peter Stringham

    Version of Record online : 7 NOV 2012, DOI: 10.1111/j.1536-7150.2012.00860.x

  6. Building megaphylogenies for macroecology: taking up the challenge

    Ecography

    Volume 36, Issue 1, January 2013, Pages: 13–26, Cristina Roquet, Wilfried Thuiller and Sébastien Lavergne

    Version of Record online : 17 DEC 2012, DOI: 10.1111/j.1600-0587.2012.07773.x

  7. The Behavioral Foundations of Trade Secrets: Tangibility, Authorship, and Legality

    Journal of Empirical Legal Studies

    Volume 3, Issue 2, July 2006, Pages: 197–235, Yuval Feldman

    Version of Record online : 21 JUN 2006, DOI: 10.1111/j.1740-1461.2006.00068.x

  8. You have free access to this content
    Software tools overview: process integration, modelling and optimisation for energy saving and pollution reduction

    Asia-Pacific Journal of Chemical Engineering

    Volume 6, Issue 5, September/October 2011, Pages: 696–712, Hon Loong Lam, Jiří Jaromír Klemeš, Zdravko Kravanja and Petar Sabev Varbanov

    Version of Record online : 2 SEP 2010, DOI: 10.1002/apj.469

  9. An overview of using directional antennas in wireless networks

    International Journal of Communication Systems

    Volume 26, Issue 4, April 2013, Pages: 413–448, Hong-Ning Dai, Kam-Wing Ng, Minglu Li and Min-You Wu

    Version of Record online : 10 NOV 2011, DOI: 10.1002/dac.1348

  10. Global statistics on addictive behaviours: 2014 status report

    Addiction

    Volume 110, Issue 6, June 2015, Pages: 904–919, Linda R. Gowing, Robert L. Ali, Steve Allsop, John Marsden, Elizabeth E. Turf, Robert West and John Witton

    Version of Record online : 11 MAY 2015, DOI: 10.1111/add.12899

  11. You have free access to this content
    Investigating the impact of guilt and shame proneness on consumer ethics: a cross national study

    International Journal of Consumer Studies

    Volume 40, Issue 1, January 2016, Pages: 2–13, Denni Arli, Cheryl Leo and Fandy Tjiptono

    Version of Record online : 12 APR 2015, DOI: 10.1111/ijcs.12183

  12. Trust-aware query routing in P2P social networks

    International Journal of Communication Systems

    Volume 25, Issue 10, October 2012, Pages: 1260–1280, Qingjie Wang, Jianrong Wang, Jian Yu, Mei Yu and Yan Zhang

    Version of Record online : 19 SEP 2011, DOI: 10.1002/dac.1320

  13. Modeling and Simulation of Smart Energy Systems

    Standard Article

    Handbook of Clean Energy Systems

    David Connolly, Henrik Lund and Brian Vad Mathiesen

    Published Online : 16 JUL 2015, DOI: 10.1002/9781118991978.hces162

  14. You have free access to this content
    A tremor and slip event on the Cocos-Caribbean subduction zone as measured by a global positioning system (GPS) and seismic network on the Nicoya Peninsula, Costa Rica

    Journal of Geophysical Research: Solid Earth (1978–2012)

    Volume 115, Issue B10, October 2010, Kimberly C. Outerbridge, Timothy H. Dixon, Susan Y. Schwartz, Jacob I. Walter, Marino Protti, Victor Gonzalez, J. Biggs, Martin Thorwart and Wolfgang Rabbel

    Version of Record online : 12 OCT 2010, DOI: 10.1029/2009JB006845

  15. A review of routing strategies for optical burst switched networks

    International Journal of Communication Systems

    Volume 26, Issue 3, March 2013, Pages: 315–336, C. Yahaya, M. S. Abd Latiff and A. B. Mohamed

    Version of Record online : 22 SEP 2011, DOI: 10.1002/dac.1345

  16. A survey and comparison of multichannel protocols for performance anomaly mitigation in IEEE 802.11wireless networks

    International Journal of Communication Systems

    Volume 26, Issue 10, October 2013, Pages: 1288–1307, Sok-Hyong Kim, Dong-Wook Kim and Young-Joo Suh

    Version of Record online : 1 FEB 2012, DOI: 10.1002/dac.1396

  17. Performance comparison of end-to-end and on-the-spot traffic-aware techniques

    International Journal of Communication Systems

    Volume 26, Issue 1, January 2013, Pages: 13–33, Raad S. Al-Qassas and Mohamed Ould-Khaoua

    Version of Record online : 18 AUG 2011, DOI: 10.1002/dac.1327

  18. Network Mobility in satellite networks: architecture and the protocol

    International Journal of Communication Systems

    Volume 26, Issue 2, February 2013, Pages: 177–197, Abu Zafar M. Shahriar, Mohammed Atiquzzaman and William Ivancic

    Version of Record online : 30 AUG 2011, DOI: 10.1002/dac.1338

  19. Minimizing multiplayer interactive delay in multihop wireless networks

    International Journal of Communication Systems

    Volume 25, Issue 10, October 2012, Pages: 1330–1349, Kun-Hsuan Liu, Jung-Shian Li, Chun-Yen Wang, Naveen Chilamkurti and Athanasios V. Vasilakos

    Version of Record online : 28 JUL 2011, DOI: 10.1002/dac.1309

  20. State-expansion-based techniques for synthesizing concurrent protocol specifications in distributed systems

    International Journal of Communication Systems

    Volume 26, Issue 9, September 2013, Pages: 1176–1195, Jehad Al Dallal and Kassem Saleh

    Version of Record online : 9 JAN 2012, DOI: 10.1002/dac.1389