4341 search results - page 612 / 869 » Quantitative Model checking |
137
click to vote
HICSS
2007
IEEE
16 years 28 days ago
2007
IEEE
Although many different measures of website effectiveness have been developed, few studies have rigorously compared and contrasted the measures. Based on the organizational effect...
166
click to vote
INFOCOM
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract— This paper investigates the reliability of applicationlevel multicast based on a distributed hash table (DHT) in a highly dynamic network. Using a node residual lifetim...
184
click to vote
ISBI
2007
IEEE
16 years 27 days ago
2007
IEEE
In this paper, we propose a hybrid approach for the automatic three-dimensional segmentation of coronary arteries using multi-scale vessel filtering and a Bayesian probabilistic ...
151
click to vote
SRDS
2007
IEEE
16 years 26 days ago
2007
IEEE
Various intrusion tolerant certification authority (CA) systems have been recently proposed to provide attack resistant certificate update/query services. However, it is difficult...
176
click to vote
MLMI
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Decision making is an important aspect of meetings in organisational settings, and archives of meeting recordings constitute a valuable source of information about the de...