Search results for "context-sensitivity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi	Selective context-sensitivity guided by impact pre-analysis.	PLDI	2014	DBLP DOI BibTeX RDF
12	Sebastian Scholze, Dragan Stokic, Oliver Kotte	Cross-domain methods and tools for decision support services based on context sensitivity approach.	INDIN	2014	DBLP DOI BibTeX RDF
12	Rodrigo Falcão, Vaninha Vieira	CSCoupons: applying context-sensitivity to increase fast food advertising usefulness.	WebMedia	2013	DBLP DOI BibTeX RDF
12	George Kastrinis, Yannis Smaragdakis	Hybrid context-sensitivity for points-to analysis.	PLDI	2013	DBLP DOI BibTeX RDF
12	Gillian Russell	Indexicals, context-sensitivity and the failure of implication.	Synth.	2011	DBLP DOI BibTeX RDF
12	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. Philos. Log.	2011	DBLP DOI BibTeX RDF
12	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.	Cogn. Process.	2011	DBLP DOI BibTeX RDF
12	Alexander Mehler	Minimum Spanning Markovian Trees: Introducing Context-Sensitivity into the Generation of Spanning Trees.	Structural Analysis of Complex Networks	2011	DBLP DOI BibTeX RDF
12	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
12	Michael Zolda, Sven Bünte, Raimund Kirner	Context-Sensitivity in IPET for Measurement-Based Timing Analysis.	ISoLA (2)	2010	DBLP DOI BibTeX RDF
12	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 (3)	2010	DBLP DOI BibTeX RDF
12	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
12	Bernhard Gramlich, Felix Schernhammer	Extending Context-Sensitivity in Term Rewriting	WRS	2009	DBLP DOI BibTeX RDF
12	Huai Wang, W. K. Chan 0001	Weaving Context Sensitivity into Test Suite Construction.	ASE	2009	DBLP DOI BibTeX RDF	context diversity, context-aware programe, software testing
12	Chih-Chun Chen 0001, Christopher D. Clack, Sylvia B. Nagl	Context sensitivity in individual-based modeling.	BMC Syst. Biol.	2007	DBLP DOI BibTeX RDF
12	Peter Kiefer, Christoph Schlieder	Exploring Context-Sensitivity in Spatial Intention Recognition.	BMI	2007	DBLP BibTeX RDF
12	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
12	Solomon Marcus	Mild Context-Sensitivity, After Twenty Years.	Fundam. Informaticae	2006	DBLP BibTeX RDF
12	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
12	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
12	Edward P. Stabler Jr.	Varieties of crossing dependencies: structure dependence and mild context sensitivity.	Cogn. Sci.	2004	DBLP DOI BibTeX RDF
12	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
12	Hao Liu 0001, Yanbo Han, Gang Li, Cheng Zhang 0003	Achieving Context Sensitivity of Service-Oriented Applications with the Business-End Programming Language VINCA.	GCC	2004	DBLP DOI BibTeX RDF
12	Henning Fernau, Alexander Meduna	On the degree of scattered context-sensitivity.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
12	David W. Binkley, Mark Harman	A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity.	ICSM	2003	DBLP DOI BibTeX RDF	Semantics-Based Tools, Empirical Study, Program Slicing
12	Arun Kumar 0002, Neeran M. Karnik, Girish Chafle	Context sensitivity in role-based access control.	ACM SIGOPS Oper. Syst. Rev.	2002	DBLP DOI BibTeX RDF
12	E. Delidzakova Drenik	The context-sensitivity of a financial management controlling system in a company undergoing restructuring.	Context Sensitive Decision Support Systems	1998	DBLP BibTeX RDF
12	Jay Melican, Eli Blevis	Building Context-Sensitivity Through Behavioral Prototyping: The Development of an Internet-Based Mentoring Program for 5th-12th Grade Students.	WebNet	1997	DBLP BibTeX RDF
12	Eero Lassila	A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence.	ICFP	1997	DBLP DOI BibTeX RDF
12	P. Laroche, Maurice Nivat, Ahmed Saoudi	Context-Sensitivity of Puzzle Grammars.	Int. J. Pattern Recognit. Artif. Intell.	1994	DBLP DOI BibTeX RDF
12	P. Laroche, Maurice Nivat, Ahmed Saoudi	Context-Sensitivity of Puzzle Grammars.	ICPIA	1992	DBLP DOI BibTeX RDF
12	Daniel Radzinski	Chinese Number-Names, Tree Adjoining Languages, and Mild Context-Sensitivity.	Comput. Linguistics	1991	DBLP BibTeX RDF
12	Yasunori Yamamoto, Kenichi Morita, Kazuhiro Sugata	Context-sensitivity of Two-Dimensional Regular Array Grammars.	Int. J. Pattern Recognit. Artif. Intell.	1989	DBLP DOI BibTeX RDF
12	Yasunori Yamamoto, Kenichi Morita, Kazuhiro Sugata	Context-sensitivity of Two-Dimensional Regular Array Grammars.	Array Grammars, Patterns and Recognizers	1989	DBLP DOI BibTeX RDF
12	Bruno Degazio	The Development of Context Sensitivity in the Midiforth Computer Music System.	ICMC	1988	DBLP BibTeX RDF
12	Klaus W. Wagner	Do There Exist Languages With an Arbitrarily Small Amount of Context-Sensitivity.	Computation Theory and Logic	1987	DBLP DOI BibTeX RDF
12	Eva-Maria Mückstein Wotschke, Detlef Wotschke, Peter J. Downey	Size, Index, and Context-Sensitivity of Controlled Partition Grammars.	Math. Syst. Theory	1977	DBLP DOI BibTeX RDF
12	P. F. Schuler	A Note on Degrees of Context-Sensitivity.	Acta Informatica	1975	DBLP DOI BibTeX RDF
12	Ben Hardekopf, Calvin Lin	Semi-sparse flow-sensitive pointer analysis.	POPL	2009	DBLP DOI BibTeX RDF	pointer analysis, alias analysis
12	Vladimir Tosic, Hanan Lutfiyya, Yazhe Tang	A Management Infrastructure for Mobile/Embedded XML Web Services.	NOMS	2006	DBLP DOI BibTeX RDF
12	Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh	A Practical String Analyzer by the Widening Approach.	APLAS	2006	DBLP DOI BibTeX RDF
11	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
11	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
11	Prahladavaradan Sampath, Shrawan Kumar	Composing Context Sensitive Analysis.	SEFM	2006	DBLP DOI BibTeX RDF
11	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
11	Stephen S. Yau, Yu Wang 0015, Fariaz Karim	Development of Situation-Aware Application Software for Ubiquitous Computing Environment.	COMPSAC	2002	DBLP DOI BibTeX RDF	situation-aware interface definition language, mobile ad hoc networks and Smart Classroom, situation-awareness, Ubiquitous computing environments, reconfigurable context-sensitive middleware
11	Bernhard Gramlich, Salvador Lucas	Modular termination of context-sensitive rewriting.	PPDP	2002	DBLP DOI BibTeX RDF	context-sensitive rewriting, modular analysis and construction of programs, modular proofs of termination, program verification, declarative programming, evaluation strategies
11	Alfs T. Berztiss	Contexts, Domains, and Software.	CONTEXT	1999	DBLP DOI BibTeX RDF
11	Barry L. Kurtz, John B. Johnston	Using the Synthesizer-Generator to teach principles of programming language semantics.	SIGCSE	1992	DBLP DOI BibTeX RDF
11	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
11	Domagoj Babic, Alan J. Hu	Structural Abstraction of Software Verification Conditions.	CAV	2007	DBLP DOI BibTeX RDF
11	Mayur Naik, Jens Palsberg	A Type System Equivalent to a Model Checker.	ESOP	2005	DBLP DOI BibTeX RDF
9	Guoqing Xu 0001, Atanas Rountev, Manu Sridharan	Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis.	ECOOP	2009	DBLP DOI BibTeX RDF
9	In-Cheol Kim	CAA: A Context-Sensitive Agent Architecture for Dynamic Virtual Environments.	IVA	2005	DBLP DOI BibTeX RDF
9	Carlos Martín-Vide, Victor Mitrana	Contextual Information Systems.	CONTEXT	2005	DBLP DOI BibTeX RDF
9	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
9	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
9	Daniel Ashbrook	Context Sensing with the Twiddler Keyboard.	ISWC	1999	DBLP DOI BibTeX RDF
9	Glenn Ammons, Thomas Ball, James R. Larus	Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling.	PLDI	1997	DBLP DOI BibTeX RDF
9	Nardo B. J. van der Rijst, Aldo de Moor	The Development of Reference Models for the RENISYS Network Specification Method.	HICSS (4)	1996	DBLP DOI BibTeX RDF
8	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
8	Yi Mao, Beihai Zhou	Interpreting Metaphors in a New Semantic Theory of Concept.	JSAI	2006	DBLP DOI BibTeX RDF
8	In-Cheol Kim	3D Interactive Computer Games as a Pedagogical Tool.	VSMM	2006	DBLP DOI BibTeX RDF
8	In-Cheol Kim	Teaching Agent Systems' Design Using 3D Interactive Computer Games.	Edutainment	2006	DBLP DOI BibTeX RDF
8	Rajeev Gopalakrishna, Eugene H. Spafford, Jan Vitek	Efficient Intrusion Detection using Automaton Inlining.	S&P	2005	DBLP DOI BibTeX RDF
8	Connie A. Blok	Monitoring Change: Characteristics of Dynamic Geo-spatial Phenomena for Visual Exploration.	Spatial Cognition	2000	DBLP DOI BibTeX RDF
8	Anton Cerný	Generating Words by Cellular Automata.	MFCS	1991	DBLP DOI BibTeX RDF
8	Hans Meijer	An implementation of affix grammars.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
8	D. R. Milton, L. W. Kirchhoff, B. R. Rowland	An all(1) compiler generator.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
6	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
6	Marko Robnik-Sikonja, Kris Brijs, Koen Vanhoof	Ordinal Evaluation: A New Perspective on Country Images.	ICDM	2009	DBLP DOI BibTeX RDF
6	James D. Edge, Adrian Hilton 0001, Philip J. B. Jackson	Model-based synthesis of visual speech movements from 3D video.	SIGGRAPH Posters	2009	DBLP DOI BibTeX RDF
6	Yucong Duan	A dualism based semantics formalization mechanism for model driven engineering.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
6	Emerson R. Murphy-Hill	Scalable, expressive, and context-sensitive code smell display.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	smells, tools, refactoring
6	Rikard Lindgren	Architectural knowledge in ubiquitous computing innovation.	MUM	2008	DBLP DOI BibTeX RDF
6	Andy Maule, Wolfgang Emmerich, David S. Rosenblum	Impact analysis of database schema changes.	ICSE	2008	DBLP DOI BibTeX RDF	impact analysis
6	Claudia Bianchi, Nicla Vassallo	Meaning, Contexts and Justification.	CONTEXT	2007	DBLP DOI BibTeX RDF
6	James Noble 0001, Robert Biddle	Postmodern prospects for conceptual modelling.	APCCM	2006	DBLP BibTeX RDF	conceptual modelling, postmodernism
6	Georgi Petkov, Tchavdar Naydenov, Maurice Grinberg, Boicho N. Kokinov	Building Robots with Analogy-Based Anticipation.	KI	2006	DBLP DOI BibTeX RDF
6	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
6	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
6	Chen Fu, Ana L. 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
6	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
6	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
6	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
6	Chen Fu, Barbara G. Ryder, Ana L. Milanova, David Wonnacott	Testing of java web services for robustness.	ISSTA	2004	DBLP DOI BibTeX RDF	def-use testing, test coverage metrics, java, exceptions
6	Nathan Skalsky, Robert Pastel	Transportable Research Instrument: a PDA-based Laboratory for Science Experiments.	WMTE	2004	DBLP DOI BibTeX RDF
6	Marcus J. Huber, Richard Simpson	Plan Recognition to Aid the Visually Impaired.	User Modeling	2003	DBLP DOI BibTeX RDF
6	Lotus E. Kam, William G. Chismar	A Self-Disclosure Model for Personal Health Information.	HICSS	2003	DBLP DOI BibTeX RDF	Privacy, Information Technology, Healthcare, Interview, Disclosure
6	J. P. McGowan, Nicholas Kushmerick, Barry Smyth	Who Do You Want to Be Today? Web Personae for Personalised Information Access.	AH	2002	DBLP DOI BibTeX RDF
6	Jesper Kjeldskov	"Just-in-Place" Information for Mobile Device Interfaces.	Mobile HCI	2002	DBLP DOI BibTeX RDF
6	Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz	Security for Mobility.	FOSAD	2002	DBLP DOI BibTeX RDF
6	Eric Klopfer, Kurt Squire, Henry Jenkins	Environmental Detectives: PDAs as a Window into a Virtual Simulated World.	WMTE	2002	DBLP DOI BibTeX RDF
6	Jacky Swan, Sue Newell, Maxine Robertson	Explaining National Differences in the Adoption and Design of Collaborative Technologies for Operations Management.	HICSS	1999	DBLP DOI BibTeX RDF
6	John A. Vlontzos, Sun-Yuan Kung	Hidden Markov models for character recognition.	IEEE Trans. Image Process.	1992	DBLP DOI BibTeX RDF