Sage Journals: Discover world-class research

Retricted access

Research article

First published 2012-2

Flexible choreography-driven service selection

Matteo Baldoni, Cristina Baroglio, Elisa Marengo [...]

Intelligenza Artificiale

Retricted access

Research article

First published 2007-01

CSP-Based Verification for Web Service Orchestration and Choreography

W.L. Yeung

SIMULATION

Retricted access

Research article

First published 2010-3

On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework

Federico Chesani, Paola Mello, Marco Montali [...]

Multiagent and Grid Systems

Retricted access

Research article

First published 2011-2

Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions

Federico Chesani, Paola Mello, Marco Montali [...]

Intelligenza Artificiale

Open access

Research article

First published 2024-5

Efficient and choreographed quality-of- service management in dense 6G verticals with high-speed mobility requirements

Borja Bordel, Ramón Alcarria, Joaquin Chung [...]

Integrated Computer-Aided Engineering

Free access

Research article

First published 2005-2

IMGT-Choreography for Immunogenetics and Immunoinformatics

Marie-Paule Lefranc, Oliver Clément, Quentin Kaas [...]

In Silico Biology

Retricted access

Research article

First published 2012-3

WST: a tool supporting timed composite Web Services Model transformation

M Emilia Cambronero, Gregorio Díaz, Enrique Martínez [...]

SIMULATION

Retricted access

Research article

First published 2011-2

Learning specifications of interaction protocols and business processes and proving their properties

Marco Alberti, Marco Gavanelli, Evelina Lamma [...]

Intelligenza Artificiale

Retricted access

Research article

First published 2015-7

True Concurrency in Long-running Transactions for Digital Ecosystems

Sotiris Moschoyiannis, Paul J. Krause

Fundamenta Informaticae

Open access

Research article

First published 2019-12

Local loops of care in the metropolitan region of Helsinki: A time-economy perspective

Lena Näre, Elisabeth Wide

Journal of European Social Policy

Search results