Sciweavers

3908 search results - page 256 / 782
» A model for service-oriented communication systems
Sort
View
ICC
2007
IEEE
16 years 1 months ago
Call-Level Performance Modelling of Elastic and Adaptive Service-Classes
—We propose a new teletraffic model for the calculation of link occupancy distribution and determine the call blocking probabilities and link utilization in a single-link multi-r...
Vassilios G. Vassilakis, Ioannis D. Moscholios, Mi...
IMC
2004
ACM
16 years 4 days ago
Modeling distances in large-scale networks by matrix factorization
In this paper, we propose a model for representing and predicting distances in large-scale networks by matrix factorization. The model is useful for network distance sensitive app...
Yun Mao, Lawrence K. Saul
FIW
2009
163views Communications» more  FIW 2009»
15 years 4 months ago
Detecting policy conflicts by model checking UML state machines
Policies are convenient means to modify system behaviour at run-time. Nowadays, policies are created in great numbers by different actors, ranging from system administrators to lay...
Maurice H. ter Beek, Stefania Gnesi, Carlo Montang...
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
16 years 9 days ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
ICC
2007
IEEE
102views Communications» more  ICC 2007»
16 years 1 months ago
A Markov Model for the EpiChord Peer-to-Peer Overlay in an XCAST enabled Network
— Structured Peer to Peer (P2P) overlay networks are becoming increasingly popular. Multi-hop systems achieve a successful lookup in O(log N) hops, whereas one-hop systems approa...
Mario Kolberg, Florence Kolberg, Alan Brown, John ...