John P. McDermott

88 papers A* 18A 14B 6C 3Journal 33Unranked 13

Year	Rank	Type	Title / Venue / Authors
2012	A	`conf`	Separation virtual machine monitors. ACSAC John P. McDermott, Bruce E. Montrose, Margery Li, James Kirby, Myong H. Kang
2012	—	`conf`	The Xenon separation VMM: Secure virtualization infrastructure for military clouds. MILCOM John P. McDermott, Bruce E. Montrose, Margery Li, James Kirby, Myong H. Kang
2011	J	`jnl`	Formal methods for security in the Xenon hypervisor. Int. J. Softw. Tools Technol. Transf. Leo Freitas, John P. McDermott
2011	A	`ed.`	Twenty-Seventh Annual Computer Security Applications Conference, ACSAC 2011, Orlando, FL, USA, 5-9 December 2011 ACSAC Robert H'obbes' Zakon, John P. McDermott, Michael E. Locasto
2010	—	`conf`	Fine-Grained Inspection for Higher-Assurance Software Security in Open Source. HICSS John P. McDermott
2010	—	`conf`	Security and Architectural Issues for National Security Cloud Computing. ICDCS Workshops Anya Kim, John P. McDermott, Myong H. Kang
2010	A	`ed.`	Twenty-Sixth Annual Computer Security Applications Conference, ACSAC 2010, Austin, Texas, USA, 6-10 December 2010 ACSAC Carrie Gates, Michael Franz, John P. McDermott
2010	—	`conf`	Using formal methods for security in the Xenon project. CSIIRW John P. McDermott, Leo Freitas
2008	—	`conf`	A formal security policy for xenon. FMSE John P. McDermott, Leo Freitas
2008	J	`jnl`	Re-engineering Xen internals for higher-assurance security. Inf. Secur. Tech. Rep. John P. McDermott, James Kirby, Bruce E. Montrose, Travis Johnson, Myong H. Kang
2005	A	`conf`	Highlights from the 2005 New Security Paradigms Workshop. ACSAC Simon N. Foley, Abe Singer, Michael E. Locasto, Stelios Sidiroglou, Angelos D. Keromytis, John P. McDermott, Julie Thorpe, Paul C. van Oorschot, Anil Somayaji, Richard Ford, Mark Bush, Alex Boulatov
2005	C	`conf`	Visual security protocol modeling. NSPW John P. McDermott
2003	C	`conf`	Merging paradigms of survivability and security: stochastic faults and designed faults. NSPW John P. McDermott, Anya Kim, Judith N. Froscher
2001	A	`conf`	Abuse-Case-Based Assurance Arguments. ACSAC John P. McDermott
1999	A	`conf`	Using Abuse Case Models for Security Requirements Analysis. ACSAC John P. McDermott, Chris Fox
1998	C	`conf`	Position Paper: Prolepsis on the Problem of Trojan-horse Based Integrity Attacks. Workshop on New Security Paradigms John P. McDermott
1997	A	`conf`	Doc, Wyatt, and Virgil: Prototyping Storage Jamming Defenses. ACSAC John P. McDermott, R. Gelinas, S. Ornstein
1997	B	`conf`	Replication Does Survive Information Warfare Attacks. DBSec John P. McDermott
1996	J	`jnl`	A Performance Comparison of Five Transaction Processing Algorithms for the SINTRA Replicated-Architecture Database system. J. Comput. Secur. John P. McDermott, Ravi Mukkamala
1996	A	`conf`	Computer Support for Clinical Practice: Embedding and Evolving Protocols of Care. CSCW Barbara Katzenberg, Fred Pickard, John P. McDermott
1996	—	`conf`	Towards a model of storage jamming. CSFW John P. McDermott, David M. Goldschlag
1995	B	`conf`	Storage Jamming. DBSec John P. McDermott, David M. Goldschlag
1994	J	`jnl`	A Taxonomy of Computer Program Security Flaws. ACM Comput. Surv. Carl E. Landwehr, Alan R. Bull, John P. McDermott, William S. Choi
1994	A	`conf`	A practical approach to high assurance multilevel secure computing service. ACSAC Judith N. Froscher, Myong H. Kang, John P. McDermott, Oliver Costich, Carl E. Landwehr
1994	—	`conf`	Confidentiality in a Replicated Architecture Trusted Database System: A Formal Model. CSFW Oliver Costich, John McLean, John P. McDermott
1994	J	`jnl`	Experience with a Learning Personal Assistant. Commun. ACM Tom M. Mitchell, Rich Caruana, Dayne Freitag, John P. McDermott, David Zabowski
1994	J	`jnl`	Exploiting problem descriptions to provide assistance with the Sisyphus task. Int. J. Hum. Comput. Stud. Georg Klinker, Marc Linster, David Marques, John P. McDermott, Gregg Yost
1994	A	`conf`	Meaning-Making in the Creation of Useful Summary Reports. CSCW Barbara Katzenberg, John P. McDermott
1994	B	`conf`	The SBF Framework, 1989-1994: From Applications to Workplaces. EKAW Gregg Yost, Georg Klinker, Marc Linster, David Marques, John P. McDermott
1994	B	`conf`	The b²/c³ Problem: How Big Buffers Overcome Convert Channel Cynicism in Trusted Database Systems. DBSec John P. McDermott
1993	B	`conf`	Performance Analysis of Transaction Management Algorithms for the SINTRA Replicated-Architecture Database System. DBSec John P. McDermott, Ravi Mukkamala
1993	J	`jnl`	R1 ("XCON") at Age 12: Lessons from an Elementary School Achiever. Artif. Intell. John P. McDermott
1993	J	`jnl`	The Active Glossary: taking integration seriously. Knowl. Acquis. Georg Klinker, David Marques, John P. McDermott
1992	A*	`conf`	A Personal Learning Apprentice. AAAI C. Lisa Dent, Jesus Boticario, John P. McDermott, Tom M. Mitchell, David Zabowski
1992	—	`conf`	A multilevel transaction problem for multilevel secure database systems and its solution for the replicated architecture. S&P Oliver Costich, John P. McDermott
1992	J	`jnl`	Easy Programming: Empowering People to Build Their Own Applications. IEEE Expert David Marques, Geoffroy Dallemagne, Georg Klinker, John P. McDermott, David Tung
1992	B	`conf`	Orange Locking: Channel-Free Database Concurrency Control Via Locking. DBSec John P. McDermott, Sushil Jajodia
1991	A	`conf`	A single-level scheduler for the replicated architecture for multilevel-secure databases. ACSAC John P. McDermott, Sushil Jajodia, Ravi S. Sandhu
1991	—	`ch.`	Justification-Based Refinement of Expert Knowledge. Knowledge Discovery in Databases Jeffrey C. Schlimmer, Tom M. Mitchell, John P. McDermott
1991	—	`conf`	Making Application Programming More Worthwile. Contemporary Knowledge Engineering and Cognition Geoffroy Dallemagne, Georg Klinker, David Marques, John P. McDermott, David Tung
1991	J	`jnl`	Usable and reusable programming constructs. Knowl. Acquis. Georg Klinker, Carlos Bhola, Geoffroy Dallemagne, David Marques, John P. McDermott
1990	A*	`conf`	Developing Software is like Talking to Eskimos about Snow. AAAI John P. McDermott
1990	A	`conf`	Informal top-level specifications for trusted application systems. ACSAC John P. McDermott, Judith N. Froscher, Christian N. Payne, Herman Otto Lubbes
1990	A	`conf`	On models for a trusted application system. ACSAC Christian N. Payne, Judith N. Froscher, John P. McDermott
1990	A	`conf`	Successful acquisition of certifiable application systems (or: How not to shake hands with the tar baby). ACSAC Judith N. Froscher, John P. McDermott, Christian N. Payne, Herman Otto Lubbes
1989	J	`jnl`	Building expert systems with KNACK. Knowl. Acquis. Georg Klinker, Casey Boyd, David Dong, Jon Maiman, John P. McDermott, Robert Schnelbach
1989	J	`jnl`	SALT: A Knowledge Acquisition Language for Propose-and-Revise Systems. Artif. Intell. Sandra Marcus, John P. McDermott
1989	J	`jnl`	The World Would Be a Better Place if Non-Programmers Could Program. Mach. Learn. John P. McDermott
1988	J	`jnl`	Knowledge Acquisition for Evaluation Systems. Int. J. Man Mach. Stud. Georg Klinker, Serge Genetet, John P. McDermott
1988	J	`jnl`	Toward Automating Recognition of Differing Problem-Solving Demands. Int. J. Man Mach. Stud. Jeffrey Stout, Gilbert Caplain, Sandra Marcus, John P. McDermott
1988	J	`jnl`	VT: An Expert Elevator Designer That Uses Knowledge-Based Backtracking. AI Mag. Sandra Marcus, Jeffrey Stout, John P. McDermott
1987	A*	`conf`	A KNACK for Knowledge Acquisition. AAAI Georg Klinker, Casey Boyd, Serge Genetet, John P. McDermott
1987	J	`jnl`	KNACK - Report-Driven Knowledge Acquisition. Int. J. Man Mach. Stud. Georg Klinker, Joel Bentolila, Serge Genetet, Michael Grimes, John P. McDermott
1987	J	`jnl`	MOLE: A Tenacious Knowledge-Acquisition Tool. Int. J. Man Mach. Stud. Larry J. Eshelman, Damien Ehret, John P. McDermott, Ming Tan
1987	A*	`ed.`	Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, Italy, August 23-28, 1987 IJCAI John P. McDermott
1986	J	`jnl`	Computer Aids for IC Design. IEEE Softw. Jin Kim, John P. McDermott
1986	A*	`conf`	MOLE: A Knowledge Acquisition Tool that Uses its Head. AAAI Larry J. Eshelman, John P. McDermott
1986	—	`conf`	Making Expert Systems Explicit (Invited Paper). IFIP Congress John P. McDermott
1986	A*	`conf`	Panel: Directions for Expert Systems. AAAI Janice S. Aikins, Frederick Hayes-Roth, John P. McDermott, Herbert Schorr, Reid G. Smith
1986	A*	`conf`	Panel: Knowledge Representation Meets Knowledge Acquisition: What Are the Needs and Where Is the Leverage? AAAI Robert Neches, Richard Fikes, Casimir A. Kulikowski, John P. McDermott, Ramesh S. Patil
1986	J	`jnl`	The Mud System. IEEE Expert Gary S. Kahn, John P. McDermott
1986	J	`jnl`	The Taming of R1. IEEE Expert Arnold van de Brug, Judith Bachant, John P. McDermott
1985	—	`conf`	Doing R1 with Style. CAIA Arnold van de Brug, Judith Bachant, John P. McDermott
1985	A*	`conf`	Knowledge Acquisition for Constructive Systems. IJCAI Sandra Marcus, John P. McDermott, Tianran Wang
1985	A*	`conf`	MORE: An Intelligent Knowledge Acquisition Tool. IJCAI Gary S. Kahn, Steven J. Nowlan, John P. McDermott
1985	J	`jnl`	R1-Soar: An Experiment in Knowledge-Intensive Programming in a Problem-Solving Architecture. IEEE Trans. Pattern Anal. Mach. Intell. Paul S. Rosenbloom, John E. Laird, John P. McDermott, Allen Newell, Edmund Orciuch
1985	J	`jnl`	Rule-Based Interpretation of Aerial Imagery. IEEE Trans. Pattern Anal. Mach. Intell. David M. McKeown Jr., Wilson A. Harvey, John P. McDermott
1985	J	`jnl`	Strategies for Knowledge Acquisition. IEEE Trans. Pattern Anal. Mach. Intell. Gary S. Kahn, Steven J. Nowlan, John P. McDermott
1985	J	`jnl`	The Dark Ages of AI: A Panel Discussion at AAAI-84. AI Mag. Drew V. McDermott, M. Mitchell Waldrop, B. Chandrasekaran, John P. McDermott, Roger C. Schank
1985	—	`conf`	The Role of Databases in Knowledge-Based Systems. On Knowledge Base Management Systems (Islamorada) Mark S. Fox, John P. McDermott
1985	—	`conf`	Where Knowledge Acquisition Tools Fit in the Scheme of Things. CAIA John P. McDermott
1984	J	`jnl`	R1 Revisited: Four Years in the Trenches. AI Mag. John P. McDermott, Judith Bachant
1983	A*	`conf`	Decision-Making in Time-Critical Situations. IJCAI Shoichi Masui, John P. McDermott, Alan Sobel
1983	A*	`conf`	Extracting Knowledge From Expert Systems. IJCAI John P. McDermott
1983	A*	`conf`	TALIB: An IC Layout Design Assistant. AAAI Jin Kim, John P. McDermott
1983	J	`jnl`	The Knowledge Engineering Process. IEEE Database Eng. Bull. John P. McDermott
1982	J	`jnl`	R1: A Rule-Based Configurer of Computer Systems. Artif. Intell. John P. McDermott
1981	A*	`conf`	Extending a Knowledge-Based System to Deal with Ad Hoc Constraints. IJCAI John P. McDermott, Barbara Steele
1980	J	`jnl`	Nils J. Nilsson, Principles of Artificial lntelligence. Artif. Intell. John P. McDermott
1980	J	`jnl`	R1: The Formative Years. AI Mag. John P. McDermott
1980	A*	`conf`	RI: an Expert in the Computer Systems Domain. AAAI John P. McDermott
1978	J	`jnl`	An Interference Matching Technique for Inducing Abstractions. Commun. ACM Frederick Hayes-Roth, John P. McDermott
1977	A*	`conf`	Knowledge Acquisition from Structural Descriptions. IJCAI Frederick Hayes-Roth, John P. McDermott
1977	A*	`conf`	Less Than General Production System Architectures. IJCAI Douglas B. Lenat, John P. McDermott
1977	A*	`conf`	OPS, A Domain-Independent Production System Language. IJCAI Charles Forgy, John P. McDermott
1977	A*	`conf`	Problems in Building an Instructable Production System. IJCAI Michael D. Rychener, Charles Forgy, Pat Langley, John P. McDermott, Allen Newell, K. Ramakrishna
1977	J	`jnl`	Production system conflict resolution strategies. SIGART Newsl. John P. McDermott, Charles Forgy
1977	J	`jnl`	The efficiency of certain production system implementations. SIGART Newsl. John P. McDermott, Allen Newell, J. Moore