986 search results - page 132 / 198 » Simulation Modeling of Weak-Consistency Protocols |
PATMOS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper presents the validation methodology established and applied during the development of a wireless LAN application. The target of the development is the implemen...
FMOODS
2006
13 years 10 months ago
2006
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
ACTA
2010
13 years 9 months ago
2010
Systems of Data Management Timed Automata (SDMTAs) are networks of communicating timed automata with structures to store messages and functions to manipulate them. We prove the dec...
MM
2010
ACM
13 years 7 months ago
2010
ACM
We study video transcoding for accelerated channel changes in IPTV systems. Video transcoding at the Retransmission Server not only reduces the channel change latency, but also re...
101
click to vote
Lecture Notes
Comparing systems using measurement, simulation, and queueing models. Common mistakes and how to avoid them, selection of techniques and metrics, art of data presentation, summariz...