7383 search results - page 1380 / 1477 » Theories of information behavior |
171
click to vote
SECON
2008
IEEE
16 years 21 days ago
2008
IEEE
—Delay Tolerant Networks are wireless networks where disconnections may occur frequently due to propagation phenomena, node mobility, and power outages. Propagation delays may al...
165
click to vote
WIMOB
2008
IEEE
16 years 20 days ago
2008
IEEE
—One popular solution for reducing the resource consumption of Intrusion Detection System (IDS) in MANET is to elect a head-cluster (leader) to provide intrusion detection servic...
162
click to vote
FOCS
2007
IEEE
16 years 19 days ago
2007
IEEE
In this paper, we resolve the smoothed and approximative complexity of low-rank quasi-concave minimization, providing both upper and lower bounds. As an upper bound, we provide th...
144
click to vote
ITNG
2007
IEEE
16 years 18 days ago
2007
IEEE
Lots of efforts in the last decades have been done to prove or disprove whether the set of polynomially bounded problems is equal to the set of polynomially verifiable problems. T...
181
click to vote
TPHOL
2007
IEEE
16 years 17 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...