5448 search results - page 92 / 1090 » Breakpoints and Time in Distributed Computations |
137
Voted
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we introduce a simple analytical modeling approach for computing service unavailability due to long response time, for infinite and finite single-server systems a...
128
click to vote
TIP
2010
14 years 10 months ago
2010
We propose to model the image differentials of astrophysical source maps by Student's t-distribution and to use them in the Bayesian source separation method as priors. We int...
145
click to vote
ICDCSW
2005
IEEE
15 years 9 months ago
2005
IEEE
Recently, context-aware computing with information appliances is the topic of many research efforts. In order to realize context-aware systems, it is necessary to describe rules, ...
190
click to vote
IEEEHPCS
2010
14 years 10 months ago
2010
In September 2009, the Indian Remote Sensing OCEANSAT-2 satellite was launched from Sriharikota (India). Moreover, OCEANSAT-2 carry on-board a third payload, called ROSA (Radio Oc...