关注
Mark S. Miller
Mark S. Miller
Chief Scientist, Agoric
在 agoric.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Diverse goods arbitration system and method for allocating resources in a distributed computer system
MS Miller, ED Tribble, N Hardy, CT Hibbert
US Patent 5,640,569, 1997
6551997
Robust composition: Towards a unified approach to access control and concurrency control
M Miller
Johns Hopkins University, 2006
4422006
Markets and computation: Agoric open systems
MS Miller, KE Drexler
The ecology of computation 1, 1988
3841988
Persistent distributed capabilities
MS Miller, N Hardy, ED Tribble, CT Hibbert, EC Hill
US Patent 6,049,838, 2000
2242000
Concurrency among strangers: Programming in E as plan coordination
MS Miller, ED Tribble, J Shapiro
Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh …, 2005
2132005
Capability myths demolished
MS Miller, KP Yee, J Shapiro
Technical Report SRL2003-02, Johns Hopkins University Systems Research …, 2003
2022003
Caja: Safe active content in sanitized JavaScript
MS Miller, M Samuel, B Laurie, I Awad, M Stay
Tech. Rep., Google, Inc, 2008
194*2008
Incentive engineering for computational resource management
KE Drexler, MS Miller
The ecology of Computation 2, 231-266, 1988
1721988
Automated analysis of security-critical javascript apis
A Taly, Ú Erlingsson, JC Mitchell, MS Miller, J Nagra
2011 IEEE Symposium on Security and Privacy, 363-378, 2011
1562011
Distributed garbage collection system and method
ED Tribble, MS Miller, N Hardy, JY Levy, EC Hill, CT Hibbert
US Patent 5,960,087, 1999
1381999
Intuitive file sharing with transparent security
MD Stiegler, AH Karp, MS Miller, TJ Close
US Patent App. 12/364,806, 2010
1212010
Proxies: design principles for robust object-oriented intercession APIs
T Van Cutsem, MS Miller
ACM Sigplan Notices 45 (12), 59-72, 2010
1062010
Vulcan: Logical concurrent objects
K Kahn, ED Tribble, M Miller, DG Bobrow
Research Directions in Object-Oriented Programming, 75-112, 1987
1061987
Paradigm regained: Abstraction mechanisms for access control
MS Miller, JS Shapiro
Annual Asian Computing Science Conference, 224-242, 2003
1002003
Capability-based financial instruments
MS Miller, C Morningstar, B Frantz
Financial Cryptography: 4th International Conference, FC 2000 Anguilla …, 2001
952001
Objects in concurrent logic programming languages
K Kahn, ED Tribble, MS Miller, DG Bobrow
Conference proceedings on Object-oriented programming systems, languages and …, 1986
881986
Polaris: virus-safe computing for Windows XP
M Stiegler, AH Karp, KP Yee, T Close, MS Miller
Communications of the ACM 49 (9), 83-88, 2006
852006
Comparative ecology: A computational perspective
MS Miller, KE Drexler
The Ecology of Computation. North-Holland, 1988
801988
Towards a verified, general-purpose operating system kernel
J Shapiro, MS Doerrie, E Northup, S Sridhar, M Miller
Klein [10], 1-19, 2004
632004
Trustworthy proxies: Virtualizing objects with invariants
T Van Cutsem, MS Miller
ECOOP 2013–Object-Oriented Programming: 27th European Conference …, 2013
602013
系统目前无法执行此操作,请稍后再试。
文章 1–20