-- We estimate the availability, reliability, and mean transaction time (response time) for repairable database configurations, centralized or distributed, in which each service co...
We propose a method for coordinating local components that observe a distributed discrete-event system R and execute actions depending on the current state of R. Coordination is a...
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
We present existence, uniqueness and continuous dependence (with respect to probability distributions on polarization parameters) of solutions in Maxwell systems. This provides a ...
The construction of composite Web Services from service fragments requires semantic descriptions of service offers and service requests. We propose the use of dependencies as a mo...