-
1
-
-
77749271723
-
Towards a Language and System for Secure Networking
-
M. Abadi and B. T. Loo. Towards a Language and System for Secure Networking. In NetDB, 2007.
-
(2007)
NetDB
-
-
Abadi, M.1
Loo, B.T.2
-
2
-
-
50249120770
-
-
Anonymous. Paper is under submission
-
Anonymous. Paper is under submission.
-
-
-
-
6
-
-
0026913667
-
Symbolic boolean manipulation with ordered binary decision diagrams
-
R. E. Bryant. Symbolic boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys, 24(3), 1992.
-
(1992)
ACM Computing Surveys
, vol.24
, Issue.3
-
-
Bryant, R.E.1
-
7
-
-
0002439387
-
Why and where: A characterization of data provenance
-
P. Buneman, S. Khanna, and W. C. Tan. Why and where: A characterization of data provenance. In ICDT, 2001.
-
(2001)
ICDT
-
-
Buneman, P.1
Khanna, S.2
Tan, W.C.3
-
8
-
-
85094320514
-
Friday: Global Comprehension for Distributed Replay
-
D. Geels, G. Altekar, P. Maniatis, T. Roscoe, and I. Stoica. Friday: Global Comprehension for Distributed Replay. In USENIX Symposium on Networked Systems Design and Implementation, 2007.
-
(2007)
USENIX Symposium on Networked Systems Design and Implementation
-
-
Geels, D.1
Altekar, G.2
Maniatis, P.3
Roscoe, T.4
Stoica, I.5
-
11
-
-
33845207907
-
PlanetFlow: Maintaining accountability for network services
-
Jan
-
M. Huang, A. Bavier, and L. Peterson. PlanetFlow: Maintaining accountability for network services. Operating Systems Review, 40(1):89-94. Jan. 2006.
-
(2006)
Operating Systems Review
, vol.40
, Issue.1
, pp. 89-94
-
-
Huang, M.1
Bavier, A.2
Peterson, L.3
-
12
-
-
33749662509
-
ORCHESTRA: Rapid, collaborative sharing of dynamic data
-
January
-
Z. Ives, N. Khandelwal, A. Kapur, and M. Cakir. ORCHESTRA: Rapid, collaborative sharing of dynamic data. In CIDR, January 2005.
-
(2005)
CIDR
-
-
Ives, Z.1
Khandelwal, N.2
Kapur, A.3
Cakir, M.4
-
13
-
-
84878718671
-
Building a time machine for efficient recording and retrieval of high-volume network traffic
-
S. Kornexl, V. Paxson, H. Dreger, A. Feldmann, and R. Sommer. Building a time machine for efficient recording and retrieval of high-volume network traffic. In Internet Measurement Conference (IMC), 2005.
-
(2005)
Internet Measurement Conference (IMC)
-
-
Kornexl, S.1
Paxson, V.2
Dreger, H.3
Feldmann, A.4
Sommer, R.5
-
15
-
-
34250652156
-
Declarative Networking: Language, Execution and Optimization
-
June
-
B. T. Loo, T. Condie, M. Garofalakis. D. E. Gay, J. M. Hellerstein, P. Maniatis, R. Ramakrishnan, T. Roscoe, and I. Stoica. Declarative Networking: Language, Execution and Optimization. In ACM SIGMOD, June 2006.
-
(2006)
ACM SIGMOD
-
-
Loo, B.T.1
Condie, T.2
Garofalakis, M.3
Gay, D.E.4
Hellerstein, J.M.5
Maniatis, P.6
Ramakrishnan, R.7
Roscoe, T.8
Stoica, I.9
-
16
-
-
84885583527
-
Implementing Declarative Overlays
-
B. T. Loo, T. Condie, J. M. Hellerstein, P. Maniatis, T. Roseoe, and I. Stoica. Implementing Declarative Overlays. In ACM SOSP, 2005.
-
(2005)
ACM SOSP
-
-
Loo, B.T.1
Condie, T.2
Hellerstein, J.M.3
Maniatis, P.4
Roseoe, T.5
Stoica, I.6
-
19
-
-
58149319645
-
A Survey of Research on Deductive Database Systems
-
R. Ramakrishnan and J. D. Ullman. A Survey of Research on Deductive Database Systems. Journal of Logic Programming, 23(2):125-149, 1993.
-
(1993)
Journal of Logic Programming
, vol.23
, Issue.2
, pp. 125-149
-
-
Ramakrishnan, R.1
Ullman, J.D.2
-
20
-
-
0033204602
-
A model, analysis, and protocol framework for soft state-based communication
-
S. Raman and S. McCanne. A model, analysis, and protocol framework for soft state-based communication. In SIGCOMM, pages 15-25, 1999.
-
(1999)
SIGCOMM
, pp. 15-25
-
-
Raman, S.1
McCanne, S.2
-
21
-
-
77957793926
-
Pip: Detecting the Unexpected in Distributed Systems
-
P. Reynolds, C. Killian, J. L. Wiener, J. C. Mogul, M. A. Shah, and A. Vahdat. Pip: Detecting the Unexpected in Distributed Systems. In USENIX Symposium on Networked Systems Design and Implementation, 2006.
-
(2006)
USENIX Symposium on Networked Systems Design and Implementation
-
-
Reynolds, P.1
Killian, C.2
Wiener, J.L.3
Mogul, J.C.4
Shah, M.A.5
Vahdat, A.6
-
25
-
-
0034782005
-
Chord: A Scalable Peer-to-Peer Lookup Service for Internet Applications
-
I. Stoica, R. Morris, D. Karger, M. F. Kaashoek, and H. Balakrishnan. Chord: A Scalable Peer-to-Peer Lookup Service for Internet Applications. In Proceedings of ACM SIGCOMM Conference on Data Communication, 2001.
-
(2001)
Proceedings of ACM SIGCOMM Conference on Data Communication
-
-
Stoica, I.1
Morris, R.2
Karger, D.3
Kaashoek, M.F.4
Balakrishnan, H.5
-
26
-
-
50249179303
-
Forensic analysis for epidemic attacks in federated networks
-
IEEE Computer Society, May
-
Y. Xie, V. Sekar, M. K. Reiter, and H. Zhang. Forensic analysis for epidemic attacks in federated networks. In Proc. of the 2001 IEEE Symposium on Security and Privacy, pages 43-53. IEEE Computer Society, May 2001.
-
(2001)
Proc. of the 2001 IEEE Symposium on Security and Privacy
, pp. 43-53
-
-
Xie, Y.1
Sekar, V.2
Reiter, M.K.3
Zhang, H.4
|