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