5615 search results - page 263 / 1123 » On the Computational Capabilities of Several Models |
202
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The performance of consensus and atomic broadcast algorithms using failure detectors is often affected by a trade-off between the number of communication steps and the ...
167
click to vote
WMCSA
2000
IEEE
15 years 11 months ago
2000
IEEE
Mobile computing offers the possibility of dramatically expanding the versatility of computers, by bringing them off the desktop and into new and unique contexts. However, this ne...
182
click to vote
ISIPTA
2003
IEEE
16 years 17 days ago
2003
IEEE
Walley’s Imprecise Dirichlet Model (IDM) for categorical data overcomes several fundamental problems which other approaches to uncertainty suffer from. Yet, to be useful in prac...
149
click to vote
CMSB
2003
Springer
16 years 15 days ago
2003
Springer
Alternative splicing is a key process in post-transcriptional regulation, by which several kinds of mature RNA can be obtained from the same premessenger RNA. Using a constraint pr...
191
click to vote
CONCUR
2003
Springer
16 years 15 days ago
2003
Springer
We consider the problem of checking whether a finite (or ultimately periodic) run satisfies a temporal logic formula. This problem is at the heart of “runtime verification” ...