Search results for "Introspection"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Fabrizio Baiardi, Daniele Sgandurra	Building Trustworthy Intrusion Detection through VM Introspection.	IAS	2007	DBLP DOI BibTeX RDF	integrity, network security, virtual machines, intrusion detection system, introspection
2	Brendan Dolan-Gavitt, Tim Leek, Michael Zhivich, Jonathon T. Giffin, Wenke Lee	Virtuoso: Narrowing the Semantic Gap in Virtual Machine Introspection.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	virtual machine introspection, security, virtualization, dynamic analysis
2	Sina Bahram, Xuxian Jiang, Zhi Wang, Mike Grace, Jinku Li, Deepa Srinivasan, Junghwan Rhee, Dongyan Xu	DKSM: Subverting Virtual Machine Introspection for Fun and Profit.	SRDS	2010	DBLP DOI BibTeX RDF	Direct Kernel Structure Manipulation, Virtualization, Introspection
2	Alexandra Carpen-Amarie, Jing Cai, Alexandru Costan, Gabriel Antoniu, Luc Bougé	Bringing Introspection Into the BlobSeer Data-Management System Using the MonALISA Distributed Monitoring Framework.	CISIS	2010	DBLP DOI BibTeX RDF	Distributed system, monitoring, storage management, large-scale system, introspection
2	Kirk W. Cameron	Green Introspection.	IEEE Computer	2009	DBLP DOI BibTeX RDF
2	Arnar Birgisson, Úlfar Erlingsson	An implementation and semantics for transactional memory introspection in Haskell.	PLAS	2009	DBLP DOI BibTeX RDF	transactional memory, reference monitors
2	Vasanth Rajamani, Christine Julien, Jamie Payton, Gruia-Catalin Roman	Inquiry and Introspection for Non-deterministic Queries in Mobile Networks.	FASE	2009	DBLP DOI BibTeX RDF
2	Kara L. Nance, Brian Hay, Matt Bishop	Investigating the Implications of Virtual Machine Introspection for Digital Forensics.	ARES	2009	DBLP DOI BibTeX RDF
2	Kara L. Nance, Matt Bishop, Brian Hay	Virtual Machine Introspection: Observation or Interference?	IEEE Security & Privacy	2008	DBLP DOI BibTeX RDF
2	Mirjam Minor, Daniel Schmalen, Jakob Weidlich, Andreas Koldehoff	Introspection into an Agile Workflow Engine for Long-Term Processes.	WETICE	2008	DBLP DOI BibTeX RDF	agile workflows, workflow enactment service, introspection
2	Timothy Fraser, Matthew R. Evenson, William A. Arbaugh	VICI Virtual Machine Introspection for Cognitive Immunity.	ACSAC	2008	DBLP DOI BibTeX RDF
2	Arnar Birgisson, Mohan Dhawan, Úlfar Erlingsson, Vinod Ganapathy, Liviu Iftode	Enforcing authorization policies using transactional memory introspection.	ACM Conference on Computer and Communications Security	2008	DBLP DOI BibTeX RDF	transactional memory, reference monitors
2	Abhinav Srivastava, Jonathon T. Giffin	Tamper-Resistant, Application-Aware Blocking of Malicious Network Connections.	RAID	2008	DBLP DOI BibTeX RDF	virtual machine introspection, attack prevention, Firewall
2	Anthony J. H. Simons	JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Algebraic testing, Lazy specification, Lazy systematic testing, Operational abstraction, JWalk, Unit testing, Agile methods, JUnit, State-based testing
2	Shashidhar Mysore, Banit Agrawal, Navin Srivastava, Sheng-Chih Lin, Kaustav Banerjee, Timothy Sherwood	3D Integration for Introspection.	IEEE Micro	2007	DBLP DOI BibTeX RDF	3D interconnect, 3D stacking, performance evaluation, testing, debugging, profiling
2	Qin Zhao, Rodric M. Rabbah, Saman P. Amarasinghe, Larry Rudolph, Weng-Fai Wong	Ubiquitous Memory Introspection.	CGO	2007	DBLP DOI BibTeX RDF
2	Julien Dutant	Inexact knowledge, margin for error and positive introspection.	TARK	2007	DBLP DOI BibTeX RDF
2	Michel Metzger, Frederic Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid	Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
2	Christophe Tombelle, Gilles Vanwormhoudt	Dynamic and Generic Manipulation of Models: From Introspection to Scripting.	MoDELS	2006	DBLP DOI BibTeX RDF
2	Shashidhar Mysore, Banit Agrawal, Navin Srivastava, Sheng-Chih Lin, Kaustav Banerjee, Timothy Sherwood	Introspective 3D chips.	ASPLOS	2006	DBLP DOI BibTeX RDF	3D Architectures, hardware support for profiling, introspection
2	Moinuddin K. Qureshi, Onur Mutlu, Yale N. Patt	Microarchitecture-Based Introspection: A Technique for Transient-Fault Tolerance in Microprocessors.	DSN	2005	DBLP DOI BibTeX RDF
2	Ashlesha Joshi, Samuel T. King, George W. Dunlap, Peter M. Chen	Detecting past and present intrusions through vulnerability-specific predicates.	SOSP	2005	DBLP DOI BibTeX RDF	IntroVirt, virtual-machine introspection, virtual-machine replay, vulnerability-specific predicates, intrusion detection, semantic gap
2	Zheng Wang, Dinghua Zhang, Weiping He	Using introspection and prototype driven to achieve design analysis in the process of concept generation based on information processing.	SMC	2004	DBLP DOI BibTeX RDF
2	István Zólyomi, Zoltán Porkoláb	Towards a General Template Introspection Library.	GPCE	2004	DBLP DOI BibTeX RDF
2	Luc Charest, El Mostapha Aboulhamid, Guy Bois	Using Design Patterns for Type Unification and Introspection in SystemC.	IWSOC	2004	DBLP DOI BibTeX RDF
2	Kurt Stephens	XVF: C++ introspection by extensible visitation.	SIGPLAN Notices	2003	DBLP DOI BibTeX RDF
2	Abdulmalik Al-Gahmi, Ciju John, Jonathan E. Cook, Bo Du	Supporting Quick and Dirty CORBA Introspection and Manipulation.	WCRE	2003	DBLP DOI BibTeX RDF
2	Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta	Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated.	DATE	2003	DBLP DOI BibTeX RDF
2	Suresh Chari, Pau-Chen Cheng	BlueBoX: A policy-driven, host-based intrusion detection system.	ACM Trans. Inf. Syst. Secur.	2003	DBLP DOI BibTeX RDF	system call introspection, Intrusion detection, policy, sandboxing
2	Eric P. Kasten, Philip K. McKinley, Seyed Masoud Sadjadi, R. E. Kurt Stirewalt	Separating Introspection and Intercession to Support Metamorphic Distributed Systems.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF	component design, mobile computing, wireless networks, reflection, forward error correction, adaptive middleware
2	Ramesh Karri, Balakrishnan Iyer	Introspection: A register transfer level technique for cocurrent error detection and diagnosis in data dominated designs.	ACM Trans. Design Autom. Electr. Syst.	2001	DBLP DOI BibTeX RDF	Concurrent error detection, register transfer level, on line testing
2	Sean C. Rhea, Chris Wells, Patrick R. Eaton, Dennis Geels, Ben Y. Zhao, Hakim Weatherspoon, John Kubiatowicz	Maintenance-Free Global Data Storage.	IEEE Internet Computing	2001	DBLP DOI BibTeX RDF	automatic repair, security, fault tolerance, routing, archival, distributed storage, introspection, wide-area
2	Aaron B. Brown, David L. Oppenheimer, Kimberly Keeton, Randi Thomas, John Kubiatowicz, David A. Patterson	ISTORE: Introspective Storage for Data-Intensive Network Services. (PDF / PS)	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	intelligent devices, server appliances, scalability, high availability, administration, adaptive software, introspection, self-monitoring, self-maintenance
1	Yi-Chun Chen, Jeffrey C. Ely, Xiao Luo	Note on unawareness: Negative Introspection versus AU Introspection (and KU Introspection).	Int. J. Game Theory	2012	DBLP DOI BibTeX RDF
1	Alexandra Carpen-Amarie, Alexandru Costan, Jing Cai, Gabriel Antoniu, Luc Bougé	Bringing introspection into BlobSeer: Towards a self-adaptive distributed data management system.	Applied Mathematics and Computer Science	2011	DBLP DOI BibTeX RDF
1	Bryan D. Payne	Virtual Machine Introspection.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Jennia Hizver, Tzi-cker Chiueh	An Introspection-Based Memory Scraper Attack against Virtualized Point of Sale Systems.	Financial Cryptography Workshops	2011	DBLP DOI BibTeX RDF
1	Zhongshu Gu, Zhui Deng, Dongyan Xu, Xuxian Jiang	Process Implanting: A New Active Introspection Framework for Virtualization.	SRDS	2011	DBLP DOI BibTeX RDF
1	Christine Julien, Vasanth Rajamani, Jamie Payton, Gruia-Catalin Roman	Fidelity-based continuous query introspection and adaptation.	PerCom Workshops	2011	DBLP DOI BibTeX RDF
1	Jennia Hizver, Tzi-cker Chiueh	Tracking payment card data flow using virtual machine state introspection.	ACSAC	2011	DBLP DOI BibTeX RDF
1	Christian Schneider, Jonas Pfoh, Claudia Eckert	A Universal Semantic Bridge for Virtual Machine Introspection.	ICISS	2011	DBLP DOI BibTeX RDF
1	Tony Veale, Guofu Li	Creative Introspection and Knowledge Acquisition.	AAAI	2011	DBLP BibTeX RDF
1	John R. Lange, Peter A. Dinda	SymCall: symbiotic virtualization through VMM-to-guest upcalls.	VEE	2011	DBLP DOI BibTeX RDF
1	Dustyn A. Dodge, Barry E. Mullins, Gilbert L. Peterson, James S. Okolica	Simulating windows-based cyber attacks using live virtual machine introspection.	SummerSim	2010	DBLP BibTeX RDF
1	Darrell M. Kienzle, Ryan Persaud, Matthew C. Elder	Endpoint Configuration Compliance Monitoring via Virtual Machine Introspection.	HICSS	2010	DBLP DOI BibTeX RDF
1	Matthias Neugschwandtner, Christian Platzer, Paolo Milani Comparetti, Ulrich Bayer	dAnubis - Dynamic Device Driver Analysis Based on Virtual Machine Introspection.	DIMVA	2010	DBLP DOI BibTeX RDF
1	Ruo Ando, Youki Kadobayashi, Yoichi Shinoda	Blink: Large-scale P2P network monitoring and visualization system using VM introspection.	NCM	2010	DBLP BibTeX RDF
1	Gabriel Antoniu	Autonomic Cloud Storage: Challenges at Stake.	CISIS	2010	DBLP DOI BibTeX RDF	Distributed systems, cloud computing, monitoring, autonomic systems, distributed storage, large-scale systems, introspection
1	Ilya Chukhman, Peter Petrov	Context-aware TLB preloading for interference reduction in embedded multi-tasked systems.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	TLB management, real-time multi-processing
1	Tatsuma Segawa, Hiroki Ito, Masaya Doi, Machi Miyahara, Hiroya Tanaka	Inoribi: emergence of "windows" and "mirrors".	Tangible and Embedded Interaction	2010	DBLP DOI BibTeX RDF	media design, networked furniture, reflective interaction, interactive art
1	Johannes Behr, Yvonne Jung, Jens Keil, Timm Drevensek, Michael Zöllner, Peter Eschler, Dieter W. Fellner	A scalable architecture for the HTML5/X3D integration model X3DOM.	Web3D	2010	DBLP DOI BibTeX RDF	WebGL, X3D, DOM, web integration, HTML5
1	Anestis A. Toptsis	Toward a better Syllabus: Entropy-Driven Introspection for Alternative Lesson Plans.	CIT	2009	DBLP BibTeX RDF
1	Michel Metzger, Amine Anane, F. Rousseau, Julie Vachon, El Mostapha Aboulhamid	Introspection mechanisms for runtime verification in a system-level design environment.	Microelectronics Journal	2009	DBLP DOI BibTeX RDF
1	Denis Bonnay, Paul Égré	Inexact Knowledge with Introspection.	J. Philosophical Logic	2009	DBLP DOI BibTeX RDF
1	Daniel Sonntag	Introspection and Adaptable Model Integration for Dialogue-based Question Answering.	IJCAI	2009	DBLP BibTeX RDF
1	Christian Genz, Rolf Drechsler	Overcoming limitations of the SystemC data introspection.	DATE	2009	DBLP BibTeX RDF
1	Stephanie Trudeau, Sara Sinclair, Sean W. Smith	The effects of introspection on creating privacy policy.	WPES	2009	DBLP DOI BibTeX RDF
1	Martim Carbone, Weidong Cui, Long Lu, Wenke Lee, Marcus Peinado, Xuxian Jiang	Mapping kernel objects to enable systematic integrity checking.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	kernel integrity, memory analysis, malware, pointer analysis, introspection
1	Mi Zhang 0002, Guang Hu, Shi-liang Tu, ZhiLei Chai	Dynamic Electronic Design Automation concept, benefit and framework.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	dynamic EDA, system-level design language, reflection, dynamicity, Python, introspection
1	Feng Zhao, Yali Jiang, Guofu Xiang, Hai Jin, Wenbin Jiang	VRFPS: A Novel Virtual Machine-Based Real-time File Protection System.	SERA	2009	DBLP DOI BibTeX RDF	file protection, virtual machine introspection, virtual machine, sandbox
1	Wouter De Borger, Bert Lagaisse, Wouter Joosen	A generic and reflective debugging architecture to support runtime visibility and traceability of aspects.	AOSD	2009	DBLP DOI BibTeX RDF	aop, debugging architecture, traceability, visibility
1	George Triantafyllakos, George Palaigeorgiou, Ioannis A. Tsoukalas	Design alter egos: constructing and employing fictional characters in collaborative design sessions.	BCS HCI	2009	DBLP DOI BibTeX RDF	collaborative design sessions, design alter egos, fictional characters, participatory design, scenarios, students
1	Philippe Moret, Walter Binder, Alex Villazón	CCCP: complete calling context profiling in virtual execution environments.	PEPM	2009	DBLP DOI BibTeX RDF	calling context profiling, native code, java virtual machine, bytecode instrumentation
1	André van Cleeff, Wolter Pieters, Roel Wieringa	Security Implications of Virtualization: A Literature Study.	CSE	2009	DBLP DOI BibTeX RDF
1	Ayub Al-Badowi, Erbug Celebi	E-Learning Designing and the Implementation in the Light of the Australian Flexible Learning Framework: The Syrian Virtual University Roadmap to Success.	ICIW	2009	DBLP DOI BibTeX RDF
1	Lionel Seinturier, Philippe Merle, Damien Fournier, Nicolas Dolet, Valerio Schiavoni, Jean-Bernard Stefani	Reconfigurable SCA Applications with the FraSCAti Platform.	IEEE SCC	2009	DBLP DOI BibTeX RDF
1	Filippo Gioachin, Laxmikant V. Kalé	Dynamic high-level scripting in parallel applications.	IPDPS	2009	DBLP DOI BibTeX RDF
1	Daniel Knoblauch, Mauricio Hess-Flores, Mark A. Duchaineau, Falko Kuester	Factorization of Correspondence and Camera Error for Unconstrained Dense Correspondence Applications.	ISVC	2009	DBLP DOI BibTeX RDF
1	Hidenori Kurokawa	Tableaux and Hypersequents for Justification Logic.	LFCS	2009	DBLP DOI BibTeX RDF
1	Robert Saxon Milnikel	Conservativity for Logics of Justified Belief.	LFCS	2009	DBLP DOI BibTeX RDF
1	Vasanth Rajamani, Christine Julien, Jamie Payton, Gruia-Catalin Roman	PAQ: Persistent Adaptive Query Middleware for Dynamic Environments.	Middleware	2009	DBLP DOI BibTeX RDF
1	Fabrizio Baiardi, Diego Cilea, Daniele Sgandurra, Francesco Ceccarelli	Measuring Semantic Integrity for Remote Attestation.	TRUST	2009	DBLP DOI BibTeX RDF
1	Hiroko Shoji, Kazunori Fujimoto, Koichi Hori	PLASIU: a system that facilitates creative decision-making in job-hunting.	AI Soc.	2009	DBLP DOI BibTeX RDF	Creative decision making, Concept articulation, Job-hunting, Interaction, Conception
1	Daniel Sonntag	On Introspection, Metacognitive Control and Augmented Data Mining Live Cycles	CoRR	2008	DBLP BibTeX RDF
1	Morten Overgaard	Introspection.	Scholarpedia	2008	DBLP BibTeX RDF
1	Francesco Tamberi, Dario Maggiari, Daniele Sgandurra, Fabrizio Baiardi	Semantics-Driven Introspection in a Virtual Environment.	IAS	2008	DBLP DOI BibTeX RDF
1	Jérémy Buisson, Fabien Dagnat	Introspecting Continuations in Order to Update Active Code.	HotSWUp	2008	DBLP DOI BibTeX RDF	DSU, dynamic update of active code, introspection of execution states, typing, continuation, language construct, control operator
1	Bryan D. Payne, Martim Carbone, Monirul I. Sharif, Wenke Lee	Lares: An Architecture for Secure Active Monitoring Using Virtualization.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	virtualization, active monitoring, introspection
1	Jhilmil Jain, Ismail Ari, Jun Li	Designing dashboards for managing model lifecycle.	CHIMIT	2008	DBLP DOI BibTeX RDF	data mining models, model lifecycle, visualization, dashboards
1	Roman Vaculín, Katia P. Sycara	Semantic Web Services Monitoring: An OWL-S Based Approach.	HICSS	2008	DBLP DOI BibTeX RDF
1	Ruo Ando, Youki Kadobayashi, Yoichi Shinoda	An Enhancement of Trusted Domain Enforcement using VMM Interruption Mechanism.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Amine Anane, El Mostapha Aboulhamid, Julie Vachon, Yvon Savaria	Modeling and simulation of complex heterogeneous systems.	ISCAS	2008	DBLP DOI BibTeX RDF
1	Yan Wen, Jinjing Zhao, Huaimin Wang, Jiannong Cao	Implicit Detection of Hidden Processes with a Feather-Weight Hardware-Assisted Virtual Machine Monitor.	ACISP	2008	DBLP DOI BibTeX RDF	stealth malware, hardware-assisted VMM, Virtual machine monitor
1	Martin Klasen, Mikhail Zvyagintsev, René Weber, Krystyna A. Mathiak, Klaus Mathiak	Think Aloud during fMRI: Neuronal Correlates of Subjective Experience in Video Games.	Fun and Games	2008	DBLP DOI BibTeX RDF
1	Verginica Barbu Mititelu	Hyponymy Patterns.	TSD	2008	DBLP DOI BibTeX RDF	Hyponymy patterns, ontology
1	Martin Atzmüller, Frank Puppe	A case-based approach for characterization and analysis of subgroup patterns.	Appl. Intell.	2008	DBLP DOI BibTeX RDF
1	Josef Perner, Daniela Kloo, Elisabeth Stöttinger	Introspection & remembering.	Synthese	2007	DBLP DOI BibTeX RDF
1	Kevin J. Hoffman, Murali Krishna Ramanathan, Patrick Eugster, Suresh Jagannathan	Aspect-Based Introspection and Change Analysis for Evolving Programs.	RAM-SE	2007	DBLP BibTeX RDF
1	David Robert Martin Thompson, Kevin Leyton-Brown	Valuation Uncertainty and Imperfect Introspection in Second-Price Auctions.	AAAI	2007	DBLP BibTeX RDF
1	Christian G. Quintero, Salvador Ibarra, Josep Lluís de la Rosa, Josep Vehí	Introspection on control-grounded capabilities - a task allocation study case in robot soccer.	ICINCO-RA	2007	DBLP BibTeX RDF
1	Daniel Große, Rüdiger Ebendt, Rolf Drechsler	Improvements for constraint solving in the systemc verification library.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	constraint-based randomization, systemC verification library, systemC
1	Mathias Broxvall	A middleware for ecologies of robotic devices.	ROBOCOMM	2007	DBLP DOI BibTeX RDF
1	Davy Preuveneers, Yolande Berbers	Towards context-aware and resource-driven self-adaptation for mobile handheld applications.	SAC	2007	DBLP DOI BibTeX RDF	mobile computing, adaptation, context-awareness
1	Brent Welch	Integrated system models for reliable petascale storage systems.	PDSW	2007	DBLP DOI BibTeX RDF	Panasas, autonomics, petascale, cluster management
1	Bryan D. Payne, Wenke Lee	Secure and Flexible Monitoring of Virtual Machines.	ACSAC	2007	DBLP DOI BibTeX RDF
1	Guocai Chen, Jim Warren, Robert McArthur, Peter Bruza, Debbie Kralik, Kay Price	Understanding Individual Experiences of Chronic Illness with Semantic Space Models of Electronic Discussions.	CBMS	2007	DBLP DOI BibTeX RDF
1	Steven Wallace, Kim M. Hazelwood	SuperPin: Parallelizing Dynamic Instrumentation for Real-Time Performance.	CGO	2007	DBLP DOI BibTeX RDF
1	Benjamin D. Rister, Jason Campbell, Padmanabhan Pillai, Todd C. Mowry	Integrated Debugging of Large Modular Robot Ensembles.	ICRA	2007	DBLP DOI BibTeX RDF
1	Matthias Scheutz, James F. Kramer	Reflection and Reasoning Mechanisms for Failure Detection and Recovery in a Distributed Robotic Architecture for Complex Robots.	ICRA	2007	DBLP DOI BibTeX RDF
1	Christian Raymond, Frédéric Béchet, Nathalie Camelin, Renato de Mori, Géraldine Damnati	Sequential Decision Strategies for Machine Interpretation of Speech.	IEEE Transactions on Audio, Speech & Language Processing	2007	DBLP DOI BibTeX RDF