-
1
-
-
74049146187
-
Mean-Field Analysis for the Evaluation of Gossip Protocols
-
IEEE CS Press, Los Alamitos
-
Bakhshi, R., Cloth, L., Fokkink, W., Haverkort, B.: Mean-Field Analysis for the Evaluation of Gossip Protocols. In: 6th Int. Conference on Quantitative Evaluation of Systems (QEST 2009), pp. 247-256. IEEE CS Press, Los Alamitos (2009)
-
(2009)
6th Int. Conference on Quantitative Evaluation of Systems (QEST 2009)
, pp. 247-256
-
-
Bakhshi, R.1
Cloth, L.2
Fokkink, W.3
Haverkort, B.4
-
2
-
-
78649482610
-
Automating the mean-field method for large dynamic gossip networks
-
IEEE CS Press, Los Alamitos
-
Bakhshi, R., Endrullis, J., Endrullis, S., Fokkink, W., Haverkort, B.: Automating the mean-field method for large dynamic gossip networks. In: 7th Int. Conference on Quantitative Evaluation of Systems (QEST 2010). IEEE CS Press, Los Alamitos (2010)
-
(2010)
7th Int. Conference on Quantitative Evaluation of Systems (QEST 2010)
-
-
Bakhshi, R.1
Endrullis, J.2
Endrullis, S.3
Fokkink, W.4
Haverkort, B.5
-
3
-
-
47849107047
-
Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models
-
Bradley, J., Gilmore, S., Hillston, J.: Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models. Journal of Computer and System Sciences 74(6), 1013-1032 (2008)
-
(2008)
Journal of Computer and System Sciences
, vol.74
, Issue.6
, pp. 1013-1032
-
-
Bradley, J.1
Gilmore, S.2
Hillston, J.3
-
4
-
-
33746062738
-
Automatically deriving ODEs from process algebra models of signalling pathways
-
Calder, M., Gilmore, S., Hillston, J.: Automatically deriving ODEs from process algebra models of signalling pathways. In: Proceedings of Computational Methods in Systems Biology (CMSB 2005), pp. 204-215 (2005)
-
(2005)
Proceedings of Computational Methods in Systems Biology (CMSB 2005)
, pp. 204-215
-
-
Calder, M.1
Gilmore, S.2
Hillston, J.3
-
5
-
-
70349325860
-
Disaster propagation in heterogeneous media via markovian agents
-
Setola, R., Geretshuber, S. (eds.) CRITIS 2008. Springer, Heidelberg
-
Cerotti, D., Gribaudo, M., Bobbio, A.: Disaster propagation in heterogeneous media via markovian agents. In: Setola, R., Geretshuber, S. (eds.) CRITIS 2008. LNCS, vol. 5508, pp. 328-335. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5508
, pp. 328-335
-
-
Cerotti, D.1
Gribaudo, M.2
Bobbio, A.3
-
7
-
-
0036821893
-
The Mobius framework and its implementation
-
Deavours, D., Clark, G., Courtney, T., Daly, D., Derisavi, S., Doyle, J., Sanders,W., Webster, P.: The Mobius framework and its implementation. IEEE Transactions on Software Engineering 28(10), 956-969 (2002)
-
(2002)
IEEE Transactions on Software Engineering
, vol.28
, Issue.10
, pp. 956-969
-
-
Deavours, D.1
Clark, G.2
Courtney, T.3
Daly, D.4
Derisavi, S.5
Doyle, J.6
Sanders, W.7
Webster, P.8
-
8
-
-
84876357755
-
How to lease the internet in your spare time
-
Feamster, N., Gao, L., Rexford, J.: How to lease the internet in your spare time. SIGCOMM Comput. Commun. Rev. 37, 61-64 (2007), http://doi.acm.org/ 10.1145/1198255.1198265
-
(2007)
SIGCOMM Comput. Commun. Rev.
, vol.37
, pp. 61-64
-
-
Feamster, N.1
Gao, L.2
Rexford, J.3
-
9
-
-
0042474229
-
Modeling malware spreading dynamics
-
IEEE Societies, March-3 April 2003
-
Garetto, M., Gong, W., Towsley, D.: Modeling malware spreading dynamics. In: Twenty-Second Annual Joint Conference of the IEEE Computer and Communications, INFOCOM 2003, IEEE Societies, March-3 April 2003, vol. 3, pp. 1869-1879 (2003)
-
(2003)
Twenty-Second Annual Joint Conference of the IEEE Computer and Communications, INFOCOM 2003
, vol.3
, pp. 1869-1879
-
-
Garetto, M.1
Gong, W.2
Towsley, D.3
-
10
-
-
69049088867
-
Analysis of large populations of interacting objects with mean field and markovian agents
-
Bradley, J.T. (ed.) EPEW 2009. Springer, Heidelberg
-
Gribaudo, M.: Analysis of large populations of interacting objects with mean field and markovian agents. In: Bradley, J.T. (ed.) EPEW 2009. LNCS, vol. 5652, pp. 218-219. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5652
, pp. 218-219
-
-
Gribaudo, M.1
-
11
-
-
49149102656
-
Analysis of on-off policies in sensor networks using interacting markovian agents
-
IEEE, Los Alamitos
-
Gribaudo, M., Cerotti, D., Bobbio, A.: Analysis of on-off policies in sensor networks using interacting markovian agents. In: Sixth Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2008, pp. 300-305. IEEE, Los Alamitos (2008)
-
(2008)
Sixth Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2008
, pp. 300-305
-
-
Gribaudo, M.1
Cerotti, D.2
Bobbio, A.3
-
13
-
-
78649892428
-
Hybrid Numerical Solution of the Chemical Master Equation
-
preprint arXiv:1005.0747
-
Henzinger, T.A., Mateescu, M., Mikeev, L., Wolf, V.: Hybrid Numerical Solution of the Chemical Master Equation. In: Proceedings of Computational Methods in Systems Biology, CMSB 2010 (2010); preprint arXiv:1005.0747
-
(2010)
Proceedings of Computational Methods in Systems Biology, CMSB 2010
-
-
Henzinger, T.A.1
Mateescu, M.2
Mikeev, L.3
Wolf, V.4
-
14
-
-
47949103963
-
A generic mean field convergence result for systems of interacting objects
-
IEEE CS Press, Los Alamitos
-
Le Boudec, J.-Y., McDonald, D., Mundinger, J.: A generic mean field convergence result for systems of interacting objects. In: 4th Int. Conference on Quantitative Evaluation of SysTems (QEST 2007), pp. 3-18. IEEE CS Press, Los Alamitos (2007)
-
(2007)
4th Int. Conference on Quantitative Evaluation of SysTems (QEST 2007)
, pp. 3-18
-
-
Le Boudec, J.-Y.1
McDonald, D.2
Mundinger, J.3
-
18
-
-
84856580063
-
-
Wolfram Research, Inc.: Mathematica tutorial (2010), http://reference. wolfram.com/mathematica/tutorial/IntroductionToManipulate.html
-
(2010)
Mathematica Tutorial
-
-
|