E-LIB Suche - Ergebnisse für: Zave, Pamela

1

A Verified Session Protocol for Dynamic Service Chaining:

Zave, Pamela ; Carvalho, Fabricio B. ; Ferreira, Ronaldo A....
IEEE/ACM Transactions on Networking. , 2020

Link: https://doi.org/10.1109/..

2

Patterns and Interactions in Network Security:

Zave, Pamela ; Rexford, Jennifer
ACM Computing Surveys (CSUR). 53 (2020) 6 - p. 1-37 , 2020

Link: https://dl.acm.org/doi/1..

3

Patterns and Interactions in Network Security:

Zave, Pamela ; Rexford, Jennifer
ACM Computing Surveys. 53 (2020) 6 - p. 1-37 , 2020

Link: https://doi.org/10.1145/..

4

The compositional architecture of the internet:

Zave, Pamela ; Rexford, Jennifer
Communications of the ACM. 62 (2019) 3 - p. 78-87 , 2019

Link: https://dl.acm.org/doi/1..

5

The compositional architecture of the internet:

Zave, Pamela ; Rexford, Jennifer
Communications of the ACM. 62 (2019) 3 - p. 78-87 , 2019

Link: https://doi.org/10.1145/..

6

Brief Announcement : MUSIC: Multi-Site Entry Consistency..:

, In: Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing,

Balasubramanian, Bharath ; Schlichting, Richard ; Zave, Pamela - p. 281-284 , 2018

Link: https://dl.acm.org/doi/1..

7

Locked or Not? : Mental Models of IoT Feature Interactio:

, In: Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems,

Yarosh, Svetlana ; Zave, Pamela - p. 2993-2997 , 2017

Link: https://dl.acm.org/doi/1..

8

Reasoning About Identifier Spaces: How to Make Chord Correc:

Zave, Pamela
IEEE Transactions on Software Engineering. 43 (2017) 12 - p. 1144-1156 , 2017

Link: https://doi.org/10.1109/..

9

Dynamic Service Chaining with Dysco:

, In: Proceedings of the Conference of the ACM Special Interest Group on Data Communication,

Zave, Pamela ; Ferreira, Ronaldo A. ; Zou, Xuan Kelvin.. - p. 57-70 , 2017

Link: https://dl.acm.org/doi/1..

10

Theories of everything:

, In: Proceedings of the 38th International Conference on Software Engineering Companion,

Zave, Pamela - p. 793-796 , 2016

Link: https://dl.acm.org/doi/1..

11

Bridging the research-industry gap : the case for domain..:

, In: Proceedings of the Second International Workshop on Software Engineering Research and Industrial Practice,

Zave, Pamela - p. 3-4 , 2015

Link: https://dl.acm.org/doi/1..

12

Report of the DIMACS working group on abstractions for netw..:

Rexford, Jennifer ; Zave, Pamela
ACM SIGCOMM Computer Communication Review. 43 (2012) 1 - p. 56-59 , 2012

Link: https://doi.org/10.1145/..

13

Using lightweight modeling to understand chord:

Zave, Pamela
ACM SIGCOMM Computer Communication Review. 42 (2012) 2 - p. 49-57 , 2012

Link: https://dl.acm.org/doi/1..

14

Using lightweight modeling to understand chord:

Zave, Pamela
ACM SIGCOMM Computer Communication Review. 42 (2012) 2 - p. 49-57 , 2012

Link: https://doi.org/10.1145/..

15

The geomorphic view of networking : a network model and ..:

, In: Proceedings of the 7th Workshop on Middleware for Next Generation Internet Computing,

Zave, Pamela ; Rexford, Jennifer - p. 1-6 , 2012

Link: https://dl.acm.org/doi/1..