4998 search results - page 911 / 1000 » The case for intentional networking |
EJWCN
2010
13 years 3 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
IWOCA
2010
Springer
13 years 3 months ago
2010
Springer
A homomorphism from a graph G to a graph R is locally surjective if its restriction to the neighborhood of each vertex of G is surjective. Such a homomorphism is also called an R-r...
JCIT
2010
13 years 3 months ago
2010
The use of geographic data through Web services shows the geospatial Web Services (GWS). A growing number of GWS designed to interoperate spatial information over the network have...
NOTERE
2010
13 years 3 months ago
2010
Finding relevant information on the Web can be a complex task for most of the users. Although Web search applications are improving, they still need to be more intelligent to adapt...
SIGACT
2010
13 years 3 months ago
2010
Over the past decade, there has been great interest in the study of buffer management policies in the context of packet transmission for network switches. In a typical model, a sw...