One of the most important challenges facing the builders of enterprise software is the reliable implementation of the policies that are supposed to govern the various communities operating within an enterprise. Such policies are widely considered fundamental to enterprise modeling, and their specification were the subject of several recent investigations. But specification of the policy that is...

This paper gives an elementary, inductive proof-" graphical " in spirit-of a theorem of Edmonds' which specifies the convex hull of the matchings of an arbitrary, finite, undirected graph in terms of a fmite system of linear inequalities.

Over the past several decades, advances in technology have transformed communications and the ability to acquire, disseminate, and utilize information in a range of environments. Modern societies and their respective militaries have taken advantage of a robust information space through networkcentric systems. Because military and commercial operations have increasingly converged, communication ...

Large-scale cooperation support for learners becomes even more important, when e-Learning is implemented in scalable, open, dynamic and heterogeneous environment. This paper presents how to realize collaborative learning support in distributed learning environments based on grid technology. Our approach fills the existing gap between current cooperative platform and complex, cross-organization ...

The complete resolution of the initiation and transfer factors of wheat embryo supernatant is described. Two factors function in chain initiation, as ascertained by (a) their requirement for the formation of a ribosome-messenger RNA complex whose capacity for ammo acid incorporation is insensitive to aurintricarboxylic acid; and (b) their participation in the tobacco mosaic virus RNA-dependent ...

In a previous communication (T.R. Breitman and R. M. Bradford, Biochim. Biophys. Acta 138:217, 1967), we reported that Escherichia coli 70V3, a low thymine-requiring mutant of Escherichia coli 15, lacked deoxyriboaldolase activity, establishing a biochemical basis for the low requirement. Also presented were data indicating that both deoxythymidine phosphorylase and deoxyriboaldolase were induc...

In a recent paper in this journal, Gong, Mao and Zhang, using the theory of Dirichlet forms, extendedKarlin andMcGregor’s classical results on first-hitting times of a birth–death process on the nonnegative integers by establishing a representation for the Laplace transform E[esTi j ] of the first-hitting time Ti j for any pair of states i and j , as well as asymptotics for E[esTi j ] when eith...

We construct a canonical element, called the refined analytic torsion, of the determinant line of the cohomology of a closed oriented odd-dimensional manifold M with coefficients in a flat complex vector bundle E. We compute the Ray-Singer norm of the refined analytic torsion. In particular, if there exists a flat Hermitian metric on E, we show that this norm is equal to 1. We prove a duality t...

The modern distributed systems have not only functional requirements (i. e. absence of deadlock, livelock etc. ) but also have non-functional requirements (i. e. security, reliability, performance, Quality of Service(QoS) etc. ). The methods for checking their correctness and analyze their performance is at very primitive stage. In the last few decades, formal verification techniques such as pr...