Sciweavers

644 search results - page 4 / 129
» A topological characterization of weakness
Sort
View
SIGMETRICS
2005
ACM
119views Hardware» more  SIGMETRICS 2005»
15 years 3 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 1 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
14 years 10 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
97
Voted
APAL
2011
14 years 4 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 1 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