2168 search results - page 149 / 434 » Using Approximation Hardness to Achieve Dependable Computati... |
164
click to vote
CMSB
2007
Springer
15 years 10 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
135
click to vote
CGI
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we introduce multiresolution analysis (MRA) algorithmsintendedto be used in scientific visualization,and basedon a non-nestedset ofapproximatingspaces. The need for ...
143
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
Enabling high performance, persistent mobile computing has recently become a very active research area. The widespread popularity of mobile computing devices, such as laptops, han...
124
click to vote
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
We introduce and study the donation center location problem, which has an additional application in network testing and may also be of independent interest as a general graph-theor...
150
click to vote
SAC
2006
ACM
15 years 4 months ago
2006
ACM
Fast and accurate fault detection is becoming an essential component of management software for mission critical systems. A good fault detector makes possible to initiate repair a...