Jacques Malenfant - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged introspection

Creative Introspection and Knowledge AcquisitionTony Veale, Guofu Li. AAAI 2011: 1243-1248 [doi]

Bringing Introspection Into the BlobSeer Data-Management System Using the MonALISA Distributed Monitoring FrameworkAlexandra Carpen-Amarie, Jing Cai, Alexandru Costan, Gabriel Antoniu, Luc Bougé. cisis 2010: 508-513 [doi]

DKSM: Subverting Virtual Machine Introspection for Fun and ProfitSina Bahram, Xuxian Jiang, Zhi Wang, Mike Grace, Jinku Li, Deepa Srinivasan, Junghwan Rhee, Dongyan Xu. srds 2010: 82-91 [doi]

Endpoint Configuration Compliance Monitoring via Virtual Machine IntrospectionDarrell M. Kienzle, Ryan Persaud, Matthew C. Elder. hicss 2010: 1-10 [doi]

Toward a better Syllabus: Entropy-Driven Introspection for Alternative Lesson PlansAnestis A. Toptsis. cit, 17(4):335-346, 2009. [doi]

Green IntrospectionKirk W. Cameron. Computer, 42(1):101-103, 2009. [doi]

The effects of introspection on creating privacy policyStephanie Trudeau, Sara Sinclair, Sean W. Smith. wpes 2009: 1-10 [doi]

Investigating the Implications of Virtual Machine Introspection for Digital ForensicsKara L. Nance, Brian Hay, Matt Bishop. IEEEares 2009: 1024-1029 [doi]

IntrospectionMorten Overgaard. scholarpedia, 3(5):4953, 2008. [doi]

Enforcing authorization policies using transactional memory introspectionArnar Birgisson, Mohan Dhawan, Úlfar Erlingsson, Vinod Ganapathy, Liviu Iftode. ccs 2008: 223-234 [doi]

VICI Virtual Machine Introspection for Cognitive ImmunityTimothy Fraser, Matthew R. Evenson, William A. Arbaugh. acsac 2008: 87-96 [doi]

Virtual Machine Introspection: Observation or Interference?Kara L. Nance, Matt Bishop, Brian Hay. ieeesp, 6(5):32-37, 2008. [doi]

Inexact knowledge, margin for error and positive introspectionJulien Dutant. tark 2007: 118-124 [doi]

Introspection & rememberingJosef Perner, Daniela Kloo, Elisabeth Stöttinger. synthese, 159(2):253-270, 2007. [doi]

3D Integration for IntrospectionShashidhar Mysore, Banit Agrawal, Navin Srivastava, Sheng-Chih Lin, Kaustav Banerjee, Timothy Sherwood. micro, 27(1):77-83, 2007. [doi]

Building Trustworthy Intrusion Detection through VM IntrospectionFabrizio Baiardi, Daniele Sgandurra. IEEEias 2007: 209-214 [doi]

Ubiquitous Memory IntrospectionQin Zhao, Rodric M. Rabbah, Saman P. Amarasinghe, Larry Rudolph, Weng-Fai Wong. CGO 2007: 299-311 [doi]

Valuation Uncertainty and Imperfect Introspection in Second-Price AuctionsDavid R. M. Thompson, Kevin Leyton-Brown. AAAI 2007: 148-153

Introspection on control-grounded capabilities - a task allocation study case in robot soccerChristian G. Quintero, Salvador Ibarra, Josep Lluís de la Rosa, Josep Vehí. icinco 2007: 461-467

A Verification Tool Implementation using Introspection MechanismMichel Metzger, Frederic Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid. fdl 2006: 265-272 [doi]

Dynamic and Generic Manipulation of Models: From Introspection to ScriptingChristophe Tombelle, Gilles Vanwormhoudt. MoDELS 2006: 395-409 [doi]

Robot introspection through learned hidden Markov modelsMaria Fox, Malik Ghallab, Guillaume Infantes, Derek Long. ai, 170(2):59-113, 2006. [doi]

Belief Change with Noisy Sensing and IntrospectionSteven Shapiro. Dagstuhl 2005: [doi]

Configuration and Introspection of Situated User SupportStephan Baldes, Alexander Kröner, Mathias Bauer. lwa 2005: 3-7

Towards a General Template Introspection LibraryIstván Zólyomi, Zoltán Porkoláb. GPCE 2004: 266-282 [doi]

Using Design Patterns for Type Unification and Introspection in SystemCLuc Charest, El Mostapha Aboulhamid, Guy Bois. iwsoc 2004: 45-50 [doi]

Maximal Introspection of AgentsThomas Bolander. ENTCS, 70(5):183-198, 2002. [doi]

Maximal Introspection of AgentsThomas Bolander. clima 2002: 163-176

Separating Introspection and Intercession to Support Metamorphic Distributed SystemsEric P. Kasten, Philip K. McKinley, Seyed Masoud Sadjadi, R. E. Kurt Stirewalt. icdcsw 2002: 465-472 [doi]

Introspection: A register transfer level technique for cocurrent error detection and diagnosis in data dominated designsRamesh Karri, Balakrishnan Iyer. todaes, 6(4):505-515, 2001. [doi]

Heterogeneous process state capture and recovery through Process IntrospectionAdam Ferrari, Steve J. Chapin, Andrew S. Grimshaw. cluster, 3(2):63-73, 2000.

Combining Introspection and Communication with Rationality and Reactivity in AgentsPierangelo Dell Acqua, Fariba Sadri, Francesca Toni. jelia 1998: 17-32 [doi]

A Semantics of Introspection in a Reflective Prototype-Based LanguageJacques Malenfant, Christophe Dony, Pierre Cointe. lisp, 9(2-3):153-179, 1996.

Introspection: A Low Overhead Binding Technique During Self-Diagnosing Microarchitecture SynthesisBalakrishnan Iyer, Ramesh Karri. dac 1996: 137-142 [doi]

Limited Reasoning in First-Order Knowledge Bases with Full IntrospectionGerhard Lakemeyer. ai, 84(1-2):209-255, 1996. [doi]

Experience, introspection and expertise: Learning to refine the case-based reasoning processDavid B. Leake. jetai, 8(3-4):319-339, 1996.

Case-Based IntrospectionMichael T. Cox. AAAI 1994: 1435

A Scheme for Weakened Negative Introspection in Autoepistemic ReasoningTomi Janhunen, Ilkka Niemelä. kgc 1993: 211-222

On Perfect Introspection With Quantifying-inGerhard Lakemeyer. tark 1992: 199-213

On perfect introspection with Quantifying-inGerhard Lakemeyer. FUIN, 17(1-2):75-98, 1992.

Bounding Introspection in Nonmonotonic LogicGrigori Schwarz. kr 1992: 581-590

Strong IntrospectionMichael Gelfond. AAAI 1991: 386-391

Autoepistemic Expansions with Incomplete Belief IntrospectionJürgen Kalinski. nil 1991: 223-232

Decidable Reasoning in First-Order Knowledge Bases with Perfect IntrospectionGerhard Lakemeyer. AAAI 1990: 531-537

A Tractable Knowledge Representation Service with Full IntrospectionGerhard Lakemeyer, Hector J. Levesque. tark 1988: 145-159

Circumscription as IntrospectionDonald Perlis. ismis 1987: 440-444

Reflection as a Tool for Integration: An Exercise in Procedural IntrospectionRobert Ghislanzoni, Luca Spampinato, Giorgio Tornielli. IJCAI 1987: 44-47

Introspection in Knowledge RepresentationPattie Maes. ecai 1986: 249-262

A Computational Theory of Belief IntrospectionKurt Konolige. IJCAI 1985: 502-508

Automaton IntrospectionRichard Laing. jcss, 13(2):172-183, 1976.

runs on WebDSL