Livrables
Deliverable D 8.1 (M 03) consists of setting up the Project LightKone Web2.0 portal, mailing lists, wikis and other supporting tools. The other deliverables of this work package are yearly reports describing the status of the project during a year. • The primary evidence for dissemination is the presentation of the deliverables at scientific venues (invited talks, conferences and workshops) and demonstrations at conferences, standardisation meetings, and trade conferences. This will be reported in the yearly activity report. • The market research deliverables at each year end are the continuous process of performing market research to determine where our solution fits against the existing solutions brought to market in industry. This task is to ensure that our project has a clear differentiator in its approach, and stays grounded in the classes of applications that are being built. • The business plan deliverables at each year are the continuous process of refining the business plan based on market research, the other deliverable and feedback from dissemination activities, ensuring the best possible product/market fit. Note that all deliverables in LightKone are public (PU) except for the three business plan deliverables here, which are confidential (CO).
Runtime system for edge computing with appl. support (report + software)Four deliverables will be provided by this work package in the form of research reports, software, and user documentation. The reports will describe the outcome of the theoretical work and contributions throughout the four tasks, whereas the documentation will be targeted for end users of the artifacts. Each are described as follows: • At M 24, the deliverable will include an updated prototype of the previous one that ad- dresses different categories of applications, accompanied with a report desribing the theo- retical work and used tools.
Infrastructure support for aggregation in edge computing (report + software)The first deliverable reports on the results of Task T 5.1, including support for aggregation-based computations at the edge. The second deliverable reports the solutions developed in Task T 4.2 for supporting generic computation at the Edge (this includes a set of distributed protocols, their formal correctness proof, and experimental evaluation) as well as the initial prototypes of IoT applications. The third deliverable will present the set of mechanisms, and their integration in the previously defined protocols, to provide security guarantees and autonomic behaviour, and the final prototypes for IoT applications. The final deliverable will demonstrate that one of our application partners examples can be implemented on top of our infrastructure provider.
Packaging of heavy edge computing example (startup) (report + software)WP 6 has four deliverables reporting on the progress in the area of heavy edge application and infrastructure: • The first-year deliverable describes the new concepts for heavy edge applications, their prob- lems and solution strategies, as well as the envisioned architectures of the applications. • The second-year deliverable reports on the solution of selected concepts and the develop- ment of heavy edge applications. • The third-year deliverable focusses on the description of the applied concepts, the realised infrastructure, and the evaluation techniques specific for heavy edge applications. • The final deliverable will demonstrate that one of our application partners examples can be implemented on top of our infrastructure provider.
Final programming model for edge computing (report + software)There will be four deliverables for this work package, giving three successive programming models for edge computing. Each programming model will be both a report and software. The software will be tightly coordinated with the corresponding deliverables of WP 3, which gives the runtime infrastructure. The connection between the two is the API of the runtime layer: the programming model layer will target this API. The definition of this API is a critical part of the success of the edge computing platform and will be the subject of collaboration between WP 3 and WP 4. • The first-year deliverable will be a basic programming model, which is a completed and optimised version of the Selective Hearing model of the SyncFree project. • The second-year deliverables will be an extended programming model, with extensions for the scenarios from WP 2. • The third-year deliverable will be a final programming model, improved for scalability and robustness through feedback from the evaluations of WP 7, as well as a design for an end-user programming interface for the infrastructure provider.
Year 2 activity reportDeliverable D 8.1 (M 03) consists of setting up the Project LightKone Web2.0 portal, mailing lists, wikis and other supporting tools. The other deliverables of this work package are yearly reports describing the status of the project during a year. • The primary evidence for dissemination is the presentation of the deliverables at scientific venues (invited talks, conferences and workshops) and demonstrations at conferences, standardisation meetings, and trade conferences. This will be reported in the yearly activity report. • The market research deliverables at each year end are the continuous process of performing market research to determine where our solution fits against the existing solutions brought to market in industry. This task is to ensure that our project has a clear differentiator in its approach, and stays grounded in the classes of applications that are being built. • The business plan deliverables at each year are the continuous process of refining the business plan based on market research, the other deliverable and feedback from dissemination activities, ensuring the best possible product/market fit. Note that all deliverables in LightKone are public (PU) except for the three business plan deliverables here, which are confidential (CO).
Initial runtime edge computing system (report + software)Four deliverables will be provided by this work package in the form of research reports, software, and user documentation. The reports will describe the outcome of the theoretical work and contributions throughout the four tasks, whereas the documentation will be targeted for end users of the artifacts. Each are described as follows: • At M 12, the deliverable will include the prototype of the initial edge computing system and a report that desribes the algorithms and data structures used.
Year 2 market researchDeliverable D 8.1 (M 03) consists of setting up the Project LightKone Web2.0 portal, mailing lists, wikis and other supporting tools. The other deliverables of this work package are yearly reports describing the status of the project during a year. • The primary evidence for dissemination is the presentation of the deliverables at scientific venues (invited talks, conferences and workshops) and demonstrations at conferences, standardisation meetings, and trade conferences. This will be reported in the yearly activity report. • The market research deliverables at each year end are the continuous process of performing market research to determine where our solution fits against the existing solutions brought to market in industry. This task is to ensure that our project has a clear differentiator in its approach, and stays grounded in the classes of applications that are being built. • The business plan deliverables at each year are the continuous process of refining the business plan based on market research, the other deliverable and feedback from dissemination activities, ensuring the best possible product/market fit. Note that all deliverables in LightKone are public (PU) except for the three business plan deliverables here, which are confidential (CO).
End-user API for edge computing (startup) (report + software)There will be four deliverables for this work package, giving three successive programming models for edge computing. Each programming model will be both a report and software. The software will be tightly coordinated with the corresponding deliverables of WP 3, which gives the runtime infrastructure. The connection between the two is the API of the runtime layer: the programming model layer will target this API. The definition of this API is a critical part of the success of the edge computing platform and will be the subject of collaboration between WP 3 and WP 4. • The first-year deliverable will be a basic programming model, which is a completed and optimised version of the Selective Hearing model of the SyncFree project. • The second-year deliverables will be an extended programming model, with extensions for the scenarios from WP 2. • The third-year deliverable will be a final programming model, improved for scalability and robustness through feedback from the evaluations of WP 7, as well as a design for an end-user programming interface for the infrastructure provider.
First report on heavy edge computing (report + software)WP 6 has four deliverables reporting on the progress in the area of heavy edge application and infrastructure: • The first-year deliverable describes the new concepts for heavy edge applications, their prob- lems and solution strategies, as well as the envisioned architectures of the applications. • The second-year deliverable reports on the solution of selected concepts and the develop- ment of heavy edge applications. • The third-year deliverable focusses on the description of the applied concepts, the realised infrastructure, and the evaluation techniques specific for heavy edge applications. • The final deliverable will demonstrate that one of our application partners examples can be implemented on top of our infrastructure provider.
Reliable and scalable runtime system for edge computing (report + software)Four deliverables will be provided by this work package in the form of research reports, software, and user documentation. The reports will describe the outcome of the theoretical work and contributions throughout the four tasks, whereas the documentation will be targeted for end users of the artifacts. Each are described as follows: • At M 36, a fully functional edge computing system software will be delivered including a report that describes the emerged challenges in this task and the respective optimisations to the edge computing system. The report will also describe and analyse the final state of the runtime edge computing system, given the evaluation results conducted in WP6
Extended programming model for edge computing (report + software)There will be four deliverables for this work package, giving three successive programming models for edge computing. Each programming model will be both a report and software. The software will be tightly coordinated with the corresponding deliverables of WP 3, which gives the runtime infrastructure. The connection between the two is the API of the runtime layer: the programming model layer will target this API. The definition of this API is a critical part of the success of the edge computing platform and will be the subject of collaboration between WP 3 and WP 4. • The first-year deliverable will be a basic programming model, which is a completed and optimised version of the Selective Hearing model of the SyncFree project. • The second-year deliverables will be an extended programming model, with extensions for the scenarios from WP 2. • The third-year deliverable will be a final programming model, improved for scalability and robustness through feedback from the evaluations of WP 7, as well as a design for an end-user programming interface for the infrastructure provider.
First evaluation report of edge applications (report + software)WP 7 has two deliverables reporting on the evaluation of the technology developed in the project: • The M 24 report will present an initial assessment of the techniques being developed, with initial prototypes that will not include all features and have limited scale. • The M 36 report will present results of experiments performed with realistic size deploy- ments. Ease of programming will be assessed through the use of surveys to programmers. The deliverables will include software and data so that the results can be reproduced by third parties.
Report on self management and security in edge computing (report + software)The first deliverable reports on the results of Task T 5.1, including support for aggregation-based computations at the edge. The second deliverable reports the solutions developed in Task T 4.2 for supporting generic computation at the Edge (this includes a set of distributed protocols, their formal correctness proof, and experimental evaluation) as well as the initial prototypes of IoT applications. The third deliverable will present the set of mechanisms, and their integration in the previously defined protocols, to provide security guarantees and autonomic behaviour, and the final prototypes for IoT applications. The final deliverable will demonstrate that one of our application partners examples can be implemented on top of our infrastructure provider.
Packaging of light edge computing example (startup) (report + software)The first deliverable reports on the results of Task T 5.1, including support for aggregation-based computations at the edge. The second deliverable reports the solutions developed in Task T 4.2 for supporting generic computation at the Edge (this includes a set of distributed protocols, their formal correctness proof, and experimental evaluation) as well as the initial prototypes of IoT applications. The third deliverable will present the set of mechanisms, and their integration in the previously defined protocols, to provide security guarantees and autonomic behaviour, and the final prototypes for IoT applications. The final deliverable will demonstrate that one of our application partners examples can be implemented on top of our infrastructure provider.
Year 3 market researchDeliverable D 8.1 (M 03) consists of setting up the Project LightKone Web2.0 portal, mailing lists, wikis and other supporting tools. The other deliverables of this work package are yearly reports describing the status of the project during a year. • The primary evidence for dissemination is the presentation of the deliverables at scientific venues (invited talks, conferences and workshops) and demonstrations at conferences, standardisation meetings, and trade conferences. This will be reported in the yearly activity report. • The market research deliverables at each year end are the continuous process of performing market research to determine where our solution fits against the existing solutions brought to market in industry. This task is to ensure that our project has a clear differentiator in its approach, and stays grounded in the classes of applications that are being built. • The business plan deliverables at each year are the continuous process of refining the business plan based on market research, the other deliverable and feedback from dissemination activities, ensuring the best possible product/market fit. Note that all deliverables in LightKone are public (PU) except for the three business plan deliverables here, which are confidential (CO).
Final report on heavy edge computing (report + software)WP 6 has four deliverables reporting on the progress in the area of heavy edge application and infrastructure: • The first-year deliverable describes the new concepts for heavy edge applications, their prob- lems and solution strategies, as well as the envisioned architectures of the applications. • The second-year deliverable reports on the solution of selected concepts and the develop- ment of heavy edge applications. • The third-year deliverable focusses on the description of the applied concepts, the realised infrastructure, and the evaluation techniques specific for heavy edge applications. • The final deliverable will demonstrate that one of our application partners examples can be implemented on top of our infrastructure provider.
Year 1 activity reportDeliverable D 8.1 (M 03) consists of setting up the Project LightKone Web2.0 portal, mailing lists, wikis and other supporting tools. The other deliverables of this work package are yearly reports describing the status of the project during a year. • The primary evidence for dissemination is the presentation of the deliverables at scientific venues (invited talks, conferences and workshops) and demonstrations at conferences, standardisation meetings, and trade conferences. This will be reported in the yearly activity report. • The market research deliverables at each year end are the continuous process of performing market research to determine where our solution fits against the existing solutions brought to market in industry. This task is to ensure that our project has a clear differentiator in its approach, and stays grounded in the classes of applications that are being built. • The business plan deliverables at each year are the continuous process of refining the business plan based on market research, the other deliverable and feedback from dissemination activities, ensuring the best possible product/market fit. Note that all deliverables in LightKone are public (PU) except for the three business plan deliverables here, which are confidential (CO).
Basic programming model for edge computing (report + software)There will be four deliverables for this work package, giving three successive programming models for edge computing. Each programming model will be both a report and software. The software will be tightly coordinated with the corresponding deliverables of WP 3, which gives the runtime infrastructure. The connection between the two is the API of the runtime layer: the programming model layer will target this API. The definition of this API is a critical part of the success of the edge computing platform and will be the subject of collaboration between WP 3 and WP 4. • The first-year deliverable will be a basic programming model, which is a completed and optimised version of the Selective Hearing model of the SyncFree project. • The second-year deliverables will be an extended programming model, with extensions for the scenarios from WP 2. • The third-year deliverable will be a final programming model, improved for scalability and robustness through feedback from the evaluations of WP 7, as well as a design for an end- user programming interface for the infrastructure provider.
Report on generic edge computing (report + software)The first deliverable reports on the results of Task T 5.1, including support for aggregation-based computations at the edge. The second deliverable reports the solutions developed in Task T 4.2 for supporting generic computation at the Edge (this includes a set of distributed protocols, their formal correctness proof, and experimental evaluation) as well as the initial prototypes of IoT applications. The third deliverable will present the set of mechanisms, and their integration in the previously defined protocols, to provide security guarantees and autonomic behaviour, and the final prototypes for IoT applications. The final deliverable will demonstrate that one of our application partners examples can be implemented on top of our infrastructure provider.
Year 3 activity reportDeliverable D 8.1 (M 03) consists of setting up the Project LightKone Web2.0 portal, mailing lists, wikis and other supporting tools. The other deliverables of this work package are yearly reports describing the status of the project during a year. • The primary evidence for dissemination is the presentation of the deliverables at scientific venues (invited talks, conferences and workshops) and demonstrations at conferences, standardisation meetings, and trade conferences. This will be reported in the yearly activity report. • The market research deliverables at each year end are the continuous process of performing market research to determine where our solution fits against the existing solutions brought to market in industry. This task is to ensure that our project has a clear differentiator in its approach, and stays grounded in the classes of applications that are being built. • The business plan deliverables at each year are the continuous process of refining the business plan based on market research, the other deliverable and feedback from dissemination activities, ensuring the best possible product/market fit. Note that all deliverables in LightKone are public (PU) except for the three business plan deliverables here, which are confidential (CO).
New concepts for heavy edge computingWP 6 has four deliverables reporting on the progress in the area of heavy edge application and infrastructure: • The first-year deliverable describes the new concepts for heavy edge applications, their prob- lems and solution strategies, as well as the envisioned architectures of the applications. • The second-year deliverable reports on the solution of selected concepts and the develop- ment of heavy edge applications. • The third-year deliverable focusses on the description of the applied concepts, the realised infrastructure, and the evaluation techniques specific for heavy edge applications. • The final deliverable will demonstrate that one of our application partners examples can be implemented on top of our infrastructure provider.
Documentation and operational support for using the runtime system (startup)Four deliverables will be provided by this work package in the form of research reports, software, and user documentation. The reports will describe the outcome of the theoretical work and contributions throughout the four tasks, whereas the documentation will be targeted for end users of the artifacts. Each are described as follows: • At M 36, to support the startup effort, a second deliverable will deliver documentation and support for configuring, deploying, and operating the runtime system in the form of user documentation.
Final evaluation report of edge applications (report + software)WP 7 has two deliverables reporting on the evaluation of the technology developed in the project: • The M 24 report will present an initial assessment of the techniques being developed, with initial prototypes that will not include all features and have limited scale. • The M 36 report will present results of experiments performed with realistic size deploy- ments. Ease of programming will be assessed through the use of surveys to programmers. The deliverables will include software and data so that the results can be reproduced by third parties.
Web site and collaboration toolsDeliverable D 8.1 (M 03) consists of setting up the Project LightKone Web2.0 portal, mailing lists, wikis and other supporting tools. The other deliverables of this work package are yearly reports describing the status of the project during a year. • The primary evidence for dissemination is the presentation of the deliverables at scientific venues (invited talks, conferences and workshops) and demonstrations at conferences, standardisation meetings, and trade conferences. This will be reported in the yearly activity report. • The market research deliverables at each year end are the continuous process of performing market research to determine where our solution fits against the existing solutions brought to market in industry. This task is to ensure that our project has a clear differentiator in its approach, and stays grounded in the classes of applications that are being built. • The business plan deliverables at each year are the continuous process of refining the business plan based on market research, the other deliverable and feedback from dissemination activities, ensuring the best possible product/market fit. Note that all deliverables in LightKone are public (PU) except for the three business plan deliverables here, which are confidential (CO).
Informal requirementsTwo deliverables will be provided: first, we will specify a set of informal application requirements, and second, we will select a subset of these and make formal specifications of their informal requirements. The latter subset will be used in the rest of the project to drive development of the edge-computing platform and its industrial application.
Formal requirementsTwo deliverables will be provided: first, we will specify a set of informal application requirements, and second, we will select a subset of these and make formal specifications of their informal requirements. The latter subset will be used in the rest of the project to drive development of the edge-computing platform and its industrial application.
Publications
Auteurs:
Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri
Publié dans:
Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data - PaPoC '18, 2018, Page(s) 1-5, ISBN 9781-450356558
Éditeur:
ACM Press
DOI:
10.1145/3194261.3194262
Auteurs:
Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster
Publié dans:
2018, Page(s) 358-381
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-73721-8_17
Auteurs:
Carlos Baquero, Paulo Sergio Almeida, Ali Shoker
Publié dans:
2017
Éditeur:
?
Auteurs:
Albert van der Linde, Pedro Fouto, João Leitão, Nuno Preguiça, Santiago Castiñeira, Annette Bieniusa
Publié dans:
Proceedings of the 26th International Conference on World Wide Web - WWW '17, 2017, Page(s) 283-292, ISBN 9781-450349130
Éditeur:
ACM Press
DOI:
10.1145/3038912.3052673
Auteurs:
Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno Preguica, Marc Shapiro
Publié dans:
2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS), 2016, Page(s) 405-414, ISBN 978-1-5090-1483-5
Éditeur:
IEEE
DOI:
10.1109/ICDCS.2016.98
Auteurs:
Christopher Meiklejohn, Peter Van Roy
Publié dans:
2015
Éditeur:
International Symposium on Principles and Practice of Declarative Programming (PPDP)
Auteurs:
Dimitrios Vasilas, Marc Shapiro, Bradley King
Publié dans:
Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data - PaPoC '18, 2018, Page(s) 1-4, ISBN 9781-450356558
Éditeur:
ACM Press
DOI:
10.1145/3194261.3194265
Auteurs:
Zhongmiao Li, Peter Van Roy, Paolo Romano
Publié dans:
2017 IEEE 16th International Symposium on Network Computing and Applications (NCA), 2017, Page(s) 1-10, ISBN 978-1-5386-1465-5
Éditeur:
IEEE
DOI:
10.1109/NCA.2017.8171364
Auteurs:
Ziad Kassam, Ali Shoker, Paulo Sergio Almeida and Carlos Baquero
Publié dans:
2017
Éditeur:
IEEE Computer Society
Auteurs:
Ali Shoker
Publié dans:
2017 IEEE 16th International Symposium on Network Computing and Applications (NCA), 2017, Page(s) 1-9, ISBN 978-1-5386-1465-5
Éditeur:
IEEE
DOI:
10.1109/NCA.2017.8171383
Auteurs:
Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa
Publié dans:
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17, 2017, Page(s) 109-114, ISBN 9781-450352918
Éditeur:
ACM Press
DOI:
10.1145/3131851.3131862
Auteurs:
Zhongmiao Li, Peter Van Roy, Paolo Romano
Publié dans:
Proceedings of the 2017 Symposium on Cloud Computing - SoCC '17, 2017, Page(s) 640-640, ISBN 9781-450350280
Éditeur:
ACM Press
DOI:
10.1145/3127479.3132692
Auteurs:
Chathuri Gunawardhana, Manuel Bravo, and Luıs Rodrigues
Publié dans:
2017
Éditeur:
ATC
Auteurs:
Joao Marco C. Silva, Kalil Araujo Bispo, Paulo Carvalho, Solange Rito Lima
Publié dans:
2017 IEEE Symposium on Computers and Communications (ISCC), 2017, Page(s) 1209-1212, ISBN 978-1-5386-1629-1
Éditeur:
IEEE
DOI:
10.1109/ISCC.2017.8024689
Auteurs:
Christopher S. Meiklejohn
Publié dans:
2017
Éditeur:
?
Auteurs:
Henrique Moniz, João Leitão, Ricardo J. Dias, Johannes Gehrke, Nuno Preguiça, Rodrigo Rodrigues
Publié dans:
Proceedings of the 26th International Conference on World Wide Web - WWW '17, 2017, Page(s) 263-272, ISBN 9781-450349130
Éditeur:
ACM Press
DOI:
10.1145/3038912.3052603
Auteurs:
Georges Younes, Paulo Sérgio Almeida, Carlos Baquero
Publié dans:
Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC'17, 2017, Page(s) 1-3, ISBN 9781-450349338
Éditeur:
ACM Press
DOI:
10.1145/3064889.3064892
Auteurs:
Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, João Leitão
Publié dans:
Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC'17, 2017, Page(s) 1-3, ISBN 9781-450349338
Éditeur:
ACM Press
DOI:
10.1145/3064889.3064894
Auteurs:
Manuel Bravo, Luís Rodrigues, Peter Van Roy
Publié dans:
Proceedings of the Twelfth European Conference on Computer Systems - EuroSys '17, 2017, Page(s) 111-126, ISBN 9781-450349383
Éditeur:
ACM Press
DOI:
10.1145/3064176.3064210
Auteurs:
Christopher S. Meiklejohn, Peter Van Roy
Publié dans:
2017
Éditeur:
?
Auteurs:
Ali Shoker, Houssam Yactine, Carlos Baquero
Publié dans:
Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC'17, 2017, Page(s) 1-5, ISBN 9781-450349338
Éditeur:
ACM Press
DOI:
10.1145/3064889.3064895
Auteurs:
Pedro Akos Costa and Joao Leitao
Publié dans:
2018
Éditeur:
SRDS 2018
Auteurs:
B. Ferreira, J. Leitão, and H. Domingos
Publié dans:
2018
Éditeur:
SRDS 2018
Auteurs:
Filipe Freitas, Joao Leitao, Nuno Preguiça, and Rodrigo Rodrigues
Publié dans:
2017
Éditeur:
SRDS 2017
Auteurs:
Alejandro Z. Tomsic, Manuel Bravo, Marc Shapiro
Publié dans:
Proceedings of the 19th International Middleware Conference on - Middleware '18, 2018, Page(s) 120-133, ISBN 9781-450357029
Éditeur:
ACM Press
DOI:
10.1145/3274808.3274818
Auteurs:
Pedro Akos Costa, Joao Leitao
Publié dans:
2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS), 2018, Page(s) 41-50, ISBN 978-1-5386-8301-9
Éditeur:
IEEE
DOI:
10.1109/srds.2018.00015
Auteurs:
Pedro Fouto, Joao Leitao, Nuno Preguica
Publié dans:
2018 IEEE 17th International Symposium on Network Computing and Applications (NCA), 2018, Page(s) 1-10, ISBN 978-1-5386-7659-2
Éditeur:
IEEE
DOI:
10.1109/nca.2018.8548067
Auteurs:
Bernardo Ferreira, Joao Leitao, Henrique Domingos
Publié dans:
2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS), 2018, Page(s) 181-190, ISBN 978-1-5386-8301-9
Éditeur:
IEEE
DOI:
10.1109/srds.2018.00029
Auteurs:
Kia Rahmani, Gowtham Kaki, Suresh Jagannathan
Publié dans:
Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data - PaPoC '18, 2018, Page(s) 1-5, ISBN 9781-450356558
Éditeur:
ACM Press
DOI:
10.1145/3194261.3194267
Auteurs:
Ali Shoker
Publié dans:
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC '18, 2018, Page(s) 269-271, ISBN 9781-450357951
Éditeur:
ACM Press
DOI:
10.1145/3212734.3212781
Auteurs:
Zhongmiao Li, Peter Van Roy, Paolo Romano
Publié dans:
Proceedings of the 27th International Symposium on High-Performance Parallel and Distributed Computing - HPDC '18, 2018, Page(s) 255-266, ISBN 9781-450357852
Éditeur:
ACM Press
DOI:
10.1145/3208040.3208055
Auteurs:
George Younes, Paulo Sérgio Almeida and Carlos Baquero
Publié dans:
5th Workshop pn the Principles and Practice of Consistency for Distributed Data (PaPoC 2018), 2018
Éditeur:
PaPoC 2018
Auteurs:
Peter Zeller
Publié dans:
Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC'17, 2017, Page(s) 1-5, ISBN 9781-450349338
Éditeur:
ACM Press
DOI:
10.1145/3064889.3064893
Auteurs:
Gonçalo Marcelino, Valter Balegas, Carla Ferreira
Publié dans:
Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC'17, 2017, Page(s) 1-4, ISBN 9781-450349338
Éditeur:
ACM Press
DOI:
10.1145/3064889.3064896
Auteurs:
Gonçalo Tomás, Peter Zeller, Valter Balegas, Deepthi Akkoorath, Annette Bieniusa, João Leitão, Nuno Preguiça
Publié dans:
Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC'17, 2017, Page(s) 1-4, ISBN 9781-450349338
Éditeur:
ACM Press
DOI:
10.1145/3064889.3064897
Auteurs:
Christopher S. Meiklejohn, Peter Van Roy
Publié dans:
2017 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), 2017, Page(s) 563-568, ISBN 978-1-5090-4338-5
Éditeur:
IEEE
DOI:
10.1109/percomw.2017.7917624
Auteurs:
Ruma Paul, Jeremie Melchior, Peter Van Roy, Vladimir Vlassov
Publié dans:
2017 IEEE International Conference on Edge Computing (EDGE), 2017, Page(s) 55-64, ISBN 978-1-5386-2017-5
Éditeur:
IEEE
DOI:
10.1109/ieee.edge.2017.16
Auteurs:
Christopher S. Meiklejohn
Publié dans:
Proceedings of the International Conference on the Art, Science, and Engineering of Programming - Programming '17, 2017, Page(s) 1-5, ISBN 9781-450348362
Éditeur:
ACM Press
DOI:
10.1145/3079368.3079414
Auteurs:
Filipe Freitas, Joao Leitao, Nuno Preguica, Rodrigo Rodrigues
Publié dans:
2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 2017, Page(s) 1-10, ISBN 978-1-5386-1679-6
Éditeur:
IEEE
DOI:
10.1109/srds.2017.9
Auteurs:
Bernardo Ferreira, Joao Leitao, Henrique Domingos
Publié dans:
2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2017, Page(s) 213-224, ISBN 978-1-5386-0542-4
Éditeur:
IEEE
DOI:
10.1109/dsn.2017.31
Auteurs:
Christopher S. Meiklejohn
Publié dans:
Proceedings of the Programming Models and Languages for Distributed Computing on - PMLDC '17, 2017, Page(s) 1-6, ISBN 9781-450363563
Éditeur:
ACM Press
DOI:
10.1145/3166089.3166093
Auteurs:
Ziad Kassam, Ali Shoker, Paulo Sergio Almeida, Carlos Baquero
Publié dans:
2017 IEEE 16th International Symposium on Network Computing and Applications (NCA), 2017, Page(s) 1-4, ISBN 978-1-5386-1465-5
Éditeur:
IEEE
DOI:
10.1109/nca.2017.8171346
Auteurs:
Igor Kopestenski and Peter Van Roy
Publié dans:
2019
Éditeur:
SmartEdge 2019 Workshop (colocated with PerCom 2019)
Auteurs:
Adriaan Leijnse, Paulo Sérgio Almeida, Carlos Baquero
Publié dans:
Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC '19, 2019, Page(s) 1-6, ISBN 9781-450362764
Éditeur:
ACM Press
DOI:
10.1145/3301419.3323971
Auteurs:
Igor Kopestenski, Peter Van Roy
Publié dans:
2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), 2019, Page(s) 875-881, ISBN 978-1-5386-9151-9
Éditeur:
IEEE
DOI:
10.1109/percomw.2019.8730773
Auteurs:
Zhongmiao Li, Paolo Romano, Peter Van Roy
Publié dans:
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2019, Page(s) 164-175, ISBN 978-1-7281-0057-9
Éditeur:
IEEE
DOI:
10.1109/dsn.2019.00029
Auteurs:
Igor Kopestenski, Peter Van Roy
Publié dans:
Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang - Erlang 2019, 2019, Page(s) 1-12, ISBN 9781-450368100
Éditeur:
ACM Press
DOI:
10.1145/3331542.3342567
Auteurs:
Bernardo Ferreira, Bernardo Portela, Tiago Oliveira, Guilherme Borges,
Henrique Domingos and Joa ̃o Leita ̃o
Publié dans:
Proceedings of the 38th IEEE Symposium on Reliable Distributed Systems (SRDS 2019), 2019
Éditeur:
SRDS 2019
Auteurs:
André Rosa, Pedro Ákos Costa, and João Leitão
Publié dans:
2019
Éditeur:
Proceedings of the 38th IEEE Symposium on Reliable Distributed Systems (SRDS 2019)
Auteurs:
Shapiro, Marc; Bieniusa, Annette; Preguiça, Nuno; Balegas, Valter; Meiklejohn, Christopher
Publié dans:
Numéro 4, 2018
Éditeur:
Creative Commons Attribution| 4.0 International License
Auteurs:
Ali Shoker, Joao Leitao, Peter Van Roy, and Christopher Meiklejohn
Publié dans:
2017
Éditeur:
?
Auteurs:
Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, and Carla Ferreira
Publié dans:
2017
Éditeur:
European Association for Theoretical Computer Science
Auteurs:
Mathias Weber and Annette Bieniusa
Publié dans:
2018
Éditeur:
INRIA
Auteurs:
Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero
Publié dans:
Journal of Parallel and Distributed Computing, Numéro 111, 2018, Page(s) 162-173, ISSN 0743-7315
Éditeur:
Academic Press
DOI:
10.1016/j.jpdc.2017.08.003
Auteurs:
Paulo Sérgio Almeida, Carlos Baquero
Publié dans:
Distributed Computing, Numéro 32/1, 2019, Page(s) 69-89, ISSN 0178-2770
Éditeur:
Springer Verlag
DOI:
10.1007/s00446-017-0322-2
Auteurs:
Bernardo Ferreira, Joao Rodrigues, Joao Leitao, Henrique Domingos
Publié dans:
IEEE Transactions on Cloud Computing, 2014, Page(s) 1-1, ISSN 2168-7161
Éditeur:
Institute of Electrical and Electronics Engineers Inc.
DOI:
10.1109/tcc.2017.2669999
Auteurs:
Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno Preguiça
Publié dans:
Proceedings of the VLDB Endowment, Numéro 12/4, 2018, Page(s) 404-418, ISSN 2150-8097
Éditeur:
Proceedings of the VLDB Endowment, Vol. 12, No. 4
DOI:
10.14778/3297753.3297760
Auteurs:
Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster
Publié dans:
Verification, Model Checking, and Abstract Interpretation, Numéro 10747, 2018, Page(s) 358-381, ISBN 978-3-319-73720-1
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-73721-8_17
Auteurs:
Deepthi Akkoorath, José Brandão, Annette Bieniusa, Carlos Baquero
Publié dans:
Euro-Par 2018: Parallel Processing - 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings, Numéro 11014, 2018, Page(s) 492-504, ISBN 978-3-319-96982-4
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-96983-1_35
Auteurs:
José Proença, Carlos Baquero
Publié dans:
Fundamentals of Software Engineering, Numéro 10522, 2017, Page(s) 180-195, ISBN 978-3-319-68971-5
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-68972-2_12
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible