| Nome |
# |
|
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
|
|
Case studies for a new IoT programming paradigm: Fluidware, file e0ff0073-ec75-9bac-e053-1705fe0af019
|
30
|
|
Life-saving Furniture System. Il sistema di arredi salva-vita in caso di sisma., file 3f7c1671-1209-46ae-89d3-c133961df0e4
|
26
|
|
Cloud for eGov: the state of the art, file e0ff0072-d3c7-9bac-e053-1705fe0af019
|
20
|
|
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
|
|
Livelock and Deadlock Detection for PA Inter-organizational Business Processes., file e0ff0072-5fef-9bac-e053-1705fe0af019
|
13
|
|
Formalising and animating multiple instances in BPMN collaborations, file e0ff0074-3a64-9bac-e053-1705fe0af019
|
12
|
|
Digital Identity into Practice: The Case of UniCam, file e0ff0072-5db7-9bac-e053-1705fe0af019
|
11
|
|
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
|
|
Direct Verification of BPMN Processes through an Optimized Unfolding Technique, file e0ff0072-5fee-9bac-e053-1705fe0af019
|
10
|
|
MIDA: Multiple Instances and Data Animator, file e0ff0073-4eb2-9bac-e053-1705fe0af019
|
9
|
|
Smart housing and mobility for the third age
Progetto S.I.A.M.A.D.A, file e0ff0074-b27c-9bac-e053-1705fe0af019
|
9
|
|
BProVe: a Formal Verification Framework for Business Process Models, file e0ff0075-0af3-9bac-e053-1705fe0af019
|
9
|
|
Industrial Design, Structural Engineering, Computer Science and Chemistry for the development of life-saving furniture systems in seismic areas, file e0ff0073-f524-9bac-e053-1705fe0af019
|
8
|
|
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
|
|
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
|
|
Formal methods to improve public administration business processes, file e0ff0073-a13c-9bac-e053-1705fe0af019
|
4
|
|
"Inventor's Day. Testimonianze di inventrici ed inventori", seminario promosso dalla Commissione Brevetti di Unicam, curato da Carlotta Latini, Camerino, 18 gennaio 2023., file d3e1a814-e245-4f2d-a828-26b698ff4d47
|
3
|
|
Runtime Computation of Optimal Offloading Scheduling , file e0ff0073-19f7-9bac-e053-1705fe0af019
|
3
|
|
RePROSitory: a Repository Platform for Sharing Business PROcess modelS, file e0ff0073-dfbc-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
|
|
Lessons learnt from Federate Identity Management into practice, file e0ff0072-6274-9bac-e053-1705fe0af019
|
2
|
|
Inter-organizational business process verification in public administration, file e0ff0072-66fb-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
|
|
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
|
|
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
|
|
Checking Business Process Correctness in Apromore, file e0ff0073-159b-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 |
599 |