Ubicomp applications are characterized as situationaware, frequently-and-ephemerally-communicated and QoS-properties-associated. Using middleware to provide multiple QoS support for these ubicomp applications will enhance the development of the ubicomp applications. To satisfy the different QoS requirements of various applications in ubicomp environments, which are heterogeneous and resource-va...

[1] Two characteristics that distinguish canopy sublayer (CSL) turbulence from its atmospheric surface layer (ASL) counterpart are short-circuiting of the energy cascade and formation of Kelvin-Helmholtz (KH) vortices near the canopy top. These two phenomena lead to nonlinear and poorly understood interactions between small and large scale eddies within the CSL absent from classical ASL turbule...

This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (MTBDDs). Properties are expressed in Continuous Stochastic Logic (CSL) [7] which includes the means to express both transient and steady-state performance measures. We show that all CSL operators can be treated using standard o...

Standard static CMOS logic is responding to the requirement of high frequency and low power of digital systems. However, the digital switching noise generated by this logic is not suited for the design of performance mixedsignal integrated systems. In mixed-signal application the analog functionality can be affected by this digital switching noise and therefore resolution is degraded. The Curre...

In this paper we investigate a potential use of fluid approximation techniques in the contextof stochastic model checking of CSL formulae. We focus on properties describing the behaviourof a single agent in a (large) population of agents, exploiting a limit result known also asfast simulation. In particular, we will approximate the behaviour of a single agent with atime-inhomoge...

Collapse models explain the absence of quantum superpositions at the macroscopic scale, while giving practically the same predictions as quantum mechanics for microscopic systems. The Continuous Spontaneous Localization (CSL) model is the most refined and studied among collapse models. A well-known problem of this model, and of similar ones, is the steady and unlimited increase of the energy in...

We present a new soundness proof of Concurrent Separation Logic (CSL) based on a structural operational semantics (SOS). We build on two previous proofs and develop new auxiliary notions to achieve the goal. One uses a denotational semantics (based on traces). The other is based on SOS, but was obtained only for a fragment of the logic — the Disjoint CSL — which disallows modifying shared varia...

The logic CSL of the comparative concept similarity has been introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev to capture a form of qualitative similarity comparison between concepts and/or objects. In this logic we can formulate assertions of the form “objects A are more similar to B than to C”. This kind of assertions can be added to an ontology to express qualitative comparisons b...

This paper presents an empirical study on using syntactic and semantic information for Concept Segmentation and Labeling (CSL), a well-known component in spoken language understanding. Our approach is based on reranking N -best outputs from a state-of-the-art CSL parser. We perform extensive experimentation by comparing different tree-based kernels with a variety of representations of the avail...

The random walk procedure has been applied on some typical relaxed CSL twist grain boundaries. The relaxation has been achieved by means of the Molecular Dynamics method, applied on the CSL computational cells. Some of the random walk parameters are discussed and the information dimension is examined as a function of the rotation anqle 8. The remarkable anisotropy observed in the parameters bet...