2052 search results - page 284 / 411 » Direct Combination |
148
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Network tomography aims at inferring internal network characteristics based on measurements at the edge of the network. In loss tomography, in particular, the characteristic of in...
150
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
: Applications such as Face Recognition (FR) that deal with high-dimensional data need a mapping technique that introduces representation of low-dimensional features with enhanced ...
167
click to vote
DKE
2008
15 years 3 months ago
2008
Logic is currently the target of the majority of the upcoming efforts towards the realization of the Semantic Web vision, namely making the content of the Web accessible not only t...
108
click to vote
ENTCS
2010
15 years 3 months ago
2010
In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modeling self-adaptive systems. In this model, policies are used as a mechanism to d...
135
click to vote
ENTCS
2008
15 years 3 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...