A general method is described for formally specifying and reasoning about distributed systems with any desired degree of immediacy for revoking authentica-tion. To effect revocation, 'authenticating entities' impose freshness constraints on credentials or authenticated statements made by trusted intermediaries. If fresh statements are not presented, then the authentica-tion is questionable. Fre...

In this paper, we propose a method for visualizing LOTOS speciications using multi-rendezvous mechanism. For visualization, we have extended LOTOS by introducing some primitive animation events. Using the extended LOTOS, we describe a visualization scenario for events which we would like to visualize their execution. Then, we execute the original speciication and its visualization scenario in p...

In the domain of modular robotic systems, self-configura‐ tion, self-diagnosis and self-repair are known to be highly challenging tasks. This paper presents a novel fault selfdiagnosis strategy which consists of two parts: fault detection and fault message transmission. In fault detec‐ tion, a bionic synchronization ‘healthy heartbeat’ method is used to guarantee the high efficiency of the exog...

This paper explains why well-known dis-cretization methods, such as entropy-based and ten-bin, work well for naive Bayesian classiiers with continuous variables, regardless of their complexities. These methods usually assume that discretized variables have Dirichlet priors. Since perfect aggrega-tion holds for Dirichlets, we can show that, generally, a wide variety of discretization methods can...

This paper presents a new approach to data integration which combines the previous approaches of local as view LAV and global as view GAV into a single method we term both as view BAV Our method is based on the use of reversible transforma tion sequences and combines the re spective advantages of GAV and LAV In particular in common with GAV querying processing on a global schema is simply a mat...

With a newly developed turbidometric method, concana valin A was shown to agglutinate normal lymphocytes, lym phoma cells, and leukemic cells from chronic lymphocytic leukemia and from acute myelocytic and lymphocytic leuke mia. However, there was a marked difference in the kinetics of this agglutination process. Leukemic blast cells and cells from a patient with convoluted lymphoma agglutinate...

The study of zinc metabolism in experimental animals and humans is dependent upon a reliable analytical method. Numerous methods, gravimetric, turbidimetric, and calorimetric (l), have been tried and found wanting. Fischer (2) first introduced diphenylthiocarbazone (dithizone) for the analysis of metals with relation to industrial processes. This organic dye combines with a number of the heavy ...