11381 search results - page 422 / 2277 » Connectivity |
174
click to vote
SPIN
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
203
click to vote
WAW
2007
Springer
16 years 27 days ago
2007
Springer
A random graph model based on Kronecker products of probability matrices has been recently proposed as a generative model for large-scale real-world networks such as the web. This...
148
click to vote
WG
2007
Springer
16 years 27 days ago
2007
Springer
For a 3-colourable graph G, the 3-colour graph of G, denoted C3(G), is the graph with node set the proper vertex 3-colourings of G, and two nodes adjacent whenever the correspondi...
163
click to vote
AINA
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract— We developed the HAT (Home Appliance Translator) and HAT-Sub to enable conventional appliances without telecommunication capabilities to connect to home networks. The d...
172
click to vote
BROADNETS
2006
IEEE
16 years 26 days ago
2006
IEEE
— We introduce a new algorithmic framework for advanced channel reservation in ultra high speed networks, called Graded Channel Reservation (GCR). GCR allows users to specify min...