701 search results - page 88 / 141 » Aspects of availability |
WOTUG
2008
15 years 1 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...
113
click to vote
DMIN
2006
15 years 1 months ago
2006
In this paper we present the results of applying data mining techniques to identify patterns and anomalies in air traffic control operational errors (OEs). Reducing the OE rate is ...
BNCOD
2003
15 years 1 months ago
2003
There are two aspects to the work being presented here. The first is a novel persistent index structure for genomic data, a prototype of which has been completed. The second, usin...
DAIS
2001
15 years 1 months ago
2001
: Sentient Computing gives perception to computing systems so that they can detect, interpret and respond to changing aspects of users' context. The location attribute of a us...
121
click to vote
CMG
2003
15 years 1 months ago
2003
The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing networks and generalized stochastic Petri nets. Using qu...