1389 search results - page 48 / 278 » Definability as hypercomputational effect |
JCS
2010
13 years 3 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
JDIM
2010
13 years 3 months ago
2010
: Citations management is an important task in managing digital libraries. Citations provide valuable information e.g., used in evaluating an author's influences or scholarly ...
JMLR
2010
13 years 3 months ago
2010
Learning dynamic Bayesian network structures provides a principled mechanism for identifying conditional dependencies in time-series data. An important assumption of traditional D...
JSS
2010
13 years 3 months ago
2010
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...
MKTSCI
2010
13 years 3 months ago
2010
The role that social interactions play in the purchase decisions of consumers is of growing interest to marketers. Consumers' decisions not only depend on information they re...