-
1
-
-
77049098553
-
Sock: A calculus for service oriented computing
-
Dan, A, Laniersdorf, W, eds, ICSOC 2006, Springer, Heidelberg
-
Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: Sock: A calculus for service oriented computing. In: Dan, A., Laniersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 327-338. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4294
, pp. 327-338
-
-
Guidi, C.1
Lucchi, R.2
Gorrieri, R.3
Busi, N.4
Zavattaro, G.5
-
2
-
-
33746223508
-
Choreography and orchestration conformance for system design
-
Ciancarini, P, Wiklicky, H, eds, COORDINATION 2006, Springer, Heidelberg
-
Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration conformance for system design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4038
-
-
Busi, N.1
Gorrieri, R.2
Guidi, C.3
Lucchi, R.4
Zavattaro, G.5
-
3
-
-
34250372523
-
JOLIE: A Java Orchestration Language Interpreter Engine
-
Montesi, F., Guidi, C., Lucchi, R., Zavattaro, G.: JOLIE: a Java Orchestration Language Interpreter Engine. In: Proceedings of CoOrd 2006, ENTCS (2006)
-
(2006)
Proceedings of CoOrd 2006, ENTCS
-
-
Montesi, F.1
Guidi, C.2
Lucchi, R.3
Zavattaro, G.4
-
5
-
-
33746338797
-
Fluid flow approximation of PEPA models
-
Torino, Italy, pp, IEEE Computer Society Press, Los Alamitos
-
Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, Torino, Italy, pp. 33-43. IEEE Computer Society Press, Los Alamitos (2005)
-
(2005)
Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
, pp. 33-43
-
-
Hillston, J.1
-
6
-
-
0000637833
-
A PEPA specification of an industrial production cell
-
Holton, D.: A PEPA specification of an industrial production cell. The Computer Journal 38(7), 542-551 (1995)
-
(1995)
The Computer Journal
, vol.38
, Issue.7
, pp. 542-551
-
-
Holton, D.1
-
7
-
-
6444245859
-
Performance modelling of hierarchical cellular networks using PEPA
-
Forneau, J., Kloul, L., Valois, F.: Performance modelling of hierarchical cellular networks using PEPA. Performance Evaluation 50(2-3), 83-99 (2002)
-
(2002)
Performance Evaluation
, vol.50
, Issue.2-3
, pp. 83-99
-
-
Forneau, J.1
Kloul, L.2
Valois, F.3
-
8
-
-
33845507518
-
Enhancing the effective utilisation of Grid clusters by exploiting on-line performability analysis
-
Cardiff, Wales, IEEE Computer Society Press, Los Alamitos
-
Benoit, A., Cole, M., Gilmore, S., Hillston, J.: Enhancing the effective utilisation of Grid clusters by exploiting on-line performability analysis. In: Proceedings of CCGrid workshop on Grid Performability (CCGrid Performability 2005), Cardiff, Wales, IEEE Computer Society Press, Los Alamitos (2005)
-
(2005)
Proceedings of CCGrid workshop on Grid Performability (CCGrid Performability
-
-
Benoit, A.1
Cole, M.2
Gilmore, S.3
Hillston, J.4
-
9
-
-
33750290657
-
Coping with the parallelism of BitTorrent: Conversion of PEPA to ODEs in dealing with state space explosion
-
Asarin, E, Bouyer, P, eds, FORMATS 2006, Springer, Heidelberg
-
Duguid, A.: Coping with the parallelism of BitTorrent: Conversion of PEPA to ODEs in dealing with state space explosion. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol. 4202, pp. 156-170. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4202
, pp. 156-170
-
-
Duguid, A.1
-
10
-
-
47849107047
-
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models
-
to appear, doi:10.1016/j.jcss.2007.07.005
-
Bradley, J., Gilmore, S., Hillston, J.: Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. J. Comput. System Sci. (to appear, 2007), doi:10.1016/j.jcss.2007.07.005
-
(2007)
J. Comput. System Sci
-
-
Bradley, J.1
Gilmore, S.2
Hillston, J.3
-
11
-
-
41549103122
-
-
Gilmore, S., Tribastone, M.: Evaluating the scalability of a web service-based distributed e-learning and course management system. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, 4184, pp. 156-170. Springer, Heidelberg (2006)
-
Gilmore, S., Tribastone, M.: Evaluating the scalability of a web service-based distributed e-learning and course management system. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 156-170. Springer, Heidelberg (2006)
-
-
-
-
12
-
-
77955305288
-
An efficient Kronecker representation for PEPA models
-
de Luca, L, Gilmore, S, eds, PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001, Springer, Heidelberg
-
Hillston, J., Kloul, L.: An efficient Kronecker representation for PEPA models. In: de Luca, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol. 2165, pp. 120-135. Springer, Heidelberg (2001)
-
(2001)
LNCS
, vol.2165
, pp. 120-135
-
-
Hillston, J.1
Kloul, L.2
-
13
-
-
0035330743
-
An efficient algorithm for aggregating PEPA models
-
Gilmore, S., Hillston, J., Ribaudo, M.: An efficient algorithm for aggregating PEPA models. IEEE Transactions on Software Engineering 27(5), 449-464 (2001)
-
(2001)
IEEE Transactions on Software Engineering
, vol.27
, Issue.5
, pp. 449-464
-
-
Gilmore, S.1
Hillston, J.2
Ribaudo, M.3
-
15
-
-
3042778666
-
-
Cambridge University Press, Cambridge
-
Shampine, L.F., Gladwell, I., Thompson, S.: Solving ODEs with Matlab. Cambridge University Press, Cambridge (2003)
-
(2003)
Solving ODEs with Matlab
-
-
Shampine, L.F.1
Gladwell, I.2
Thompson, S.3
|