We consider the use of a database cluster for Application Service Provider (ASP). In the ASP context, applications and databases can be update-intensive and must remain autonomous. In this paper, we describe the Leganet system which performs freshness-aware transaction routing in a database cluster. We use multi-master replication and relaxed replica freshness to increase load balancing. Our tr...

Many formal systems, particularly in computer science, may be captured by equations modulated by side conditions asserting the “freshness of names”; these can be reasoned about with Nominal Equational Logic (NEL). Like most logics of this sort NEL employs this notion of freshness as a first class logical connective. However, this can become inconvenient when attempting to translate results from...

1 Abstract Data freshness properties of asynchronous communication mechanisms (ACMs) are related to the relative timing of reader and writer statements. When a hardware implementation of an ACM is tested at the highest operating speed, such relative timing is difficult to measure if the observing hardware is not constructed of faster technology than the ACM. Here an indirect method is proposed ...

Nominal sets are a convenient setting for languages over infinite alphabets, i.e. data languages. We introduce an automaton model over nominal sets, regular nondeterministic nominal automata (RNNA), which have a natural coalgebraic definition using abstraction sets to capture transitions that read a fresh letter from the input word. We prove a Kleene theorem for RNNAs w.r.t. a simple expression...

We introduce permissive nominal terms. Nominal terms are one way to extend first-order terms with binding. They lack some properties of firstand higher-order terms: Terms must be reasoned on in a context of ‘freshness assumptions’; it is not always possible to ‘choose a fresh variable symbol’ for a nominal term; and it is not always possible to ‘alpha-convert a bound variable symbol’. Permissiv...

The dynamics of the Web and the demand for new, active services are imposing new requirements on Web servers. One such new service is the processing of continuous queries whose output data stream can be used to support the personalization of individual user’s web pages. In this paper, we are proposing a new scheduling policy for continuous queries with the objective of maximizing the freshness ...

A technique that combines the spatial resolution of a 3D structured-light (SL) imaging system with the spectral analysis of a hyperspectral short-wave near infrared system was developed for freshness predictions of gilthead sea bream on the first storage days (Days 0-6). This novel approach allows the hyperspectral analysis of very specific fish areas, which provides more information for freshn...

Freshness is one of important index of fish or the quality of product, which is very important for the final product quality. Therefore, rapid and accurate evaluation for fish freshness is concerned with the vital interests of the people, and for the fish and products of the transportation, storage and processing process also has important scientific significance and application value. The expe...