Sciweavers

4131 search results - page 459 / 827
» Compactness in Topology and Computation
Sort
View
COMPLEX
2009
Springer
16 years 1 months ago
Characterizing the Structural Complexity of Real-World Complex Networks
Although recent research has shown that the complexity of a network depends on its structural organization, which is linked to the functional constraints the network must satisfy, ...
Jun Wang, Gregory M. Provan
COMPLEX
2009
Springer
16 years 1 months ago
Immunization of Geographical Networks
We numerically investigate the epidemic spread phenomena and efficient immunization strategies on complex networks embedded in geometry. It is assumed that there exists an unavoida...
Bing Wang, Kazuyuki Aihara, Beom Jun Kim
CONCUR
2009
Springer
16 years 1 months ago
Contracts for Mobile Processes
Theories identifying well-formed systems of processes—those that are free of communication errors and enjoy strong properties such as deadlock freedom—are based either on sessi...
Giuseppe Castagna, Luca Padovani
GBRPR
2009
Springer
16 years 1 months ago
Graph Matching Based on Node Signatures
We present an algorithm for graph matching in a pattern recognition context. This algorithm deals with weighted graphs, based on new structural and topological node signatures. Usi...
Salim Jouili, Salvatore Tabbone
TAMC
2009
Springer
16 years 1 months ago
Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces
We show that logical and behavioral equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topological assumptions and in...
Ernst-Erich Doberkat