Search results for "context sensitivity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer	Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses.	PLDI	2010	DBLP DOI BibTeX RDF	dynamic analysis, context sensitivity, bug detection
3	Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang	Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem.	ISSTA	1998	DBLP DOI BibTeX RDF	interprocedual data-flow analysis, modification side effects, pointer aliasing, empirical study, C, context sensitivity, flow sensitivity
2	Dan Zeman	Context Sensitivity: Indexicalism, Contextualism, Relativism.	CONTEXT	2007	DBLP DOI BibTeX RDF
2	Heike Siebert, Alexander Bockmayr	Context Sensitivity in Logical Modeling with Time Delays.	CMSB	2007	DBLP DOI BibTeX RDF
2	Michael D. Bond, Kathryn S. McKinley	Probabilistic calling context.	OOPSLA	2007	DBLP DOI BibTeX RDF	anomaly-based bug detection, dynamic context sensitivity, residual testing, intrusion detection, probabilistic, calling context, managed languages
2	Ani Nenkova, Lucy Vanderwende, Kathleen McKeown	A compositional context sensitive multi-document summarizer: exploring the factors that influence summarization.	SIGIR	2006	DBLP DOI BibTeX RDF	compositionality, context-sensitivity, multi-document summarization, frequency
2	Ana Milanova, Atanas Rountev, Barbara G. Ryder	Parameterized object sensitivity for points-to analysis for Java.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	def-use analysis, side-effect analysis, Static analysis, context sensitivity, points-to analysis, class analysis
2	Jens Krinke	Context-Sensitivity Matters, But Context Does Not.	SCAM	2004	DBLP DOI BibTeX RDF
2	V. Benjamin Livshits, Monica S. Lam	Tracking pointers with path and context sensitivity for bug detection in C programs.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	SSA representation, program analysis, error detection, software security, pointer analysis, program representation, context-sensitive analysis, buffer overruns, path-sensitive analysis, security flaws
2	Stephen S. Yau, Sheikh Iqbal Ahamed	An Approach to Developing Information Dissemination Service for Ubiquitous Computing Applications.	ISADS	2003	DBLP DOI BibTeX RDF	Information dissemination service, ubiquitous computing (ubicomp), Autonomous Decentralized Systems (ADS), Reconfigurable Context-Sensitive Middleware (RCSM), situation-awareness, context -sensitivity
2	Stephen S. Yau, Fariaz Karim	A Lightweight Middleware Protocol for Ad Hoc Distributed Object Computing in Ubiquitous Computing Environments. (PDF / PS)	ISORC	2003	DBLP DOI BibTeX RDF	lightweight middleware protocol, distributed object computing middleware, context-sensitive communications, mobile ad hoc networks, situation-awareness, context-sensitivity, Ubiquitous computing environments, Reconfigurable Context-Sensitive Middleware
2	Tong Chen, Jin Lin, Wei-Chung Hsu, Pen-Chung Yew	On the Impact of Naming Methods for Heap-Oriented Pointers in C Programs. (PDF / PS)	ISPAN	2002	DBLP DOI BibTeX RDF	points-to set, heap-oriented pointer, flow-sensitivity and context sensitivity, profiling, instrumentation
2	Hugh McEvoy	Context sensitivity and synchronisation as taxonomics for parallel languages.	HICSS	1997	DBLP DOI BibTeX RDF
1	Nicolas Clerbout, Marie-Hélène Gorisse, Shahid Rahman	Context-Sensitivity in Jain Philosophy: A Dialogical Study of Siddharṣigaṇi's Commentary on the Handbook of Logic.	J. Philosophical Logic	2011	DBLP DOI BibTeX RDF
1	Gillian Russell	Indexicals, context-sensitivity and the failure of implication.	Synthese	2011	DBLP DOI BibTeX RDF
1	Stefano Federici, Aldo Stella, John L. Dennis, Thomas Hünefeldt	West vs. West like East vs. West? A comparison between Italian and US American context sensitivity and Fear of Isolation.	Cognitive Processing	2011	DBLP DOI BibTeX RDF
1	Jang Mook Kang, Jae Sang Cha, You-Jin Song, Goo-Man Park, Eun-Young Ko, Myong-chul Shin, Jeong Jin Kang, YouSik Hong	A Scheme for Role-Based 3D CCTV Using CS-RBAC (Context-Sensitivity Role-Based Access Control).	ISA	2011	DBLP DOI BibTeX RDF
1	Sung-Shik T. Q. Jongmans, Christian Krause, Farhad Arbab	Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models.	COORDINATION	2011	DBLP DOI BibTeX RDF
1	Carmen De Maio, Giuseppe Fenza, Matteo Gaeta, Vincenzo Loia, Francesco Orciuoli	Enhancing Context Sensitivity of Geo Web Resources Discovery by Means of Fuzzy Cognitive Maps.	IEA/AIE	2010	DBLP DOI BibTeX RDF
1	Marc Fisher II, Bruno Dufour, Shrutarshi Basu, Barbara G. Ryder	Exploring the impact of context sensitivity on blended analysis.	ICSM	2010	DBLP DOI BibTeX RDF
1	Michael Zolda, Sven Bünte, Raimund Kirner	Context-Sensitivity in IPET for Measurement-Based Timing Analysis.	ISoLA	2010	DBLP DOI BibTeX RDF
1	William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang	Precise calling context encoding.	ICSE	2010	DBLP DOI BibTeX RDF	dynamic context sensitivity, profiling, calling context
1	Veit Schwartze, Marco Blumendorf, Sahin Albayrak	Adjustable context adaptations for user interfaces at runtime.	AVI	2010	DBLP DOI BibTeX RDF	human-computer interaction, adaptation, layouting, smart environments, end-user development, context-of-use, constraint generation
1	Arun Lakhotia, Davidson R. Boccardo, Anshuman Singh, Aleardo Manacero	Context-sensitive analysis of obfuscated x86 executables.	PEPM	2010	DBLP DOI BibTeX RDF	analysis of bianries, deobfuscation, obfuscation, context-sensitive analysis
1	Xin Li, Mizuhito Ogawa	Conditional weighted pushdown systems and applications.	PEPM	2010	DBLP DOI BibTeX RDF	weighted pushdown systems, model checking
1	Matthew Might, Yannis Smaragdakis, David Van Horn	Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis.	PLDI	2010	DBLP DOI BibTeX RDF	k-cfa, m-cfa, object-oriented, static analysis, functional, pointer analysis, control-flow analysis
1	Bernhard Gramlich, Felix Schernhammer	Extending Context-Sensitivity in Term Rewriting	WRS	2009	DBLP DOI BibTeX RDF
1	Huai Wang, W. K. Chan	Weaving Context Sensitivity into Test Suite Construction.	ASE	2009	DBLP DOI BibTeX RDF	context diversity, context-aware programe, software testing
1	Benedek Nagy	Permutation Languages in Formal Linguistics.	IWANN	2009	DBLP DOI BibTeX RDF	interchange (permutation) rules, semi-linear languages, mildly context-sensitivity, languages, commutations, Chomsky hierarchy
1	Ben Hardekopf, Calvin Lin	Semi-sparse flow-sensitive pointer analysis.	POPL	2009	DBLP DOI BibTeX RDF	pointer analysis, alias analysis
1	James D. Edge, Adrian Hilton, Philip Jackson	Model-based synthesis of visual speech movements from 3D video.	SIGGRAPH Posters	2009	DBLP DOI BibTeX RDF
1	Holger Schmidt, Florian Flerlage, Franz J. Hauck	A Generic Context Service for Ubiquitous Environments.	PerCom Workshops	2009	DBLP DOI BibTeX RDF
1	Guoqing (Harry) Xu, Atanas Rountev, Manu Sridharan	Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis.	ECOOP	2009	DBLP DOI BibTeX RDF
1	Marko Robnik-Sikonja, Kris Brijs, Koen Vanhoof	Ordinal Evaluation: A New Perspective on Country Images.	ICDM	2009	DBLP DOI BibTeX RDF
1	Matthew Might, Panagiotis Manolios	A PosterioriSoundness for Non-deterministic Abstract Interpretations.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Andy Egan	Billboards, bombs and shotgun weddings.	Synthese	2009	DBLP DOI BibTeX RDF	Context, Content, Character
1	Guoqing (Harry) Xu, Atanas Rountev	Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis.	ISSTA	2008	DBLP DOI BibTeX RDF	pointer analysis, context sensitivity, points-to analysis
1	Antal van den Bosch, Toine Bogers	Efficient context-sensitive word completion for mobile devices.	Mobile HCI	2008	DBLP DOI BibTeX RDF	predictive text processing, mobile devices, scaling, ergonomics, context sensitivity, word completion
1	Ondrej Lhoták, Laurie J. Hendren	Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	Interprocedural program analysis, cast safety analysis, Java, binary decision diagrams, context sensitivity, points-to analysis, call graph construction
1	Andy Maule, Wolfgang Emmerich, David S. Rosenblum	Impact analysis of database schema changes.	ICSE	2008	DBLP DOI BibTeX RDF	impact analysis
1	Rikard Lindgren	Architectural knowledge in ubiquitous computing innovation.	MUM	2008	DBLP DOI BibTeX RDF
1	Emerson R. Murphy-Hill	Scalable, expressive, and context-sensitive code smell display.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	smells, tools, refactoring
1	Mayur Naik, Jens Palsberg	A type system equivalent to a model checker.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Model checking, type systems
1	Yucong Duan	A dualism based semantics formalization mechanism for model driven engineering.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
1	Miroslav Minovic, Velimir Stavljanin, Milos Milovanovic, Dusan Starcevic	Usability Issues of e-Learning Systems: Case-Study for Moodle Learning Management System.	OTM Workshops	2008	DBLP DOI BibTeX RDF	Usability, Mobile devices, User center design, Moodle, mLearning
1	Jafar Haadi Jafarian, Morteza Amini, Rasool Jalili	A Context-Aware Mandatory Access Control Model for Multilevel Security Environments.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Context-Awareness, Integrity, Confidentiality, Mandatory Access Control
1	Boicho N. Kokinov, Georgi Petkov, Nadezhda Petrova	Context-Sensitivity of Human Memory: Episode Connectivity and Its Influence on Memory Reconstruction.	CONTEXT	2007	DBLP DOI BibTeX RDF	Context effects, Cognitive Modeling, Psychology, Cognitive Science, Episodic Memory
1	Peter Kiefer, Christoph Schlieder	Exploring Context-Sensitivity in Spatial Intention Recognition.	BMI	2007	DBLP BibTeX RDF
1	David Greenfieldboyce, Jeffrey S. Foster	Type qualifier inference for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	JQual, field-sensitivity, opaque, java, tracked, transparent, context-sensitivity, type qualifiers, readonly, mutable, context-free language reachability
1	Ana Milanova	Light context-sensitive points-to analysis for java.	PASTE	2007	DBLP DOI BibTeX RDF	context sensitivity, points-to analysis
1	Stephan Kiemle, Burkhard Freitag	Providing Context-Sensitive Access to the Earth Observation Product Library.	ECDL	2007	DBLP DOI BibTeX RDF	earth observation, object query language, meta modeling, information management, context sensitivity
1	Maik Wurdel, Peter Forbrig, Thiruvengadam Radhakrishnan, Daniel Sinnig	Patterns for Task- and Dialog-Modeling.	HCI	2007	DBLP DOI BibTeX RDF	task modeling, context-sensitivity, context of use, task patterns
1	Chris Lattner, Andrew Lenharth, Vikram S. Adve	Making context-sensitive points-to analysis with heap cloning practical for the real world.	PLDI	2007	DBLP DOI BibTeX RDF	field-sensitive, static analysis, pointer analysis, context-sensitive, recursive data structure, interprocedural
1	Md. Rezaul Bashar, Sung Kwan Kang, Pankaj Raj Dawadi, Phill-Kyu Rhee	A Context-Aware Statistical Ontology Approach for Adaptive Face Recognition.	FBIT	2007	DBLP DOI BibTeX RDF
1	R. Sudha, M. R. Rajagopalan, S. Sridevi, S. Thamarai Selvi	An Efficient Context-Aware Coordination Model for Ubiquitous Computing.	MobiQuitous	2007	DBLP DOI BibTeX RDF
1	Domagoj Babic, Alan J. Hu	Structural Abstraction of Software Verification Conditions.	CAV	2007	DBLP DOI BibTeX RDF
1	Claudia Bianchi, Nicla Vassallo	Meaning, Contexts and Justification.	CONTEXT	2007	DBLP DOI BibTeX RDF
1	Solomon Marcus	Mild Context-Sensitivity, After Twenty Years.	Fundam. Inform.	2006	DBLP BibTeX RDF
1	Ching-man Au Yeung, Ho-fung Leung	Formalizing typicality of objects and context-sensitivity in ontologies.	AAMAS	2006	DBLP DOI BibTeX RDF	ontologies, semantic web, context, agent communications
1	Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks	LOCKSMITH: context-sensitive correlation analysis for race detection.	PLDI	2006	DBLP DOI BibTeX RDF	locksmith, correlation, type inference, context-sensitivity, race detection, multi-threaded programming
1	Mangala Gowri Nanda, S. Ramesh	Interprocedural slicing of multithreaded programs with applications to Java.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	interference dependence, strongly connected regions, Multithreading, program slicing, data dependence, context-sensitivity
1	James Noble, Robert Biddle	Postmodern prospects for conceptual modelling.	APCCM	2006	DBLP DOI BibTeX RDF	conceptual modelling, postmodernism
1	Michelle Mills Strout, Barbara Kreaseck, Paul D. Hovland	Data-Flow Analysis for MPI Programs.	ICPP	2006	DBLP DOI BibTeX RDF	MPI-ICFG, MPI, data-flow analysis, SPMD, activity analysis
1	Vladimir Tosic, Hanan Lutfiyya, Yazhe Tang	A Management Infrastructure for Mobile/Embedded XML Web Services.	NOMS	2006	DBLP DOI BibTeX RDF
1	Mats Neovius, Kaisa Sere, Lu Yan, M. Satpathy	A Formal Model of Context-Awareness and Context-Dependency.	SEFM	2006	DBLP DOI BibTeX RDF
1	Prahladavaradan Sampath, Shrawan Kumar	Composing Context Sensitive Analysis.	SEFM	2006	DBLP DOI BibTeX RDF
1	Vladimir Tosic, Hanan Lutfiyya, Yazhe Tang	Extending Web Service Offerings Infrastructure (WSOI) for Management of Mobile/Embedded XML Web Services.	CEC/EEE	2006	DBLP DOI BibTeX RDF
1	Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh	A Practical String Analyzer by the Widening Approach.	APLAS	2006	DBLP DOI BibTeX RDF
1	Ondrej Lhoták, Laurie J. Hendren	Context-Sensitive Points-to Analysis: Is It Worth It?.	CC	2006	DBLP DOI BibTeX RDF
1	In-Cheol Kim	Teaching Agent Systems' Design Using 3D Interactive Computer Games.	Edutainment	2006	DBLP DOI BibTeX RDF
1	Yi Mao, Beihai Zhou	Interpreting Metaphors in a New Semantic Theory of Concept.	JSAI	2006	DBLP DOI BibTeX RDF
1	Georgi Petkov, Tchavdar Naydenov, Maurice Grinberg, Boicho N. Kokinov	Building Robots with Analogy-Based Anticipation.	KI	2006	DBLP DOI BibTeX RDF
1	In-Cheol Kim	3D Interactive Computer Games as a Pedagogical Tool.	VSMM	2006	DBLP DOI BibTeX RDF
1	Donglin Liang, Maikel Pennings, Mary Jean Harrold	Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs.	PASTE	2005	DBLP DOI BibTeX RDF
1	Ashwin Ramachandran, R. Michael Young	Providing intelligent help across applications in dynamic user and environment contexts.	IUI	2005	DBLP DOI BibTeX RDF	intelligent help systems, intelligent interactive environments, planning
1	Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers	Automated soundness proofs for dataflow analyses and transformations via local rules.	POPL	2005	DBLP DOI BibTeX RDF	automated correctness proofs, compiler optimization
1	Ana Milanova, Barbara G. Ryder	Annotated Inclusion Constraints for Precise Flow Analysis.	ICSM	2005	DBLP DOI BibTeX RDF
1	Rajeev Gopalakrishna, Eugene H. Spafford, Jan Vitek	Efficient Intrusion Detection using Automaton Inlining.	IEEE Symposium on Security and Privacy	2005	DBLP DOI BibTeX RDF
1	Chen Fu, Ana Milanova, Barbara G. Ryder, David Wonnacott	Robustness Testing of Java Server Applications.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	def-use testing, test coverage metrics, Java, Reliability, exceptions
1	Claudia Bianchi, Nicla Vassallo	Epistemological Contextualism: A Semantic Perspective.	CONTEXT	2005	DBLP DOI BibTeX RDF
1	Carlos Martín-Vide, Victor Mitrana	Contextual Information Systems.	CONTEXT	2005	DBLP DOI BibTeX RDF
1	Mayur Naik, Jens Palsberg	A Type System Equivalent to a Model Checker.	ESOP	2005	DBLP DOI BibTeX RDF
1	William C. Chu, Hong-Xin Lin, Juei-Nan Chen, Xing-Yi Lin	Context-Sensitive Content Representation for Mobile Learning.	ICWL	2005	DBLP DOI BibTeX RDF	Learning Content Management System (LCMS), Mobile Learning, Context-Sensitive
1	In-Cheol Kim	CAA: A Context-Sensitive Agent Architecture for Dynamic Virtual Environments.	IVA	2005	DBLP DOI BibTeX RDF
1	Eui-Chul Jung, Keiichi Sato	A Framework of Context-Sensitive Visualization for User-Centered Interactive Systems.	User Modeling	2005	DBLP DOI BibTeX RDF	Context-Sensitive Visualization, Context-Sensitive Object, Knowledge-Base, Interactive System
1	Edward P. Stabler Jr.	Varieties of crossing dependencies: structure dependence and mild context sensitivity.	Cognitive Science	2004	DBLP DOI BibTeX RDF
1	Evi Syukur, Dominic Cooney, Seng Wai Loke, Peter Stañski	Hanging Services: An Investigation of Context-Sensitivity and Mobile Code for Localised Services.	Mobile Data Management	2004	DBLP DOI BibTeX RDF
1	Hao Liu, Yanbo Han, Gang Li, Cheng Zhang	Achieving Context Sensitivity of Service-Oriented Applications with the Business-End Programming Language VINCA.	GCC	2004	DBLP DOI BibTeX RDF
1	Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu	Importance of heap specialization in pointer analysis.	PASTE	2004	DBLP DOI BibTeX RDF	heap specialization, pointer analysis, context sensitivity
1	Dave Yeats	Revising documentation deliverables based on usability evaluation findings: a case study.	SIGDOC	2004	DBLP DOI BibTeX RDF	software installation, usability, documentation, user testing, context sensitivity, online help
1	Johannes Petersen	Control situations in supervisory control.	Cognition, Technology & Work	2004	DBLP DOI BibTeX RDF	Control situations, Modeling, Design, Context-sensitivity, Human-machine systems
1	Keiichi Sato, Ken Douros	Context-sensitive design and human-centered interactive systems.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	interaction design, context, user research, design information
1	Chen Fu, Barbara G. Ryder, Ana Milanova, David Wonnacott	Testing of java web services for robustness.	ISSTA	2004	DBLP DOI BibTeX RDF	def-use testing, test coverage metrics, java, exceptions
1	John Whaley, Monica S. Lam	Cloning-based context-sensitive pointer alias analysis using binary decision diagrams.	PLDI	2004	DBLP DOI BibTeX RDF	inclusion-based, Java, scalable, logic programming, program analysis, Datalog, binary decision diagrams, cloning, pointer analysis, context-sensitive
1	William C. Chu, Yiwen Chen, Juei-Nan Chen	Context-sensitive Content Representation for Static Document.	APSEC	2004	DBLP DOI BibTeX RDF	e-learning, customization, context-sensitive
1	Giuliano Antoniol, Massimiliano Di Penta	A Distributed Architecture for Dynamic Analyses on User-Profile Data.	CSMR	2004	DBLP DOI BibTeX RDF	trace collection, user profiling, dynamic analysis
1	Nathan Skalsky, Robert Pastel	Transportable Research Instrument: a PDA-based Laboratory for Science Experiments.	WMTE	2004	DBLP DOI BibTeX RDF
1	Yong-Jae Kwak, So-Young Park, Joon-Ho Lim, Hae-Chang Rim	Probabilistic Shift-Reduce Parsing Model Using Rich Contextual Information.	CICLing	2004	DBLP DOI BibTeX RDF
1	Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu	Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis.	SAS	2004	DBLP DOI BibTeX RDF
1	Gregory Hackmann, Christine Julien, Jamie Payton, Gruia-Catalin Roman	Supporting Generalized Context Interactions.	SEM	2004	DBLP DOI BibTeX RDF