An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts. | 0 | 0.34 | 2020 |
Cloud service composition using minimal unsatisfiability and genetic algorithm | 1 | 0.37 | 2020 |
Building Valid Career Ontologies with B-CPNs. | 0 | 0.34 | 2020 |
A Maxsat Based Approach For Qos Cloud Services | 1 | 0.35 | 2020 |
On the Fly Reconfiguration of BPaaS Based on SaaS Services Federation and SAT Solving Techniques | 1 | 0.37 | 2019 |
Formalising the Requirements of an E-Voting Software Product Line Using Event-B | 0 | 0.34 | 2018 |
Formal Approach for QoS-Aware Cloud Service Composition | 1 | 0.36 | 2017 |
Satisfiability-Based Privacy-Aware Cloud Computing. | 2 | 0.39 | 2017 |
On QoS web service composition using satisfiability | 0 | 0.34 | 2015 |
Ontological approach for Data WareHouse design | 0 | 0.34 | 2015 |
On the fly reconfiguration of interactive scientific visualization applications | 0 | 0.34 | 2015 |
Relaxation Based SaaS for Repairing Failed Queries over the Cloud Computing. | 3 | 0.38 | 2015 |
Place-Liveness of ComSA Applications. | 0 | 0.34 | 2014 |
Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives. | 0 | 0.34 | 2012 |