11381 search results - page 286 / 2277 » Connectivity |
175
click to vote
JCT
2008
15 years 5 months ago
2008
Tutte's Wheels-and-Whirls Theorem proves that if M is a 3-connected matroid other than a wheel or a whirl, then M has a
178
click to vote
COMSWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we propose a new security metric for measuring resilience of a symmetric key distribution scheme in wireless sensor network. A polynomial-based and a novel compl...
181
click to vote
MOBICOM
2005
ACM
16 years 4 days ago
2005
ACM
There are several technologies to connect vehicles to networks and the Internet such as Network Mobility (NEMO) and Mobile Ad-hoc Networks (MANET). We investigate the use of both ...
153
click to vote
CHARME
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
147
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this work, we investigate the routing problems ofminimizing the number ofdistinct transmission mediums or carrier domains for multimedia communications. We consider the problem...