3907 search results - page 391 / 782 » Time, Knowledge, and Choice |
171
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper we propose a model to compute an upper bound for the maximum network size in mobile ad-hoc networks. Our model is based on the foundation that for a unicast route ...
180
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
Most existing model-based approaches to anomaly detection construct a profile of normal instances, then identify instances that do not conform to the normal profile as anomalies...
177
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
16 years 1 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
219
click to vote
ICDS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this article we investigate the effects of increased Control Packet lead Time (CPT) on the loss probability of bursts in an OBS network with deflection routing. In particular w...
184
click to vote
ICDM
2006
IEEE
16 years 28 days ago
2006
IEEE
Graph-structured data is becoming increasingly abundant in many application domains. Graph mining aims at finding interesting patterns within this data that represent novel knowl...