Sciweavers

644 search results - page 4 / 129
» A topological characterization of weakness
Sort
View
SIGMETRICS
2005
ACM
119views Hardware» more  SIGMETRICS 2005»
15 years 11 months ago
Characterizing the two-tier gnutella topology
Characterizing the properties of peer-to-peer (P2P) overlay topologies in file-sharing applications is essential for understanding their impact on the network, identifying their ...
Daniel Stutzbach, Reza Rejaie
CONCUR
1995
Springer
15 years 9 months ago
Characterizing Behavioural Congruences for Petri Nets
Abstract. We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising ...
Mogens Nielsen, Lutz Priese, Vladimiro Sassone
EUSFLAT
2001
15 years 7 months ago
Strict triangular norms and characterization of T-measures
We characterize T-measures on weakly generated tribes, where T is a strict triangular norm and we give a Liapunoff Theorem for these measures. This generalizes previous results ob...
Giuseppina Barbieri, Mirko Navara, Hans Weber
APAL
2011
15 years 1 months ago
The provably total NP search problems of weak second order bounded arithmetic
We define a new NP search problem, the “local improvement” principle, about labellings of an acyclic, bounded-degree graph. We show that, provably in PV, it characterizes the...
Leszek Aleksander Kolodziejczyk, Phuong Nguyen, Ne...
CDC
2009
IEEE
227views Control Systems» more  CDC 2009»
15 years 10 months ago
A graph-theoretic characterization of structural controllability for multi-agent system with switching topology
This paper considers the controllability problem for multi-agent systems. In particular, the structural controllability of multi-agent systems with a single leader under switching ...
Xiaomeng Liu, Hai Lin, Ben M. Chen