-
1
-
-
40549097559
-
The value proposition for fractionated space architectures
-
O. Brown and P. Eremenko, "The Value Proposition for Fractionated Space Architectures," AIAA Paper 2006-7506, 2006.
-
(2006)
AIAA Paper 2006-7506
-
-
Brown, O.1
Eremenko, P.2
-
2
-
-
0345565888
-
The many faces of publish/subscribe
-
P. T. Eugster, P. A. Felber, R. Guerraoui, and A.-M. Kermarrec, "The many faces of publish/subscribe," ACM Computing Surveys (CSUR), vol. 35, no. 2, pp. 114-131, 2003.
-
(2003)
ACM Computing Surveys (CSUR)
, vol.35
, Issue.2
, pp. 114-131
-
-
Eugster, P.T.1
Felber, P.A.2
Guerraoui, R.3
Kermarrec, A.-M.4
-
3
-
-
84920534787
-
Nasa's software architecture review board's (sarb) findings from the review of gsfc's core flight executive/core flight software
-
L. Fesq and D. Dvorak, "Nasa's software architecture review board's (sarb) findings from the review of gsfc's "core flight executive/core flight software"," in Workshop on Spacecraft Flight Software (FSW), 2012.
-
(2012)
Workshop on Spacecraft Flight Software (FSW)
-
-
Fesq, L.1
Dvorak, D.2
-
7
-
-
84861163278
-
A software platform for fractionated spacecraft
-
Big Sky, MT, USA: IEEE, Mar. 2012
-
A. Dubey, W. Emfinger, A. Gokhale, G. Karsai, W. Otte, J. Parsons, C. Szabo, A. Coglio, E. Smith, and P. Bose, "A Software Platform for Fractionated Spacecraft," in Proceedings of the IEEE Aerospace Conference, 2012. Big Sky, MT, USA: IEEE, Mar. 2012, pp. 1-20.
-
(2012)
Proceedings of the IEEE Aerospace Conference
, pp. 1-20
-
-
Dubey, A.1
Emfinger, W.2
Gokhale, A.3
Karsai, G.4
Otte, W.5
Parsons, J.6
Szabo, C.7
Coglio, A.8
Smith, E.9
Bose, P.10
-
8
-
-
84897082425
-
Distributed real-time managed systems: A model-driven distributed secure information architecture platform for managed embedded systems
-
T. Levendovszky, A. Dubey, W. R. Otte, D. Balasubramanian, A. Coglio, S. Nyako, W. Emfinger, P. Kumar, A. Gokhale, and G. Karsai, "Distributed real-time managed systems: A model-driven distributed secure information architecture platform for managed embedded systems," IEEE Software, vol. 31, no. 2, pp. 62-69, 2014.
-
(2014)
IEEE Software
, vol.31
, Issue.2
, pp. 62-69
-
-
Levendovszky, T.1
Dubey, A.2
Otte, W.R.3
Balasubramanian, D.4
Coglio, A.5
Nyako, S.6
Emfinger, W.7
Kumar, P.8
Gokhale, A.9
Karsai, G.10
-
9
-
-
85041481084
-
The design and verification of secure systems
-
ACM Operating Systems Review, Asilomar, CA, Dec.
-
J. Rushby, "The design and verification of secure systems," in Eighth ACM Symposium on Operating System Principles (SOSP), Asilomar, CA, Dec. 1981, pp. 12-21, (ACM Operating Systems Review, Vol. 15, No. 5).
-
(1981)
Eighth ACM Symposium on Operating System Principles (SOSP)
, vol.15
, Issue.5
, pp. 12-21
-
-
Rushby, J.1
-
11
-
-
84861174671
-
-
presented at the F6 Security Kickoff
-
O. Sibert, "Multiple-domain labels," 2011, presented at the F6 Security Kickoff.
-
(2011)
Multiple-domain Labels
-
-
Sibert, O.1
-
16
-
-
84889639018
-
Embedding authentication & authorization in discovery protocols for standard based publish/subscribe middleware: A performance evaluation
-
F. Ronci and M. Listanti, "Embedding authentication & authorization in discovery protocols for standard based publish/subscribe middleware: A performance evaluation," Communications and Network, vol. 3, no. 1, pp. 39-49, 2011.
-
(2011)
Communications and Network
, vol.3
, Issue.1
, pp. 39-49
-
-
Ronci, F.1
Listanti, M.2
-
17
-
-
57549093852
-
Access control in publish/subscribe systems
-
J. Bacon, D. M. Eyers, J. Singh, and P. R. Pietzuch, "Access control in publish/subscribe systems," in Proceedings of the second international conference on Distributed event-based systems. ACM, 2008, pp. 23-34.
-
(2008)
Proceedings of the Second International Conference on Distributed Event-based Systems. ACM
, pp. 23-34
-
-
Bacon, J.1
Eyers, D.M.2
Singh, J.3
Pietzuch, P.R.4
-
18
-
-
84866625455
-
A secure content network in space
-
C. Partridge, R. Walsh, M. Gillen, G. Lauer, J. Lowry, W. T. Strayer, D. Kong, D. Levin, J. Loyall, and M. Paulitsch, "A secure content network in space," in Proceedings of the seventh ACM international workshop on Challenged networks. ACM, 2012, pp. 43-50.
-
(2012)
Proceedings of the Seventh ACM International Workshop on Challenged Networks. ACM
, pp. 43-50
-
-
Partridge, C.1
Walsh, R.2
Gillen, M.3
Lauer, G.4
Lowry, J.5
Strayer, W.T.6
Kong, D.7
Levin, D.8
Loyall, J.9
Paulitsch, M.10
-
19
-
-
79960535780
-
Automating information flow control in component-based distributed systems
-
T. Abdellatif, L. Sfaxi, R. Robbana, and Y. Lakhnech, "Automating information flow control in component-based distributed systems," in Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering. ACM, 2011, pp. 73-82.
-
(2011)
Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering. ACM
, pp. 73-82
-
-
Abdellatif, T.1
Sfaxi, L.2
Robbana, R.3
Lakhnech, Y.4
|