| Nome |
# |
|
Cloud Readiness Assessment of Legacy Application, file e0ff0072-e6a0-9bac-e053-1705fe0af019
|
296
|
|
A pattern for enabling multitenancy in legacy application, file e0ff0073-a4d4-9bac-e053-1705fe0af019
|
176
|
|
A Guidelines Framework for Understandable BPMN Models, file e0ff0073-0044-9bac-e053-1705fe0af019
|
157
|
|
A Classification of BPMN Collaborations based on Safeness and Soundness Notions, file e0ff0073-4eb4-9bac-e053-1705fe0af019
|
148
|
|
null, file e0ff0073-2286-9bac-e053-1705fe0af019
|
132
|
|
A Survey of Trust Management Models for Cloud Computing, file e0ff0073-a25a-9bac-e053-1705fe0af019
|
126
|
|
Analysis and verification of ECA rules in intelligent environments, file e0ff0074-0703-9bac-e053-1705fe0af019
|
106
|
|
A Survey of Trust Management Models for Cloud Computing, file e0ff0073-a259-9bac-e053-1705fe0af019
|
55
|
|
Tangramob: An agent-based simulation framework for validating urban smart mobility solutions, file e0ff0074-d8b3-9bac-e053-1705fe0af019
|
28
|
|
A Formal Model for Event-Condition-Action Rules in Intelligent Environments, file e0ff0072-d419-9bac-e053-1705fe0af019
|
18
|
|
A formal approach for the analysis of BPMN collaboration models, file 3c470a6a-72cf-4b6b-929c-f193045252b8
|
16
|
|
A systematic literature review on IoT-aware business process modeling views, requirements and notations, file 1b28730f-58ab-4d05-aa2f-8567c3cc01d4
|
14
|
|
Formalising and animating multiple instances in BPMN collaborations, file e0ff0074-3a64-9bac-e053-1705fe0af019
|
12
|
|
FedCohesion: Federated Identity Management in the Marche Region, file e0ff0072-6273-9bac-e053-1705fe0af019
|
11
|
|
Collaboration vs. choreography conformance in BPMN, file e0ff0074-899e-9bac-e053-1705fe0af019
|
11
|
|
MIDA: Multiple Instances and Data Animator, file e0ff0073-4eb2-9bac-e053-1705fe0af019
|
9
|
|
Applying REECHD to non-uniformly distributed heterogeneous devices, file e0ff0074-2753-9bac-e053-1705fe0af019
|
9
|
|
BProVe: a Formal Verification Framework for Business Process Models, file e0ff0075-0af3-9bac-e053-1705fe0af019
|
9
|
|
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
|
|
Engineering Trustable Choreography-based Systems Using Blockchain, file e0ff0074-32d2-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
|
|
A formal approach for the analysis of BPMN collaboration models, file e0ff0074-cd86-9bac-e053-1705fe0af019
|
6
|
|
Model-driven engineering for multi-party business processes on multiple blockchains, file e0ff0074-d9ca-9bac-e053-1705fe0af019
|
6
|
|
BPMN 2.0 OR-Join Semantics: Global and local characterisation, file e0ff0074-d9cc-9bac-e053-1705fe0af019
|
6
|
|
Uniformity in Multiscale Models: From Complex Automata to BioShape, file e0ff0072-e07a-9bac-e053-1705fe0af019
|
5
|
|
Code Mobility for Pervasive Computing, file e0ff0073-c1ed-9bac-e053-1705fe0af019
|
5
|
|
Multiscale Bone Remodelling with Spatial P Systems, file e0ff0073-fcfe-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
|
|
X-IoT: a model-driven approach to support IoT application portability across IoT platforms, file 7c956d85-ca93-443c-af99-6ab6355106b9
|
2
|
|
FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development, file af661717-84b6-4127-ac34-ae9e6733e4ef
|
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
|
|
null, file e0ff0074-32d0-9bac-e053-1705fe0af019
|
2
|
|
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments, file e0ff0074-89dd-9bac-e053-1705fe0af019
|
2
|
|
null, file e0ff0074-9a21-9bac-e053-1705fe0af019
|
2
|
|
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain, file e0ff0074-e314-9bac-e053-1705fe0af019
|
2
|
|
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 |
1450 |