Deliverables
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
Author(s):
Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri
Published in:
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
Publisher:
ACM Press
DOI:
10.1145/3194261.3194262
Author(s):
Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster
Published in:
2018, Page(s) 358-381
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-73721-8_17
Author(s):
Carlos Baquero, Paulo Sergio Almeida, Ali Shoker
Published in:
2017
Publisher:
?
Author(s):
Albert van der Linde, Pedro Fouto, João Leitão, Nuno Preguiça, Santiago Castiñeira, Annette Bieniusa
Published in:
Proceedings of the 26th International Conference on World Wide Web - WWW '17, 2017, Page(s) 283-292, ISBN 9781-450349130
Publisher:
ACM Press
DOI:
10.1145/3038912.3052673
Author(s):
Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno Preguica, Marc Shapiro
Published in:
2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS), 2016, Page(s) 405-414, ISBN 978-1-5090-1483-5
Publisher:
IEEE
DOI:
10.1109/ICDCS.2016.98
Author(s):
Christopher Meiklejohn, Peter Van Roy
Published in:
2015
Publisher:
International Symposium on Principles and Practice of Declarative Programming (PPDP)
Author(s):
Dimitrios Vasilas, Marc Shapiro, Bradley King
Published in:
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
Publisher:
ACM Press
DOI:
10.1145/3194261.3194265
Author(s):
Zhongmiao Li, Peter Van Roy, Paolo Romano
Published in:
2017 IEEE 16th International Symposium on Network Computing and Applications (NCA), 2017, Page(s) 1-10, ISBN 978-1-5386-1465-5
Publisher:
IEEE
DOI:
10.1109/NCA.2017.8171364
Author(s):
Ziad Kassam, Ali Shoker, Paulo Sergio Almeida and Carlos Baquero
Published in:
2017
Publisher:
IEEE Computer Society
Author(s):
Ali Shoker
Published in:
2017 IEEE 16th International Symposium on Network Computing and Applications (NCA), 2017, Page(s) 1-9, ISBN 978-1-5386-1465-5
Publisher:
IEEE
DOI:
10.1109/NCA.2017.8171383
Author(s):
Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa
Published in:
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17, 2017, Page(s) 109-114, ISBN 9781-450352918
Publisher:
ACM Press
DOI:
10.1145/3131851.3131862
Author(s):
Zhongmiao Li, Peter Van Roy, Paolo Romano
Published in:
Proceedings of the 2017 Symposium on Cloud Computing - SoCC '17, 2017, Page(s) 640-640, ISBN 9781-450350280
Publisher:
ACM Press
DOI:
10.1145/3127479.3132692
Author(s):
Chathuri Gunawardhana, Manuel Bravo, and Luıs Rodrigues
Published in:
2017
Publisher:
ATC
Author(s):
Joao Marco C. Silva, Kalil Araujo Bispo, Paulo Carvalho, Solange Rito Lima
Published in:
2017 IEEE Symposium on Computers and Communications (ISCC), 2017, Page(s) 1209-1212, ISBN 978-1-5386-1629-1
Publisher:
IEEE
DOI:
10.1109/ISCC.2017.8024689
Author(s):
Christopher S. Meiklejohn
Published in:
2017
Publisher:
?
Author(s):
Henrique Moniz, João Leitão, Ricardo J. Dias, Johannes Gehrke, Nuno Preguiça, Rodrigo Rodrigues
Published in:
Proceedings of the 26th International Conference on World Wide Web - WWW '17, 2017, Page(s) 263-272, ISBN 9781-450349130
Publisher:
ACM Press
DOI:
10.1145/3038912.3052603
Author(s):
Georges Younes, Paulo Sérgio Almeida, Carlos Baquero
Published in:
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
Publisher:
ACM Press
DOI:
10.1145/3064889.3064892
Author(s):
Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, João Leitão
Published in:
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
Publisher:
ACM Press
DOI:
10.1145/3064889.3064894
Author(s):
Manuel Bravo, Luís Rodrigues, Peter Van Roy
Published in:
Proceedings of the Twelfth European Conference on Computer Systems - EuroSys '17, 2017, Page(s) 111-126, ISBN 9781-450349383
Publisher:
ACM Press
DOI:
10.1145/3064176.3064210
Author(s):
Christopher S. Meiklejohn, Peter Van Roy
Published in:
2017
Publisher:
?
Author(s):
Ali Shoker, Houssam Yactine, Carlos Baquero
Published in:
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
Publisher:
ACM Press
DOI:
10.1145/3064889.3064895
Author(s):
Pedro Akos Costa and Joao Leitao
Published in:
2018
Publisher:
SRDS 2018
Author(s):
B. Ferreira, J. Leitão, and H. Domingos
Published in:
2018
Publisher:
SRDS 2018
Author(s):
Filipe Freitas, Joao Leitao, Nuno Preguiça, and Rodrigo Rodrigues
Published in:
2017
Publisher:
SRDS 2017
Author(s):
Alejandro Z. Tomsic, Manuel Bravo, Marc Shapiro
Published in:
Proceedings of the 19th International Middleware Conference on - Middleware '18, 2018, Page(s) 120-133, ISBN 9781-450357029
Publisher:
ACM Press
DOI:
10.1145/3274808.3274818
Author(s):
Pedro Akos Costa, Joao Leitao
Published in:
2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS), 2018, Page(s) 41-50, ISBN 978-1-5386-8301-9
Publisher:
IEEE
DOI:
10.1109/srds.2018.00015
Author(s):
Pedro Fouto, Joao Leitao, Nuno Preguica
Published in:
2018 IEEE 17th International Symposium on Network Computing and Applications (NCA), 2018, Page(s) 1-10, ISBN 978-1-5386-7659-2
Publisher:
IEEE
DOI:
10.1109/nca.2018.8548067
Author(s):
Bernardo Ferreira, Joao Leitao, Henrique Domingos
Published in:
2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS), 2018, Page(s) 181-190, ISBN 978-1-5386-8301-9
Publisher:
IEEE
DOI:
10.1109/srds.2018.00029
Author(s):
Kia Rahmani, Gowtham Kaki, Suresh Jagannathan
Published in:
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
Publisher:
ACM Press
DOI:
10.1145/3194261.3194267
Author(s):
Ali Shoker
Published in:
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC '18, 2018, Page(s) 269-271, ISBN 9781-450357951
Publisher:
ACM Press
DOI:
10.1145/3212734.3212781
Author(s):
Zhongmiao Li, Peter Van Roy, Paolo Romano
Published in:
Proceedings of the 27th International Symposium on High-Performance Parallel and Distributed Computing - HPDC '18, 2018, Page(s) 255-266, ISBN 9781-450357852
Publisher:
ACM Press
DOI:
10.1145/3208040.3208055
Author(s):
George Younes, Paulo Sérgio Almeida and Carlos Baquero
Published in:
5th Workshop pn the Principles and Practice of Consistency for Distributed Data (PaPoC 2018), 2018
Publisher:
PaPoC 2018
Author(s):
Peter Zeller
Published in:
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
Publisher:
ACM Press
DOI:
10.1145/3064889.3064893
Author(s):
Gonçalo Marcelino, Valter Balegas, Carla Ferreira
Published in:
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
Publisher:
ACM Press
DOI:
10.1145/3064889.3064896
Author(s):
Gonçalo Tomás, Peter Zeller, Valter Balegas, Deepthi Akkoorath, Annette Bieniusa, João Leitão, Nuno Preguiça
Published in:
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
Publisher:
ACM Press
DOI:
10.1145/3064889.3064897
Author(s):
Christopher S. Meiklejohn, Peter Van Roy
Published in:
2017 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), 2017, Page(s) 563-568, ISBN 978-1-5090-4338-5
Publisher:
IEEE
DOI:
10.1109/percomw.2017.7917624
Author(s):
Ruma Paul, Jeremie Melchior, Peter Van Roy, Vladimir Vlassov
Published in:
2017 IEEE International Conference on Edge Computing (EDGE), 2017, Page(s) 55-64, ISBN 978-1-5386-2017-5
Publisher:
IEEE
DOI:
10.1109/ieee.edge.2017.16
Author(s):
Christopher S. Meiklejohn
Published in:
Proceedings of the International Conference on the Art, Science, and Engineering of Programming - Programming '17, 2017, Page(s) 1-5, ISBN 9781-450348362
Publisher:
ACM Press
DOI:
10.1145/3079368.3079414
Author(s):
Filipe Freitas, Joao Leitao, Nuno Preguica, Rodrigo Rodrigues
Published in:
2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 2017, Page(s) 1-10, ISBN 978-1-5386-1679-6
Publisher:
IEEE
DOI:
10.1109/srds.2017.9
Author(s):
Bernardo Ferreira, Joao Leitao, Henrique Domingos
Published in:
2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2017, Page(s) 213-224, ISBN 978-1-5386-0542-4
Publisher:
IEEE
DOI:
10.1109/dsn.2017.31
Author(s):
Christopher S. Meiklejohn
Published in:
Proceedings of the Programming Models and Languages for Distributed Computing on - PMLDC '17, 2017, Page(s) 1-6, ISBN 9781-450363563
Publisher:
ACM Press
DOI:
10.1145/3166089.3166093
Author(s):
Ziad Kassam, Ali Shoker, Paulo Sergio Almeida, Carlos Baquero
Published in:
2017 IEEE 16th International Symposium on Network Computing and Applications (NCA), 2017, Page(s) 1-4, ISBN 978-1-5386-1465-5
Publisher:
IEEE
DOI:
10.1109/nca.2017.8171346
Author(s):
Igor Kopestenski and Peter Van Roy
Published in:
2019
Publisher:
SmartEdge 2019 Workshop (colocated with PerCom 2019)
Author(s):
Adriaan Leijnse, Paulo Sérgio Almeida, Carlos Baquero
Published in:
Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC '19, 2019, Page(s) 1-6, ISBN 9781-450362764
Publisher:
ACM Press
DOI:
10.1145/3301419.3323971
Author(s):
Igor Kopestenski, Peter Van Roy
Published in:
2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), 2019, Page(s) 875-881, ISBN 978-1-5386-9151-9
Publisher:
IEEE
DOI:
10.1109/percomw.2019.8730773
Author(s):
Zhongmiao Li, Paolo Romano, Peter Van Roy
Published in:
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2019, Page(s) 164-175, ISBN 978-1-7281-0057-9
Publisher:
IEEE
DOI:
10.1109/dsn.2019.00029
Author(s):
Igor Kopestenski, Peter Van Roy
Published in:
Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang - Erlang 2019, 2019, Page(s) 1-12, ISBN 9781-450368100
Publisher:
ACM Press
DOI:
10.1145/3331542.3342567
Author(s):
Bernardo Ferreira, Bernardo Portela, Tiago Oliveira, Guilherme Borges,
Henrique Domingos and Joa ̃o Leita ̃o
Published in:
Proceedings of the 38th IEEE Symposium on Reliable Distributed Systems (SRDS 2019), 2019
Publisher:
SRDS 2019
Author(s):
André Rosa, Pedro Ákos Costa, and João Leitão
Published in:
2019
Publisher:
Proceedings of the 38th IEEE Symposium on Reliable Distributed Systems (SRDS 2019)
Author(s):
Shapiro, Marc; Bieniusa, Annette; Preguiça, Nuno; Balegas, Valter; Meiklejohn, Christopher
Published in:
Issue 4, 2018
Publisher:
Creative Commons Attribution| 4.0 International License
Author(s):
Ali Shoker, Joao Leitao, Peter Van Roy, and Christopher Meiklejohn
Published in:
2017
Publisher:
?
Author(s):
Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, and Carla Ferreira
Published in:
2017
Publisher:
European Association for Theoretical Computer Science
Author(s):
Mathias Weber and Annette Bieniusa
Published in:
2018
Publisher:
INRIA
Author(s):
Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero
Published in:
Journal of Parallel and Distributed Computing, Issue 111, 2018, Page(s) 162-173, ISSN 0743-7315
Publisher:
Academic Press
DOI:
10.1016/j.jpdc.2017.08.003
Author(s):
Paulo Sérgio Almeida, Carlos Baquero
Published in:
Distributed Computing, Issue 32/1, 2019, Page(s) 69-89, ISSN 0178-2770
Publisher:
Springer Verlag
DOI:
10.1007/s00446-017-0322-2
Author(s):
Bernardo Ferreira, Joao Rodrigues, Joao Leitao, Henrique Domingos
Published in:
IEEE Transactions on Cloud Computing, 2014, Page(s) 1-1, ISSN 2168-7161
Publisher:
Institute of Electrical and Electronics Engineers Inc.
DOI:
10.1109/tcc.2017.2669999
Author(s):
Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno Preguiça
Published in:
Proceedings of the VLDB Endowment, Issue 12/4, 2018, Page(s) 404-418, ISSN 2150-8097
Publisher:
Proceedings of the VLDB Endowment, Vol. 12, No. 4
DOI:
10.14778/3297753.3297760
Author(s):
Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster
Published in:
Verification, Model Checking, and Abstract Interpretation, Issue 10747, 2018, Page(s) 358-381, ISBN 978-3-319-73720-1
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-73721-8_17
Author(s):
Deepthi Akkoorath, José Brandão, Annette Bieniusa, Carlos Baquero
Published in:
Euro-Par 2018: Parallel Processing - 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings, Issue 11014, 2018, Page(s) 492-504, ISBN 978-3-319-96982-4
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-96983-1_35
Author(s):
José Proença, Carlos Baquero
Published in:
Fundamentals of Software Engineering, Issue 10522, 2017, Page(s) 180-195, ISBN 978-3-319-68971-5
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-68972-2_12
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available