7 citations found. Retrieving documents...
Clark, D., Private communication, 1989.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Approximate Non-Interference - Di Pierro, Hankin, Wiklicky (2002)   (13 citations)  (Correct)

....whether they are identical or not. In particular, in the probabilistic case we can measure the distance between the distributions representing the agents observables instead of checking whether this difference is . We can then say that the agents are confined for some . Example 5 [4] Consider an (Automatic Teller Machine) accepting only a single out of possible s, e.g. Y Y;Y Y ask tell 76 32 p D This agent simulates an which recognises : if has been told the machine dispenses cash, otherwise for any ....

D. Clark, S. Hunt, and P. Malacaria. private communication. July 2001.


Approximate Non-Interference - Di Pierro, Hankin, Wiklicky (2002)   (13 citations)  (Correct)

....whether they are identical or not. In particular, in the probabilistic case we can measure the distance between the distributions representing the agents observables instead of checking whether this difference is 0. We can then say that the agents are confined for some 0. Example 3 [2] Consider an ATM (Automatic Teller Machine) accepting only a single PIN number n out of m possible PINs, e.g. m = 10000: ATMn i=1;i6=n ask(PINi) 1 : tell(alarm) ask(PINn) 1 : tell(cash) This agent simulates an ATM which recognises PINn: if PINn has been told the machine dispenses cash, ....

D. Clark, S. Hunt, and P. Malacaria. private communication. July 2001.


Coherent splitting of Bose-Einstein condensed.. - Kozuma, Deng.. (1999)   (1 citation)  (Correct)

....from the TOP trap. The magnetic trap is turned off in 50 s and the condensate undergoes a burst of expansion driven by the mean field repulsion between the atoms. After a few characteristic times, t = w x w y w z ( 1 3 , the mean field becomes negligible and the cloud expands ballistically [17]. During this ballistic expansion period the condensate is exposed to a moving, periodic optical potential. This potential is generated by two nearly counter propagating ( q =166 o ) laser beams with parallel linear polarizations but slightly different frequencies (Fig. 1a) These (phase ....

C.W. Clark, private communication, (1998).


A Two-bit Differentiated Services Architecture for the.. - Nichols, Jacobson, Zhang (1999)   (252 citations)  (Correct)

....transactions would have to specify either Assured or Premium. A statically configured example with no BB messages exchanged. Here all allocations are statically preallocated through purely bilateral agreements between users (individual TCPs, individual hosts, campus networks, or whole ISPs) [6]. The allocations are in the form of usage profiles of rate, burst, and a time during which that profile is to be active. Users and providers negotiate these Profiles which are then installed in the user domain BB and in the provider domain BB. No BB messages cross the boundary; we assume this ....

D. Clark, private communication, October 26, 1997


Topological Defects and Interactions in Nematic Emulsions - Lubensky David (1998)   (1 citation)  (Correct)

....preferred one and that it leads to a dipole dipole interaction between drops that gives rise to the experimen3 tally observed chaining of droplets. It is interesting to note that similar topological dipole configurations appear in two dimensional systems including (1) free standing smectic films [39] where a circular region with an extra layer plays the role of the emulsion water droplet and (2) Langmuir films [40] in which a liquid expanded inclusion in a tilted liquid condensed region plays a similar role. The outline of this paper is as follows. In Sec. II, we review important elastic and ....

....Thus, though of order ten times greater than fluctuations in the length of the dipole, angular fluctuations are still unobservably small. Interestingly, we note that angular fluctuations in the 2D version of this problem are much larger and have indeed been observed in free standing smectic films [39] Our approach is to provide an ansatz for a director configuration with the dipole rotated through an angle ## relative to the director field at infinity given a configuration in which the dipole moment is parallel to the director field at infinity. We will then use this ansatz to calculate bounds ....

D. Link and N. Clark, private communication.


A Two-bit Differentiated Services Architecture for the.. - Nichols, Jacobson, Zhang (1997)   (252 citations)  (Correct)

....transactions would have to specify either Assured or Premium. A statically configured example with no BB messages exchanged. Here all allocations are statically preallocated through purely bilateral agreements between users (individual TCPs, individual hosts, campus networks, or whole ISPs) [6]. The allocations are in the form of usage profiles of rate, burst, and a time during which that profile is to be active. Users and providers negotiate these Profiles which are then installed in the user domain BB and in the provider domain BB. No BB messages cross the boundary; we assume this ....

D. Clark, private communication, October 26, 1997


Network Working Group R. Braden Request for Comments: 1379.. - Status Of This   (Correct)

No context found.

Clark, D., Private communication, 1989.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC