T. Agerwala, A complete model for representing the coordination of asynchronous processes, 1974.
DOI : 10.2172/4242290

[. Marsan, A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems, ACM Transactions on Computer Systems, vol.2, issue.2, pp.93-122, 1984.
DOI : 10.1145/190.191

. Amar, Diet: New Developments and Recent Results, 2006.
DOI : 10.1007/978-3-540-72337-0_15
URL : https://hal.archives-ouvertes.fr/hal-01429988

. Antonio, Formalizing Web Services Choreographies, Electronic Notes in Theoretical Computer Science, vol.105, pp.73-94, 2004.

. Arbel, Automatic non-linear MRI-ultrasound registration for the correction of intra-operative brain deformations, Computer Aided Surgery, vol.25, issue.4, pp.123-159, 2004.
DOI : 10.1142/S0218001497000597

. Armstrong, Toward a common component architecture for high-performance scientific computing, Proceedings. The Eighth International Symposium on High Performance Distributed Computing (Cat. No.99TH8469), pp.115-124, 1999.
DOI : 10.1109/HPDC.1999.805289

. Arsigny, Polyrigid and polyaffine transformations: A novel geometrical tool to deal with non-rigid deformations ??? Application to the registration of histological slices, Medical Image Analysis, vol.9, issue.6, pp.507-523, 2005.
DOI : 10.1016/j.media.2005.04.001
URL : https://hal.archives-ouvertes.fr/inria-00615665

. Atkinson, A Practical Approach to Web Service Discovery and Retrieval, IEEE International Conference on Web Services (ICWS 2007), 2007.
DOI : 10.1109/ICWS.2007.12

I. Bankman, Handbook of Medical Imaging, 2000.

. Barais, Safe integration of new concerns in a software architecture, 13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06), 2006.
DOI : 10.1109/ECBS.2006.64

G. Barga, R. Barga, and D. Gannon, Scientific versus Business Workflows, pp.9-16, 2007.
DOI : 10.1007/978-1-84628-757-2_2

. Benoit-cattin, The SIMRI project: a versatile and interactive MRI simulator, Journal of Magnetic Resonance, vol.173, issue.1, pp.97-115, 2005.
DOI : 10.1016/j.jmr.2004.09.027

[. Espert, Creating Virtual Storages and Searching DICOM Medical Images through a GRID Middleware based in OGSA, Journal of Clinical Monitoring and Computing, vol.19, pp.4-5295, 2005.

. Blay-fornarino, Software interactions., The Journal of Object Technology, vol.3, issue.10, pp.3161-180, 2004.
DOI : 10.5381/jot.2004.3.10.a4

. Bobrow, Common Lisp Object System specification, ACM SIGPLAN Notices, vol.23, issue.SI, pp.1-142, 1988.
DOI : 10.1145/885631.885632

. Bowers, A Model for User-Oriented Data Provenance in Pipelined Scientific Workflows, International Provenance and Annotation Workshop (IPAW), 2006.
DOI : 10.1007/11890850_15

. Bruneton, An Open Component Model and Its Support in Java, CBSE, pp.7-22, 2004.
DOI : 10.1007/978-3-540-24774-6_3

M. Buyya, R. Buyya, and M. Murshed, GridSim: a toolkit for the modeling and simulation of distributed resource management and scheduling for Grid computing, Concurrency and Computation: Practice and Experience, vol.14, issue.13-15, pp.13-151175, 2002.
DOI : 10.1002/cpe.710

. Capit, A batch scheduler with high level components, CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid, 2005., pp.776-783, 2005.
DOI : 10.1109/CCGRID.2005.1558641
URL : https://hal.archives-ouvertes.fr/hal-00005106

F. Cappello and H. Bal, Towards an International Computer Science Grid, 7th IEEE Int. Symp. on Cluster Computing and the Grid (CCGrid'07), pp.3-12, 2007.

. Cappello, Grid'5000: A Large Scale, 6th IEEE/ACM International Workshop on Grid Computing (Grid'2005), 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000284

. Caromel, ProActive: an integrated platform for programming and running applications on Grids and P2P systems, Computational Methods in Science and Technology, vol.12, issue.1, 2006.
DOI : 10.12921/cmst.2006.12.01.69-77
URL : https://hal.archives-ouvertes.fr/hal-00125034

. Caromel, Type Safe Algorithmic Skeletons, 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP 2008), 2008.
DOI : 10.1109/PDP.2008.29

L. Caromel, D. Caromel, and M. Leyton, Fine Tuning Algorithmic Skeletons, 13th International Euro-par Conference: Parallel Processing, pp.72-81, 2007.
DOI : 10.1007/978-3-540-74466-5_9

E. Caron and H. Dail, GoDIET: a tool for managing distributed hierarchies of DIET agents and servers, Institut National de Recherche en Informatique et en Automatique (INRIA), 2005.
URL : https://hal.archives-ouvertes.fr/hal-01430518

. Caron, E. Desprez-]-caron, and F. Desprez, Diet: A Scalable Toolbox to Build Network Enabled Servers on the Grid, International Journal of High Performance Computing Applications, vol.20, issue.3, 2005.
DOI : 10.1177/1094342006067472
URL : https://hal.archives-ouvertes.fr/hal-01429861

H. Casanova, Simgrid: a toolkit for the simulation of application scheduling, Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid, p.430, 2001.
DOI : 10.1109/CCGRID.2001.923223

H. Casanova, On the Harmfulness of Redundant Batch Requests, 2006 15th IEEE International Conference on High Performance Distributed Computing, pp.255-266, 2006.
DOI : 10.1109/HPDC.2006.1652157

D. Casanova, H. Casanova, and J. Dongarra, Netsolve: a Network-Enabled Server for Solving Computational Science Problems, International Journal of High Performance Computing Applications, vol.11, issue.3, pp.212-223, 1997.
DOI : 10.1177/109434209701100304

. Casanova, Scheduling Distributed Applications: the SimGrid Simulation Framework, Proceedings of the Third IEEE International Symposium on Cluster Computing and the Grid (CCGrid'03, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00789451

D. Wo, J. Tigli, S. Lavirotte, and M. Riveill, Wcomp: a Multi-Design Approach for Prototyping Applications using Heterogeneous Resources, 17th IEEE International Workshop on Rapid System Prototyping (RSP), 2006.
URL : https://hal.archives-ouvertes.fr/hal-00481796

. Chrétienne, Scheduling theory and its applications, 1995.

. Cieslak, Troubleshooting Distributed Systems via Data Mining, IEEE International Symposium on High Performance Distribut ed Computing (HPDC'06), 2006.

M. Cole, Algorithmic Skeletons, 1991.
DOI : 10.1007/978-1-4471-0841-2_13

M. Commowick, O. Commowick, and G. Malandain, Evaluation of Atlas Construction Strategies in the Context of Radiotherapy Planning, SA2PM Workshop (From Statistical Atlases to Personalized Models), 2006.
URL : https://hal.archives-ouvertes.fr/inria-00615605

. Commowick, Incorporating Statistical Measures of Anatomical Variability in Atlas-to-Subject Registration for Conformal Brain Radiotherapy, MICCAI 2005, Part II, pp.927-934, 2005.
DOI : 10.1007/11566489_114
URL : https://hal.archives-ouvertes.fr/inria-00502673

. Deelman, Mapping Abstract Complex Workflows onto Grid Environments, Journal of Grid Computing (JGC), vol.1, issue.1, pp.9-23, 2003.

. Delaitre, GEMLCA: Running Legacy Code Applications as Grid Services, Journal of Grid Computing, vol.19, issue.2, 2005.
DOI : 10.1007/s10723-005-9002-8

. Delannoy, Workflow Global Computing with YML, 2006 7th IEEE/ACM International Conference on Grid Computing, pp.25-32, 2006.
DOI : 10.1109/ICGRID.2006.310994
URL : https://hal.archives-ouvertes.fr/hal-00141609

P. Delannoy, O. Delannoy, and S. Petiton, A Peer to Peer Computing Framework: Design and Performance Evaluation of YML, Third International Symposium on Parallel and Distributed Computing/Third International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks, pp.362-369, 2004.
DOI : 10.1109/ISPDC.2004.7

. Duan, Data Mining-based Fault Prediction and Detection on the Grid, Proceedings of the IEEE International Symposium on High Performance Distributed Computing (HPDC-15), pp.305-308, 2006.

G. Dugas-phocion, Segmentation d'IRM Cérébrales Multi- Séquences et ApplicationàApplication`Applicationà la Sclérose en Plaques, Thèse de sciences, 2006.

. Emmerich, Grid Service Orchestration Using the Business Process Execution Language (BPEL), Journal of Grid Computing, vol.31, issue.5, pp.3-4283, 2005.
DOI : 10.1007/s10723-005-9015-3

. Erberich, Globus MEDICUS -Federation of DICOM Medical Imaging Devices into Healthcare Grids, Studies in Health Technology and Informatics, vol.126, pp.269-278, 2007.

. Fahringer, ASKALON: A Development and Grid Computing Environment for Scientific Workflows, pp.450-471, 2007.
DOI : 10.1007/978-1-84628-757-2_27

D. Feitelson, Workload Modeling for Performance Evaluation, LNCS vol, vol.2459, pp.114-141, 2002.
DOI : 10.1007/3-540-45798-4_6

D. Feitelson, Metric and workload effects on computer systems evaluation, Computer, vol.36, issue.9, pp.18-25, 2003.
DOI : 10.1109/MC.2003.1231190

. Feitelson, Parallel Job Scheduling ??? A Status Report, 10th Workshop on Job Scheduling Strategies for Parallel Processing, 2004.
DOI : 10.1007/11407522_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.8517

I. Foster, Globus Toolkit Version 4: Software for Service-Oriented Systems, International Conference on Network and Parallel Computing, pp.2-13, 2005.

. Foster, . Kesselman, I. Foster, and C. Kesselman, Globus: a Metacomputing Infrastructure Toolkit, International Journal of High Performance Computing Applications, vol.11, issue.2, pp.115-128, 1997.
DOI : 10.1177/109434209701100205
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.8254

. Foster, Chimera: a virtual data system for representing, querying, and automating data derivation, Proceedings 14th International Conference on Scientific and Statistical Database Management, 2002.
DOI : 10.1109/SSDM.2002.1029704

. Furmento, ICENI: Optimisation of component applications within a Grid environment, Parallel Computing, vol.28, issue.12, pp.281753-1772, 2002.
DOI : 10.1016/S0167-8191(02)00187-4

D. Gannon, Component Architectures and Services: From Application Construction to Scientific Workflows, pp.174-189, 2007.
DOI : 10.1007/978-1-84628-757-2_12

. Garonne, A scalable lightweight architecture for high throughput computing, 5th International Workshop on Grid Computing, pp.19-25, 2004.
URL : https://hal.archives-ouvertes.fr/in2p3-00737612

H. Gautama, A probabilistic approach to the analysis of program execution time, 1998.

. Gautama, . Van-gemund, H. Gautama, and A. J. Van-gemund, SYMBOLIC PERFORMANCE ESTIMATION OF SPECULATIVE PARALLEL PROGRAMS, Parallel Processing Letters, vol.13, issue.04, pp.513-524, 2003.
DOI : 10.1142/S0129626403001471

. Gelenbe, A performance model of block structured parallel programms, International Workshop on Parallel Algorithms and Architectures, pp.127-138, 1986.

. Germain, Grid-enabling medical image analysis, CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid, 2005., pp.4-5339, 2005.
DOI : 10.1109/CCGRID.2005.1558593
URL : https://hal.archives-ouvertes.fr/inria-00174284

. Germain, Grid Scheduling for Interactive Analysis of Medical Images, Healthgrid'06, pp.25-33, 2006.

. Gholipour, Brain Functional Localization: A Survey of Image Registration Techniques, IEEE Transactions on Medical Imaging, vol.26, issue.4, pp.427-451, 2007.
DOI : 10.1109/TMI.2007.892508

. Gibaud, Towards an Ontology for Sharing Neuroimaging Data and Processing Tools: Experience Learned from the Development of a Demonstrator, DiDaMIC'04 Workshop. Satellite of the MICCAI conference, pp.15-23, 2004.

Y. Gil, Workflow Composition: Semantic Representations for Flexible Automation, pp.244-257, 2007.
DOI : 10.1007/978-1-84628-757-2_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.7544

. Glatard, Generic web service wrapper for efficient embedding of legacy codes in service-based workflows, Grid-Enabling Legacy Applications and Supporting End Users Workshop (GELA'06), pp.44-53, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00683196

. Glatard, Impact of the execution context on Grid job performances, Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid '07), pp.713-718, 2007.
DOI : 10.1109/CCGRID.2007.62
URL : https://hal.archives-ouvertes.fr/hal-00459267

. Glatard, A Service-Oriented Architecture enabling dynamic services grouping for optimizing distributed workflows execution. Future Generation Computer Systems, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00459808

. Glatard, Flexible and efficient workflow deployement of data-intensive applications on grids with MO- TEUR, International Journal of High Performance Computing and Applications, 2008.

. Glatard, Grid-Enabled Workflows for Data Intensive Medical Applications, 18th IEEE Symposium on Computer-Based Medical Systems (CBMS'05), pp.537-542, 2005.
DOI : 10.1109/CBMS.2005.61
URL : https://hal.archives-ouvertes.fr/hal-00691613

. Glatard, An experimental comparison of Grid5000 clusters and the EGEE grid, Workshop on Experimental Grid testbeds for the assessment of large-scale distributed applications and tools (EXPGRID'06), 2006.
URL : https://hal.archives-ouvertes.fr/hal-00683199

. Glatard, Efficient services composition for grid-enabled data-intensive applications, 2006 15th IEEE International Conference on High Performance Distributed Computing, pp.333-334, 2006.
DOI : 10.1109/HPDC.2006.1652170
URL : https://hal.archives-ouvertes.fr/hal-00683201

. Glatard, Medical image registration algorithms assesment: Bronze Standard application enactment on grids using the MOTEUR workflow engine, HealthGrid conference (HealthGrid'06), pp.93-103, 2006.

. Glatard, Probabilistic and dynamic optimization of job partitioning on a grid infrastructure, 14th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP'06), pp.231-238, 2006.
DOI : 10.1109/PDP.2006.61
URL : https://hal.archives-ouvertes.fr/hal-00683203

. Glatard, Optimizing jobs timeouts on clusters and production grids, Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid '07), pp.100-107, 2007.
DOI : 10.1109/CCGRID.2007.78
URL : https://hal.archives-ouvertes.fr/hal-00691828

. Glatard, Performance Evaluation of Grid-Enabled Registration Algorithms Using Bronze-Standards, Medical Image Computing and Computer-Assisted Intervention (MICCAI'06), pp.152-160, 2006.
DOI : 10.1007/11866763_19
URL : https://hal.archives-ouvertes.fr/hal-00683176

. Glatard, Workflow Level Parametric Study Support by MOTEUR and the P-GRADE Portal, chapter 18, pp.279-299, 2007.

. Gross, . Harris, D. Gross, and C. Harris, Fundamentals of Queueing Theory, 1985.
DOI : 10.1002/9781118625651

. Grova, A Methodology to Validate MRI/SPECT Registration Methods Using Realistic Simulated SPECT Data, MICCAI, pp.275-282, 2001.
DOI : 10.1007/3-540-45468-3_33

. Hajnal, Medical Image Registration, 2001.
DOI : 10.1201/9781420042474
URL : https://hal.archives-ouvertes.fr/inria-00615977

M. Harchol-balter and R. Balter, Task assignment with unknown duration, Journal of the ACM, vol.49, issue.2, pp.260-288, 2002.
DOI : 10.1145/506147.506154

T. Harrison, A. Harrison, and I. Taylor, Dynamic Web Service Deployment Using WSPeer, Proceedings of 13th Annual Mardi Gras Conference -Frontiers of Grid Applications and Technologies, pp.11-16, 2005.

. Heining, Pedicle screw placement under video-augmented fluoroscopic control. first clinical application in a cadaver study, International Journal of Computer Assisted Radiology and Surgery, vol.1, pp.189-190, 2006.

B. Hellier, P. Hellier, and C. Barillot, A hierarchical parametric algorithm for deformable multimodal image registration, Computer Methods and Programs in Biomedicine, vol.75, issue.2, pp.107-115, 2004.
DOI : 10.1016/j.cmpb.2004.01.002
URL : https://hal.archives-ouvertes.fr/inria-00536377

. Hellier, Retrospective evaluation of intersubject brain registration, IEEE Transactions on Medical Imaging, vol.22, issue.9, pp.1120-1130, 2003.
DOI : 10.1109/TMI.2003.816961
URL : https://hal.archives-ouvertes.fr/inria-00536383

A. Hoheisel, A. Hoheisel, and M. Alt, Petri Nets, chapter 13, pp.190-207, 2007.

. Holden, Voxel similarity measures for 3-D serial MR brain image registration, IEEE Transactions on Medical Imaging, vol.19, issue.2, pp.94-102, 2000.
DOI : 10.1109/42.836369

. Huang, Wrapping legacy codes for Grid-based applications, Proceedings International Parallel and Distributed Processing Symposium, p.139, 2003.
DOI : 10.1109/IPDPS.2003.1213268

B. Irani, R. Irani, and S. J. Bashna, AXIS: Next Generation Java SOAP, 2002.

. Jacq, Grid as a bioinformatic tool, Parallel Computing, vol.30, issue.9-10, pp.9-101093, 2004.
DOI : 10.1016/j.parco.2004.07.013
URL : https://hal.archives-ouvertes.fr/hal-00427599

. Jacq, Grid-enabled Virtual Screening Against Malaria, Journal of Grid Computing, vol.45, issue.1, 2007.
DOI : 10.1007/s10723-007-9085-5
URL : https://hal.archives-ouvertes.fr/in2p3-00114120

. Jannin, Validation of medical image processing in image-guided therapy, IEEE Transactions on Medical Imaging, vol.21, issue.12, pp.1445-1449, 2002.
DOI : 10.1109/TMI.2002.806568
URL : https://hal.archives-ouvertes.fr/inserm-00331766

. Kacsuk, P-GRADE: A Grid Programming Environment, Journal of Grid Computing, vol.1, issue.2, pp.171-197, 2003.
DOI : 10.1023/B:GRID.0000024073.65405.63

. Kacsuk, Solving the grid interoperability problem by P-GRADE portal at workflow level, Journées du groupe Objets, Composants et Modèles (OCM'2006), pp.3-2006, 2006.
DOI : 10.1016/j.future.2008.02.008

. Kacsuk, . Sipos, P. Kacsuk, and G. Sipos, Multi-Grid, Multi-User Workflows in the P-GRADE Grid Portal, Journal of Grid Computing, vol.18, issue.8, pp.3-4221, 2005.
DOI : 10.1007/s10723-005-9012-6

. Kassim, Motion Compensated Lossy-to-Lossless Compression of 4-D Medical Images Using Integer Wavelet Transforms, IEEE Transactions on Information Technology in Biomedicine, vol.9, issue.1, pp.132-138, 2005.
DOI : 10.1109/TITB.2004.838376

. Kecskemeti, Automatic deployment of Interoperable Legacy Code Services, UK e-Science All Hands Meeting, 2005.

M. Kesselman, A. Kesselman, and Y. Mansour, Optimizing TCP Retransmission Timeout, International Conference on Networking, 2005.
DOI : 10.1007/978-3-540-31957-3_17

. Khalaf, Service-Oriented Composition in BPEL4WS, International World Wide Web Conference (WWW), 2003.

. Kiczales, Aspect-Oriented Programming, Proceedings of the European Conference on Object-Oriented Programming, pp.220-242, 1997.

B. Kiepuszewski, Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows, 2003.

. Kim, . Pearlman, B. Kim, and W. Pearlman, An Embedded Wavelet Video Coder Using Three-Dimensional Set Partitioning in Hierarchical Trees, IEEE Data Compression Conference (DCC'97), pp.251-260, 1997.

L. Kleinrock, Queueing Systems, 1975.

. Kovács, Handling User Preferences and Added Value in Discovery of Semantic Web Services, IEEE International Conference on Web Services (ICWS 2007), pp.225-232, 2007.
DOI : 10.1109/ICWS.2007.96

G. Krishnan, N. Krishnan, and D. Gannon, XCAT3: A Framework for CCA Components as OGSA Services, Ninth International Workshop on High-Level Parallel Programming Models and Supportive Environments, 2004. Proceedings., 2004.
DOI : 10.1109/HIPS.2004.1299194

. Kristensen, The practitioner's guide to coloured Petri nets, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.2, pp.98-132, 1998.
DOI : 10.1007/s100090050021

. Lee, . Neuendorffer, E. A. Lee, and S. Neuendorffer, MoML -A Modeling Markup Language in XML, Version 0.4, 2000.

. Legrand, The SIMGRID Project Simulation and Deployment of Distributed Applications, 2006 15th IEEE International Conference on High Performance Distributed Computing, 2006.
DOI : 10.1109/HPDC.2006.1652196
URL : https://hal.archives-ouvertes.fr/inria-00108428

R. Legrand, A. Legrand, and Y. Robert, Algorithmiqueparalì ele, 2003.

P. Lewis, H. Lewis, and C. Papadimitriou, Elements of the theory of computation, 1981.

. Li, Workload Characteristics of a Multicluster Supercomputer, Job Scheduling Strategies for Parallel Processing, pp.176-193, 2004.

. Li, A Grid Oriented Approach to Reusing Legacy Code in ICENI Framework, IEEE International Conference on Information Reuse and Integration (IRI'05), pp.464-469, 2005.

O. Libman, L. Libman, and A. Orda, Optimal retrial and timeout strategies for accessing network resources, IEEE/ACM Transactions on Networking, vol.10, issue.4, pp.551-564, 2002.
DOI : 10.1109/TNET.2002.801412

. Little, Deformations Incorporating Rigid Structures, Computer Vision and Image Understanding, vol.66, issue.2, pp.223-232, 1997.
DOI : 10.1006/cviu.1997.0608

. Lucchi, . Mazzara, R. Lucchi, and M. Mazzara, A pi-calculus based semantics for WS-BPEL, The Journal of Logic and Algebraic Programming, vol.70, issue.1, pp.96-118, 2007.
DOI : 10.1016/j.jlap.2006.05.007

J. Magott, Performance evaluation of concurrent systems using Petri nets, Information Processing Letters, vol.18, issue.1, pp.7-13, 1984.
DOI : 10.1016/0020-0190(84)90067-X

V. Maintz, J. Maintz, and M. Viergever, A survey of medical registration, Medical Image Analysis (MedIA), vol.1, issue.2, pp.1-36, 1998.

. Makela, A review of cardiac image registration methods, IEEE Transactions on Medical Imaging, vol.21, issue.9, pp.1011-1021, 2002.
DOI : 10.1109/TMI.2002.804441

. Makela, A 3-D model-based registration approach for the PET, MR and MCG cardiac data fusion, Medical Image Analysis, vol.7, issue.3, pp.377-389, 2003.
DOI : 10.1016/S1361-8415(03)00012-4

. Manolache, Memory and time-efficient schedulability analysis of task sets with stochastic execution time, Proceedings 13th Euromicro Conference on Real-Time Systems, 2001.
DOI : 10.1109/EMRTS.2001.933991

. Mayer, Workflow Expression: Comparison of Spatial and Temporal Approaches, Workflow in Grid Systems Workshop, 2004.

G. Mazzara, M. Mazzara, and S. Govoni, A Case Study of Web Services Orchestration, Coordination Models and Languages, pp.1-16, 2005.
DOI : 10.1109/MC.2003.1236471

I. Mc, M. Ilraith, S. Mandell, and D. , Comparison of DAML- S and BPEL4WS, 2002.

. Mcgough, An End-to-end Workflow Pipeline for Large-scale Grid Computing, Journal of Grid Computing, vol.2536, issue.6, pp.1-23, 2006.
DOI : 10.1007/s10723-005-9014-4

. Mcgough, ICENI, pp.395-415, 2007.
DOI : 10.1007/978-1-84628-757-2_24

. Mcgough, Workflow Enactment in ICENI, UK e-Science All Hands Meeting, pp.894-900, 2004.

M. Mcilroy, Mass-produced software components, Proceedings of the NATO Conference on Software Engineering, 1968.

B. Mcphillips, T. Mcphillips, and S. Bowers, An approach for pipelining nested collections in scientific workflows, ACM SIGMOD Record, vol.34, issue.3, 2005.
DOI : 10.1145/1084805.1084809

E. Medernach, Workload Analysis of a Cluster in a Grid Environment, Job Scheduling Strategies for Parallel Processing, 2005.
DOI : 10.1007/11605300_2
URL : https://hal.archives-ouvertes.fr/in2p3-00024274

J. Mendling and M. Müller, A Comparison of BPML and BPEL4WS, 1st Conference Berliner XML-Tage, pp.305-316, 2003.

. Menegaz, . Thiran, G. Menegaz, and J. Thiran, Lossy to lossless object-based coding of 3-D MRI data, IEEE Transactions on Image Processing, vol.11, issue.9, pp.1053-1061, 2002.
DOI : 10.1109/TIP.2002.802525

. Micu, A New Registration/Visualization Paradigm for CT-Fluoroscopy Guided RF Liver Ablation, Proc. Int'l Conf. Medical Image Computing and Computer Assisted Intervention (MICCAI), Lecture Notes in Computer Science, 2006.
DOI : 10.1007/11866565_108

R. Milner, Communicating and Mobile Systems: The Pi-Calculus, 1999.

J. Montagnat, Processing and analyzing large medical image sets, 2006.
URL : https://hal.archives-ouvertes.fr/tel-00460766

. Montagnat, Medical Images Simulation, Storage, and Processing on the European DataGrid Testbed, Journal of Grid Computing, vol.2, issue.4, pp.387-400, 2004.
DOI : 10.1007/s10723-004-5744-y
URL : https://hal.archives-ouvertes.fr/in2p3-00023294

. Montagnat, Partitionning medical image databases for content-based queries on a grid, Methods of Information in Medicine (MIM), vol.44, issue.2, pp.154-160, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00683642

. Montagnat, A Secure Grid Medical Data Manager Interfaced to the gLite Middleware, Journal of Grid Computing, vol.22, issue.5, 2007.
DOI : 10.1007/s10723-007-9088-2
URL : https://hal.archives-ouvertes.fr/hal-00683989

. Montagnat, Data composition patterns in service-based workflows, 2006 Workshop on Workflows in Support of Large-Scale Science, 2006.
DOI : 10.1109/WORKS.2006.5282350
URL : https://hal.archives-ouvertes.fr/hal-00683193

. Montagnat, Medical image databases content-based queries partitioning on a grid, HealthGrid'04, 2004.
URL : https://hal.archives-ouvertes.fr/in2p3-00024242

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143

. Mussi, . Nain, P. Mussi, and P. Nain, Evaluation of parallel execution of program tree structures, Proceedings of the 1984 ACM SIGMETRICS conference on Measurement and modeling of computer systems (SIGMETRICS '84), pp.78-87, 1984.
URL : https://hal.archives-ouvertes.fr/inria-00076239

. Nakada, A GridRPC Model and API for End-User Applications, Global Grid Forum, 2005.

. Nemo, SE- MANTIC ORCHESTRATIONS MERGING -Towards Composition of Overlapping Orchestrations, 9th International Conference on Enterprise Information Systems (ICEIS'2007), 2007.

. Nemo, Merging overlapping orchestrations: an application to the Bronze Standard medical application, International Conference on Services Computing, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00683168

. Nicolau, Evaluation of a New 3D/2D Registration Criterion for Liver Radio-Frequencies Guided by Augmented Reality, International Symposium on Surgery Simulation and Soft Tissue Modeling (IS4TM'03), pp.270-283, 2003.
DOI : 10.1007/3-540-45015-7_26
URL : https://hal.archives-ouvertes.fr/inria-00615945

. Oinn, Taverna: a tool for the composition and enactment of bioinformatics workflows, Bioinformatics, vol.20, issue.17, pp.173045-3054, 2004.
DOI : 10.1093/bioinformatics/bth361

. Ourselin, Block Matching: A??General??Framework??to??Improve Robustness of??Rigid??Registration of Medical Images, Third International Conference on Medical Image Computing And Computer- Assisted Intervention (MICCAI'00), pp.557-566, 2000.
DOI : 10.1007/978-3-540-40899-4_57
URL : https://hal.archives-ouvertes.fr/inria-00615860

. Anderson, SETI@home: an experiment in public-resource computing, Communications of the ACM, vol.45, issue.11, pp.4556-61, 2002.
DOI : 10.1145/581571.581573

X. Pennec, Intrinsic Statistics on Riemannian Manifolds: Basic Tools for Geometric Measurements, Journal of Mathematical Imaging and Vision, vol.20, issue.10, pp.127-154, 2006.
DOI : 10.1007/s10851-006-6228-4
URL : https://hal.archives-ouvertes.fr/inria-00614994

X. Pennec, Statistical Computing on Manifolds for Computational Anatomy, 2006.
URL : https://hal.archives-ouvertes.fr/tel-00633163

. Pennec, Landmark-based registration using features identified through differential geometry, editor, Landmark-based registration using features identified through differential geometry, pp.31-499, 2000.

. Pennec, Feature-based registration of medical images: Estimation and validation of the pose accuracy, Medical Image Computing and Computer-Assisted Intervention (MICCAI98), volume 1496 of LNCS, pp.1107-1114, 1998.
DOI : 10.1016/1049-9660(91)90036-O
URL : https://hal.archives-ouvertes.fr/inria-00615809

T. Pennec, X. Pennec, and J. Thirion, A Framework for Uncertainty and Validation of 3D Registration Methods based on Points and Frames, International Journal of Computer Vision (IJCV), issue.3, pp.25203-229, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00615070

C. A. Petri, Kommunikation mit Automaten, 1962.

S. Pfister, C. Pfister, and C. Szyperski, Why Objects are Not Enough, International Component Users Conference, 1996.

F. Puhlmann, Why do we actually need the Pi-Calculus for Business Process Management?, 9th International Conference on Business Information Systems (BIS06), 2006.

P. Puhlmann, F. Puhlmann, and F. Puhlmann, Using the pi- Calculus for Formalizing Workflow Patterns, Third International Conference on Business Process Management (BPM'05), pp.153-168, 2005.

. Raffy, Computer-aided Detection of Solid Lung Nodules in Lossy Compressed Multidetector Computed Tomography Chest Exams, Academic Radiology, vol.13, issue.10, pp.131194-1203, 2006.
DOI : 10.1016/j.acra.2006.06.004
URL : https://hal.archives-ouvertes.fr/hal-00121776

. Ramakrishnan, Scheduling Data-Intensive Workflows onto Storage-Constrained Distributed Resources, 7th IEEE International Symposium on Cluster Computing and the Grid (CCGrid'07), pp.401-409, 2007.

. Reinecke, A Measurement Study of the Interplay Between Application Level Restart and Transport Protocol, International Service Availability Symposium (ISAS), pp.86-100, 2004.
DOI : 10.1007/978-3-540-30225-4_7

. Roche, The correlation ratio as a new similarity measure for multimodal image registration, First International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI'98), volume 1496 of LNCS, pp.1115-1124, 1998.
DOI : 10.1097/00004728-199307000-00004
URL : https://hal.archives-ouvertes.fr/cea-00333675

. Roche, Rigid Registration of 3D Ultrasound with MR Images: a New Approach Combining Intensity and Gradient Information, IEEE Transactions on Medical Imaging (TMI), issue.10, pp.201038-1049, 2001.
URL : https://hal.archives-ouvertes.fr/cea-00333699

P. Rong, P. Rong, and M. Pedram, Determining the Optimal Timeout Values for a Power-Managed System based on the Theory of Markovian Processes: Offline and Online Algorithms, Proceedings of the Design Automation & Test in Europe Conference, pp.1128-1133, 2006.
DOI : 10.1109/DATE.2006.243981

. Sarrut, Simulation of 4D CT Images from Deformable Registration between Inhale and Exhale Breath-Hold CT Scans, International Journal of Radiation Oncology*Biology*Physics, vol.63, issue.3, pp.605-617, 2006.
DOI : 10.1016/j.ijrobp.2005.07.864
URL : https://hal.archives-ouvertes.fr/hal-01492585

. Schestowitz, Assessing the Accuracy of Non-Rigid Registration With and Without Ground Truth, 3rd IEEE International Symposium on Biomedical Imaging: Macro to Nano, 2006., pp.836-839, 2006.
DOI : 10.1109/ISBI.2006.1625048

. Schopf, . Berman, J. Schopf, and F. Berman, Performance prediction in production environments, Proceedings of the First Merged International Parallel Processing Symposium and Symposium on Parallel and Distributed Processing, pp.647-653, 1998.
DOI : 10.1109/IPPS.1998.669995

. Schopf, . Berman, J. Schopf, and F. Berman, Stochastic scheduling, Proceedings of the 1999 ACM/IEEE conference on Supercomputing (CDROM) , Supercomputing '99, 1999.
DOI : 10.1145/331532.331580

J. Schopf and F. Berman, USING STOCHASTIC INFORMATION TO PREDICT APPLICATION BEHAVIOR ON CONTENDED RESOURCES, International Journal of Foundations of Computer Science, vol.12, issue.03, pp.341-364, 2001.
DOI : 10.1142/S0129054101000527

. Senger, Soaplab -a unified Sesame door to analysis tool, UK e-Science All Hands Meeting, pp.509-513, 2003.

. Sermesant, An electromechanical model of the heart for image analysis and simulation, IEEE Transactions on Medical Imaging, vol.25, issue.5, pp.25612-625, 2006.
DOI : 10.1109/TMI.2006.872746
URL : https://hal.archives-ouvertes.fr/inria-00614991

. Shao, Storing and Discovering Critical Workflows from Log in Scientific Exploration, 2007 IEEE Congress on Services (Services 2007), pp.209-212, 2007.
DOI : 10.1109/SERVICES.2007.61

. Taylor, Control-Versus Data-Driven Workflows, chapter 11, 2007.

A. Slominski, Adapting BPEL to Scientific Workflows, pp.208-226, 2007.
DOI : 10.1007/978-1-84628-757-2_14

H. Smith and P. Fingar, Workflow is jus a Pi process, 2003.

. Song, Web Service Discovery Using General-Purpose Search Engines, IEEE International Conference on Web Services (ICWS 2007), 2007.
DOI : 10.1109/ICWS.2007.190

. Spanoudakis, A Platform for Context Aware Runtime Web Service Discovery, IEEE International Conference on Web Services (ICWS 2007), pp.233-240, 2007.
DOI : 10.1109/ICWS.2007.9

. Stef-praun, Accelerating Medical Research using the Swift Workflow System, 2007.

C. Szyperski, Component Software: Beyond Object-Oriented Programming, 2002.

. Tanaka, Ninf-G: A Reference Implementation of RPC-based Programming Middleware for Grid Computing, Journal of Grid Computing, vol.1, issue.1, pp.41-51, 2003.
DOI : 10.1023/A:1024083511032

. Taylor, Workflows for e-Science, 2007.
DOI : 10.1007/978-1-84628-757-2

. Taylor, Distributed computing with Triana on the Grid, Concurrency and Computation: Practice and Experience, vol.1, issue.9, pp.1-18, 2005.
DOI : 10.1002/cpe.901

. Topcuoglu, Performanceeffective and low-complexity task scheduling for heterogeneous computing, International Journal of Supercomputer Applications, vol.13, issue.3, pp.260-274, 2002.

. Unser, Guest Editorial: Wavelets in Medical Imaging, IEEE Transactions on Medical Imaging, vol.22, issue.3, pp.285-288, 2003.
DOI : 10.1109/TMI.2003.809638

W. M. Van-der-aalst-aalst, Why workflow is NOT just a Pi-process, 2004.

. Van-der-aalst, W. M. Ter-hofstede-aalst, and A. H. Ter-hofstede, Workflow Patterns, Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools, 2002.
DOI : 10.1007/978-1-4899-7993-3_826-2

. Van-der-aalst, W. M. Ter-hofstede-aalst, and A. H. Ter-hofstede, YAWL: yet another workflow language, Information Systems, vol.30, issue.4, pp.245-275, 2005.
DOI : 10.1016/j.is.2004.02.002

. Van-der-aalst, Workflow Patterns, pp.5-51, 2003.
DOI : 10.1007/978-1-4899-7993-3_826-2

. Van-engelen, . Gallivan, R. A. Van-engelen, and K. A. Gallivan, The gSOAP Toolkit for Web Services and Peer-to-Peer Computing Networks, 2nd IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID'02), p.128, 2002.
DOI : 10.1109/CCGRID.2002.1017120

A. Moorsel and K. Wolter, Analysis of Restart Mechanisms in Software Systems, IEEE Transactions on Software Engineering, vol.32, issue.8, pp.32547-558, 2006.
DOI : 10.1109/TSE.2006.73

L. Von, GridAnt: A Client-Controllable Grid Workflow System, 37th Hawai'i International Conference on System Science, 2004.

. Wagstrom, GSFL: A Workflow Framework for Grid Services, Scandinavian Conference on Image Analysis, 2002.

. Warfield, Simultaneous Truth and Performance Level Estimation (STAPLE): An Algorithm for the Validation of Image Segmentation, IEEE Transactions on Medical Imaging, vol.23, issue.7, pp.903-921, 2004.
DOI : 10.1109/TMI.2004.828354

. Weissman, J. Zhao-]-weissman, and X. Zhao, Scheduling parallel applications in distributed networks, Cluster Computing, vol.1, issue.1, pp.109-118, 1998.
DOI : 10.1023/A:1019073113216

. West, Comparison and Evaluation of Retrospective Intermodality Brain Image Registration Techniques, Journal of Computer Assisted Tomography, vol.21, issue.4, pp.554-566, 1997.
DOI : 10.1097/00004728-199707000-00007
URL : https://hal.archives-ouvertes.fr/inria-00615072

S. A. White, Using BPMN to model BPEL process, 2006.

. Wohed, Analysis of Web Services Composition Languages: The Case of BPEL4WS, 22nd International Conference on Conceptual Modeling, 2003.
DOI : 10.1007/978-3-540-39648-2_18

. Woodman, Protocol-Based Integration Using SSDL and pi-Calculus, pp.227-243, 2007.
DOI : 10.1007/978-1-84628-757-2_15

. Xie, Optimal Webserver Session Timeout Settings for Web Users, Computer Measurement Group Conference (CMGC), pp.799-820, 2002.

. Xiong, Lossy-to-lossless compression of medical volumetric data using three-dimensional integer wavelet transforms, IEEE Transactions on Medical Imaging, vol.22, issue.3, pp.459-470, 2003.
DOI : 10.1109/TMI.2003.809585

Y. , B. Yu, J. Buyya, and R. , A novel architecture for realizing grid workflow using tuple spaces, Proceedings. Fifth IEEE/ACM International Workshop on Grid Computing, pp.119-128, 2004.

B. Yu, J. Yu, and R. Buyya, A taxonomy of scientific workflow systems for grid computing, ACM SIGMOD Record, vol.34, issue.3, pp.44-49, 2005.
DOI : 10.1145/1084805.1084814

B. Yu, J. Yu, and R. Buyya, A Taxonomy of Workflow Management Systems for Grid Computing, Journal of Grid Computing, vol.15, issue.5???6, pp.3-4171, 2005.
DOI : 10.1007/s10723-005-9010-8

. Scirun2, A CCA Framework for High Performance Computing, 9th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS), pp.72-79

. Zhao, Swift: Fast, Reliable, Loosely Coupled Parallel Computation, 2007 IEEE Congress on Services (Services 2007), 2007.
DOI : 10.1109/SERVICES.2007.63
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.379.4068

. Zhao, Virtual Data Language: A Typed Workflow Notation for Diversely Structured Scientific Data, pp.258-275, 2007.
DOI : 10.1007/978-1-84628-757-2_17