Nome |
# |
Cloud Readiness Assessment of Legacy Application, file e0ff0072-e6a0-9bac-e053-1705fe0af019
|
372
|
A Guidelines Framework for Understandable BPMN Models, file e0ff0073-0044-9bac-e053-1705fe0af019
|
365
|
A pattern for enabling multitenancy in legacy application, file e0ff0073-a4d4-9bac-e053-1705fe0af019
|
207
|
A Classification of BPMN Collaborations based on Safeness and Soundness Notions, file e0ff0073-4eb4-9bac-e053-1705fe0af019
|
171
|
A Survey of Trust Management Models for Cloud Computing, file e0ff0073-a25a-9bac-e053-1705fe0af019
|
147
|
null, file e0ff0073-2286-9bac-e053-1705fe0af019
|
132
|
A systematic literature review on IoT-aware business process modeling views, requirements and notations, file 1b28730f-58ab-4d05-aa2f-8567c3cc01d4
|
127
|
Analysis and verification of ECA rules in intelligent environments, file e0ff0074-0703-9bac-e053-1705fe0af019
|
119
|
A Survey of Trust Management Models for Cloud Computing, file e0ff0073-a259-9bac-e053-1705fe0af019
|
55
|
A Formal Model for Event-Condition-Action Rules in Intelligent Environments, file e0ff0072-d419-9bac-e053-1705fe0af019
|
42
|
A Flexible Approach to Multi-party Business Process Execution on Blockchain, file cbec284d-6536-4ba5-88e7-ab231c4df128
|
34
|
A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models, file 9087bda7-8080-4bb3-adaf-33b28d869ad6
|
33
|
Tangramob: An agent-based simulation framework for validating urban smart mobility solutions, file e0ff0074-d8b3-9bac-e053-1705fe0af019
|
33
|
A formal approach for the analysis of BPMN collaboration models, file 3c470a6a-72cf-4b6b-929c-f193045252b8
|
31
|
BProVe: a Formal Verification Framework for Business Process Models, file e0ff0075-0af3-9bac-e053-1705fe0af019
|
30
|
Formalising and animating multiple instances in BPMN collaborations, file e0ff0074-3a64-9bac-e053-1705fe0af019
|
12
|
Collaboration vs. choreography conformance in BPMN, file e0ff0074-899e-9bac-e053-1705fe0af019
|
12
|
MIDA: Multiple Instances and Data Animator, file e0ff0073-4eb2-9bac-e053-1705fe0af019
|
11
|
FedCohesion: Federated Identity Management in the Marche Region, file e0ff0072-6273-9bac-e053-1705fe0af019
|
10
|
Applying REECHD to non-uniformly distributed heterogeneous devices, file e0ff0074-2753-9bac-e053-1705fe0af019
|
10
|
Consistent modelling of hierarchical BPMN collaborations, file e0ff0074-e9e1-9bac-e053-1705fe0af019
|
8
|
Lessons learned from a participatory design project in e-health, file e0ff0072-46dd-9bac-e053-1705fe0af019
|
7
|
Multiscale Bone Remodelling with Spatial P Systems, file e0ff0073-fcfe-9bac-e053-1705fe0af019
|
7
|
Engineering Trustable Choreography-based Systems Using Blockchain, file e0ff0074-32d2-9bac-e053-1705fe0af019
|
7
|
BPMN 2.0 OR-Join Semantics: Global and local characterisation, file e0ff0074-d9cc-9bac-e053-1705fe0af019
|
7
|
SPECTRE: a deep learning network for posture recognition in manufacturing, file a38d36be-3a92-4efa-be70-bfa85832f25c
|
6
|
Business process flexibility - a systematic literature review with a software systems perspective, file e0ff0072-9fbd-9bac-e053-1705fe0af019
|
6
|
Correctness checking for BPMN collaborations with sub-processes, file e0ff0074-32d0-9bac-e053-1705fe0af019
|
6
|
A formal approach for the analysis of BPMN collaboration models, file e0ff0074-cd86-9bac-e053-1705fe0af019
|
6
|
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain, file e0ff0074-e314-9bac-e053-1705fe0af019
|
6
|
Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems, file 57d056ba-79a1-41fa-8b85-62be4cb8902a
|
5
|
Uniformity in Multiscale Models: From Complex Automata to BioShape, file e0ff0072-e07a-9bac-e053-1705fe0af019
|
5
|
X-IoT: a model-driven approach to support IoT application portability across IoT platforms, file 7c956d85-ca93-443c-af99-6ab6355106b9
|
4
|
FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development, file af661717-84b6-4127-ac34-ae9e6733e4ef
|
4
|
Code Mobility for Pervasive Computing, file e0ff0073-c1ed-9bac-e053-1705fe0af019
|
4
|
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations, file e0ff0074-9a21-9bac-e053-1705fe0af019
|
4
|
A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED, file e0ff0072-d95c-9bac-e053-1705fe0af019
|
3
|
RePROSitory: a Repository Platform for Sharing Business PROcess modelS, file e0ff0073-dfbc-9bac-e053-1705fe0af019
|
3
|
Blockchain and IoT Integration for Society 5.0, file e0ff0074-e4b7-9bac-e053-1705fe0af019
|
3
|
A BPMN-driven framework for Multi-Robot System development, file 866efcdf-32c5-4fa9-bf2b-6bf17f7692e4
|
2
|
CellExcite: an efficient simulation environment for excitable cells, file e0ff0072-4944-9bac-e053-1705fe0af019
|
2
|
null, file e0ff0072-4d7c-9bac-e053-1705fe0af019
|
2
|
Fair Pi, file e0ff0072-4e21-9bac-e053-1705fe0af019
|
2
|
Persistence and Testing Semantics in the Asynchronous Pi-Calculus, file e0ff0072-4e22-9bac-e053-1705fe0af019
|
2
|
BIOSHAPE: End-User Development for Simulating Biological Systems, file e0ff0072-5f88-9bac-e053-1705fe0af019
|
2
|
Inter-organizational business process verification in public administration, file e0ff0072-66fb-9bac-e053-1705fe0af019
|
2
|
A Flexible Architecture to Monitor Dynamic Web Services Composition, file e0ff0072-96f4-9bac-e053-1705fe0af019
|
2
|
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions, file e0ff0072-a8ac-9bac-e053-1705fe0af019
|
2
|
An overview of Service-Oriented Computing challenges and issues, file e0ff0072-ce36-9bac-e053-1705fe0af019
|
2
|
A Formal Approach to Modelling and Verification of Business Process Collaborations, file e0ff0073-1fc0-9bac-e053-1705fe0af019
|
2
|
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support, file e0ff0073-5388-9bac-e053-1705fe0af019
|
2
|
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments, file e0ff0074-89dd-9bac-e053-1705fe0af019
|
2
|
Enabling 3D Simulation in ThingsBoard: A First Step Towards A Digital Twin Platform, file eebfe9c2-2a6b-4578-bd02-8adf9df4a840
|
2
|
Model-driven Engineering for Multi-party Business Processes on Multiple Blockchains, file fd37796b-f42f-4781-9d41-77780afb43f5
|
2
|
An Approach to Support Digital Process Twin, file a6775edd-19f0-4d50-b303-d4d7329cd0b3
|
1
|
BPMN Inspector: A Tool for Extracting Features from BPMN Models, file c478a263-6d39-4664-975d-96d27d9fbce7
|
1
|
An Integration Platform for Private Assisted Houses, file e0ff0072-89b3-9bac-e053-1705fe0af019
|
1
|
Process Variability Modeling for Complex Organizations, file e0ff0072-8cd2-9bac-e053-1705fe0af019
|
1
|
A Constrained ECA Language Supporting Formal Verification of WSNs, file e0ff0072-ac4f-9bac-e053-1705fe0af019
|
1
|
The European Digital Agenda and the Impact of ICT on Public Administrations and Small and Medium Enterprises, file e0ff0072-b523-9bac-e053-1705fe0af019
|
1
|
BProVe: Tool Support for Business Process Verification, file e0ff0072-f7ae-9bac-e053-1705fe0af019
|
1
|
null, file e0ff0073-7627-9bac-e053-1705fe0af019
|
1
|
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies, file e0ff0074-945d-9bac-e053-1705fe0af019
|
1
|
ChorChain: A model-driven framework for choreography-based systems using blockchain, file e0ff0074-f086-9bac-e053-1705fe0af019
|
1
|
Totale |
2.094 |