3082 search results - page 212 / 617 » Deviation Analysis: A New Use of Model Checking |
193
click to vote
KDD
2007
ACM
16 years 6 months ago
2007
ACM
Modeling the evolution of topics with time is of great value in automatic summarization and analysis of large document collections. In this work, we propose a new probabilistic gr...
158
click to vote
ADHOC
2010
15 years 6 months ago
2010
Abstract--Interference plays a complex and often defining role in the performance of wireless networks, especially in multi-hop scenarios. In the presence of interference, Carrier ...
180
click to vote
P2P
2006
IEEE
16 years 15 days ago
2006
IEEE
Content storage in a distributed collaborative environment uses redundancy for better resilience and thus provides good availability and durability. In a peer-to-peer environment,...
195
click to vote
TC
2002
15 years 6 months ago
2002
Location management plays a significant role in current and future wireless mobile networks in effectively delivering services to the mobile users on the move. Many schemes have be...
145
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
– Due to reduction in device feature size and supply voltage, the sensitivity of digital systems to transient faults is increasing dramatically. As technology scales further, the...