33 Hits in 23.3 sec

Application of the ferry clip approach to multi-party and interoperability testing

Hendra Dany
Applications of the ferry clip approach to multi-party conformance and interoperability testing are discussed, followed by an example of MHS conformance testing which demonstrates the applicability of  ...  the ferry clip approach to multi-party testing.  ...  tested using the proposed ferry clip based test system.  ... 
doi:10.14288/1.0051974 fatcat:ekt2eznpprcj5nswdyuuwiwmo4

Trace analysis of protocols based on formal concurrent specifications

Myungchul Kim
Test case generation and trace analysis are two important topics in protocol testing research. Most of the work so far has focused on test case generation rather than trace analysis.  ...  To increase the probability of computers communicating reliably with one another, protocol implementations must be tested for conformance to the standards on which they are based.  ...  We will assume that a system clock will timestamp all events occurring at the IUT, and that a test architecture such as the Ferry [Chans 89] or Astride [Rafiq 90 ] is used to transfer all local observations  ... 
doi:10.14288/1.0051350 fatcat:ryfj7gctrzhyrlemhibvxkhy5m

On TESTGEN, an environment for protocol test sequence generation, and its application to the FDDI MAC protocol

Ying Lu
An Estelle-like intermediate language called Estelle.Y is defined for the ETS-based formal description of protocols in TESTGEN.  ...  This thesis addresses the issues of design and development of the front end of an automatic test suite generation and selection environment named TESTGEN.  ...  Furthermore, communication protocols are rarely tested in a stand-alone mode (local test method), but are combined with a service provider when using the distributed test method or a Ferry Clip approach  ... 
doi:10.14288/1.0051975 fatcat:h6vxy4d2jbcozoed37fqoikeqa

A family of protocol testing techniques

Wendy Yuen-Ling Chan
This procedure is augmented with the eUIOv-method to form the hybrid technique which is directly applicable to the testing of complex protocols implemented according to their Estelle specifications.  ...  This thesis developed three testing techniques that are applicable to the conformance testing of protocols: the UlOv-method, the eUIOv-method and the hybrid technique.  ...  ., "An Atlantic City, New Jersey, USA, June 1988. [Vuon88b] Vuong, S.T. and Chan, W.Y.L., "Validation Of The Ferry Clip Local Testing System Using An Estelle-C Stirling, September 1988.  ... 
doi:10.14288/1.0064927 fatcat:xrizolorzbei7g2lcepdjqneim

Design for testability of communication protocols

Antonio Alfredo Ferreira Loureiro
The method proposed can be used in distributed testing of communication protocols and distributed programs in general.  ...  This technique can also be used in normal execution of the protocol implementation to tackle the problems of state build-up and excepti [...]  ...  The Ferry Clip method is an approach that realizes any of these abstract test methods [33, 194] .  ... 
doi:10.14288/1.0051406 fatcat:gb353cmvofdo7c6dqaglyn56yq

Symposium Abstracts

1987 Journal of Psychopharmacology  
Published research on the number of chromosomes of selected isolates was used to identify a relationship in speciation of these nematodes.  ...  Several isolates of B. xylophilus and B. mucronatus in Japan and from some other countries were used for DNA sequencing of the ITS regions in ribosomal DNA.  ...  the validity of the puri cation procedure.  ... 
doi:10.1177/026988118700100110 pmid:22158754 fatcat:bptluh2vevb4ragu2y3dsm3tm4

120th Virtual Annual Meeting and Conference, Medical Library Association, Inc., May 19, 2020, and July 27–August 28, 2020

JJ Pionke, Ellen M. Aaronson
2021 Journal of the Medical Library Association  
The meeting was titled the "MLA'20 vConference and Exhibits," and the theme was "2020 Vision: The Future in Focus."  ...  The Medical Library Association (MLA) held its 120th annual meeting and conference virtually May 19, 2020, and July 27–August 28, 2020, due to the coronavirus disease 2019 (COVID-19) pandemic.  ...  The EFTS system at UConn is going to go offline in terms of processing transactions after May 31 transactions, so if you are not signed up on the new system and you are using EFTS, you will no longer be  ... 
doi:10.5195/jmla.2021.1169 pmid:33424478 pmcid:PMC7781040 fatcat:d6yuuwwa2rhwlgcjfgn4rsw5cu

Abstracts of Working Papers in Economics

2001 Abstracts of Working Papers in Economics  
We also find empirical support for the existence of complementarities in the joint production of an HMO's commercial and Medicare products. Acemoglu, Daron  ...  We develop a profit-maximization model of HMO behavior, which explicitly considers potential linkages between an HMO's production decision in the commercial enrollee market and its participation and production  ...  Earlier Bayesian work relied on the triangular method of identification which imposes an a priori ordering on the variables in the system, however, incorrect ordering of the variables can result in model  ... 
doi:10.1017/s0951007900005398 fatcat:vp6a7tbsqvf7xb3gpis5kr2fde

The Ransom and Sarah Williams Farmstead: Post-Emancipation Transitions of an African American Family in Central Texas Vol. 2

Douglas Boyd, Aaron Norment, Terri Myers, Maria Franklin, Nedra Lee, Leslie Bush, Brian Shaffer
2015 Index of Texas Archaeology Open Access Grey Literature from the Lone Star State  
farmstead as an integrated agricultural system.  ...  The Texas Constitution of 1876 established the "community system" of education and granted the power to establish and maintain schools to the local authorities.  ...  PCA can be used in a pure pattern-recognition mode, i.e., to search for subgroups in an undifferentiated data set, or in a more evaluative mode, i.e., to assess the coherence of hypothetical groups suggested  ... 
doi:10.21112/ita.2015.1.3 fatcat:aqesj2hzxbemjoxj6rjqzzmlbm

Dr. Eric Archambault Profile

2016 Against the Grain  
/), locally hosted services (her institution uses an Ensemble Streaming Server), and externally hosted services.  ...  and used as the basis of programs that foster community engagement with the library and with local history.  ...  -Michael Pollan, In Defense of Food: An Eater's Manifesto As discussed in a blog post on IO: In the Open, 3 Pollan has encouraged us to leverage consumer power to transform food systems toward health  ... 
doi:10.7771/2380-176x.7476 fatcat:c6dlj5luf5auxgy3ajzowrk4pq

Women as physicians--women as patients

1990 New York state journal of medicine  
Segments of the deep venous system demonstrate pruning, which is an indirect sign of thrombus formation.  ...  False positive diagnosis of DVT with a rate of 45-50% is noted using physical diagnosis alone, as compared with objective tests such as venography.‘ There are, however, a number of other diagnostic tests  ... 
pmid:2370979 fatcat:wsojqdtxnndtldrcto2lm3iali

Performance modelling and evaluation of protocols based on formal specifications

Sijian Zhang
PEFSM makes use of the strengths of both QM and FSM. A PEFSM is based on an FSM which is extended to include time and probability.  ...  An accurate performance modelling and evaluation approach is necessary to obtain reliable performance estimations and to improve system performance.  ...  This is similar to the ferry clip testing method [Chan89, Chan93] . The tester sends messages to the JUT to trigger transitions. This is imple mented using UNIX's datagram sockets (UDP).  ... 
doi:10.14288/1.0051663 fatcat:3zf5yg5thbbbvd565azgwt7ymq

Unusual Archives and Unconventional Autobiographies: Interpreting the Experience of Rural Women, 1940-1985

Abby L. Stephens
The third chapter in this study analyzes the collections of three women who used their writing to document, prescribe, and promote notions of r [...]  ...  In making decisions about which events to write down in a journal or clip-and-save from the local newspaper, these women "performed archivalness" in preserving their experience for family and community  ...  The Diagonal Reporter is an archive of local history.  ... 
doi:10.25394/pgs.7409342.v1 fatcat:ws52i4tt7zfxjderwh62tk4qmy

POSTER PRESENTATIONS P1.01 Investigation and management of diabetes in antenatal patients

Malta, Roberta Bugeja, Catriona Zammit, Alison Fava, John Mamo
2015 Medical Journal   unpublished
Methods: Patient files and imaging through our local PACS system were used to acquire data retrospectively.  ...  Conclusion: Validated scoring systems are not used within our practice. 78.7% of patients with suspected UGIB underwent endoscopy within 24 hours of presentation.  ...  Free protein S is measured locally using an enzyme linked immunosorbent assay which has been described by the College of American Pathologists as having intermediate precision.  ... 

From the Page of North Carolina Libraries: Intellectual Freedom? Censorship in North Carolina

Ralph Scott, Hugh Davis, Ryan Smith, Christian Burris, Carolyn Mccallum, Molly Keener, Sonia Archer-Capuzzo, Orolando Duffus, Tiffany Henry, Jada Jones, Stacey Krim, Clark Nall (+4 others)
1981 unpublished
Eletronic articles can be submitted online at: » To submit you must login; if needed you can register using the link in the header. » We use the Chicago Manual of Style (15th edition  ...  We conducted a usability study to test the system and concluded that the system is helpful in improving user experience. Mingyu Li.  ...  One of the main problems with an annual (or multi-year) contract system is that it is not a meritbased system.  ... 
« Previous Showing results 1 — 15 out of 33 results