СТ |
EROS: A Fast Capability System |
1999 |
Shapiro J. S., Smith J. M., Farber D. J. |
|
|
|
Operating Systems Review |
19.04.2000 |
СТ |
Activating Networks: A Progress Report |
1999 |
Smith J. M., Calvert K. L., Murphy S. L., Orman H. L., Peterson L. L. |
|
|
|
Computer |
20.08.1999 |
СТ |
Protocol Boosters: Applying Programmability to Network Infrastructures |
1998 |
Marcus W. S., Hadzic I., Mcauley A. J., Smith J. M. |
|
|
|
IEEE Communications Magazine |
26.11.1998 |
СТ |
Safety and Security of Programmable Network Infrastructures |
1998 |
Alexander D. S., Arbaugh W. A., Keromytis A. D., Smith J. M. |
|
|
|
IEEE Communications Magazine |
26.11.1998 |
СТ |
Kleene s Slash and Existence of Values of Open Terms in Type Theory |
1993 |
Smith J. M. |
|
|
|
Lecture Notes in Computer Science |
06.11.1993 |