3192 search results - page 602 / 639 » Translating Model Simulators to Analysis Models |
110
click to vote
STTT
1998
15 years 2 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
139
click to vote
TPDS
2002
15 years 2 months ago
2002
Distributed dynamic channel allocation (DDCA) is a fundamental resource management problem in mobile cellular networks. It has a flavor of distributed mutual exclusion but is not e...
INFOCOM
2010
IEEE
15 years 27 days ago
2010
IEEE
Abstract—In many applications the traffic traversing the network has inter-packet dependencies due to application-level encoding schemes. For some applications, e.g., multimedia...
99
Voted
MA
2010
Springer
15 years 26 days ago
2010
Springer
We characterize the angular polyspectra, of arbitrary order, associated with isotropic fields defined on the sphere S2 = (x, y, z) : x2 + y2 + z2 = 1 . Our techniques rely heavi...
137
click to vote
P2P
2010
IEEE
15 years 25 days ago
2010
IEEE
Abstract—This paper presents a systematic performance analysis of pull P2P video streaming systems for live applications, providing guidelines for the design of the overlay topol...