Sciweavers

2092 search results - page 99 / 419
» A Theory of Non-Deterministic Networks
Sort
View
GLOBECOM
2007
IEEE
15 years 3 months ago
Mean-Field Analysis of Buffer Sizing
Two schools of thoughts have emerged over the recent debate on internet router buffer sizing. One school argues that the presence of a large number of flows leads to traffic desync...
Mei Wang
DEXAW
2004
IEEE
111views Database» more  DEXAW 2004»
15 years 3 months ago
A Complex Systems Approach to Service Discovery
Complex systems are those systems composed of many, often very simple, interacting autonomous entities. Interactions between these entities give rise to behaviour and patterns at t...
Ricky Robinson, Jadwiga Indulska
APIN
2005
94views more  APIN 2005»
14 years 11 months ago
Extension of Petri Nets for Representing and Reasoning with Tasks with Imprecise Durations
This paper presents an extension of Petri net framework with imprecise temporal properties. We use possibility theory to represent imprecise time by time-stamping tokens and assig...
Stanislav Kurkovsky, Rasiah Loganantharaj
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
14 years 10 months ago
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
Martin Fränzle, Tino Teige, Andreas Eggers
KDD
2009
ACM
185views Data Mining» more  KDD 2009»
15 years 12 months ago
On compressing social networks
Motivated by structural properties of the Web graph that support efficient data structures for in memory adjacency queries, we study the extent to which a large network can be com...
Flavio Chierichetti, Ravi Kumar, Silvio Lattanzi, ...