Learn More
Reachability analysis has proved to be one of the most effective methods in verifying correctness of communication protocols based on the state transition model. Consequently, many protocol verification tools have been built based on the method of reachability analysis. Nevertheless, it is also well known that state space explosion is the most severe(More)
Server replica placement of Content Distribution Networks (CDNs) addresses the problem of properly placing a set of replicas among a set of candidate sites to optimize system performance gain. Previous studies on server replica placement problem have focused on comparing the performances of different replica placement strategies. However, the growth of the(More)
A competitive indirect enzyme-linked immunosorbent assay (ELISA) was developed for the detection of zearalenone, an estrogenic mycotoxin. Zearalenone was converted to zearalenone-6'-carboxymethyloxime and conjugated to bovine serum albumin and poly-L-lysine for use as immunogen and solid-phase marker, respectively. Immunization of rabbits with the bovine(More)
A loop (ring) system is proposed for distributed computer networks which: i) allows simultaneous transmission of variable-length message frames, 2) minimizes loop access and transmission times, and 3) provides a form of automatic traffic regulation. The ring interface transmitter which performs these three functions is described, and a conceptual model of(More)