Search results for "overriding"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
80	Christoph Csallner, Yannis Smaragdakis	Dynamically discovering likely interface invariants.	ICSE	2006	DBLP DOI BibTeX RDF	invariant detection, method overriding, interfaces, dynamic analysis
66	Antoine Beugnard	Method overloading and overriding cause encapsulation flaw: an experiment on assembly of heterogeneous components.	SAC	2006	DBLP DOI BibTeX RDF	objet oriented language interoperability, software component, encapsulation
53	Edward A. Lee, Xiaojun Liu 0001, Stephen Neuendorffer	Classes and inheritance in actor-oriented design.	ACM Trans. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF	generalized ultrametric, overriding, components, interfaces, type systems, inheritance, Actors
52	Rudolf Pecinovský, Jarmila Pavlícková	Order of explanation should be interface: abstract classes - overriding.	ITiCSE	2007	DBLP DOI BibTeX RDF	design patterns first, teaching theory, design patterns, software engineering education, object first
52	Ja'far Alqatawna, Erik Rissanen, Babak Sadighi Firozabadi	Overriding of Access Control in XACML.	POLICY	2007	DBLP DOI BibTeX RDF
52	Elisa Bertino, Giovanna Guerrini, Isabella Merlo	Trigger Inheritance and Overriding in an Active Object Database System.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	inheritance and refinement, Triggers, object-oriented data models
41	Oliverio J. Santana, Alex Ramírez, Mateo Valero	Reducing Fetch Architecture Complexity Using Procedure Inlining.	Interaction between Compilers and Computer Architectures	2004	DBLP DOI BibTeX RDF
41	José Félix Costa, Amílcar Sernadas, Cristina Sernadas	Data Encapsulation and Modularity: Three Views of Inheritance.	MFCS	1993	DBLP DOI BibTeX RDF
40	Tetsuo Kamina, Tetsuo Tamai	Selective method combination in mixin-based composition.	SAC	2005	DBLP DOI BibTeX RDF	McJava, accidental overriding, hygienic mixins, mixin-based subtyping, implementation
40	Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard	Region inference for an object-oriented language.	PLDI	2004	DBLP DOI BibTeX RDF	downcasts, method overriding, region inference, type systems, memory management, object-oriented languages
39	Davide Ancona, Elena Zucca	Overriding Operators in a Mixin-Based Framework.	PLILP	1997	DBLP DOI BibTeX RDF	Reasoning about Language Constructs, Modularity, Object Oriented Languages
27	Sanjeev Baskiyar	Efficient Execution of Pure Object-Oriented Programs by Follow-up Compilation.	Computing	2002	DBLP DOI BibTeX RDF	AMS Subject Classifications: 68N20, 68N19, 68N15, 68N25
27	Ekawit Nantajeewarawat, Vilas Wuwongse	An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance.	ASIAN	1999	DBLP DOI BibTeX RDF
27	Atanas Radenski	Module embedding.	Softw. Concepts Tools	1998	DBLP DOI BibTeX RDF	Module embedding, Object-oriented programming, Reuse, Inheritance, Extensibility, Module, Code reuse
27	Michele Bugliesi, Hasan M. Jamil	A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages.	ICDT	1995	DBLP DOI BibTeX RDF
26	Hasan M. Jamil, Gillian Dobbie	On Logical Foundations of Multilevel Secure Databases.	J. Intell. Inf. Syst.	2004	DBLP DOI BibTeX RDF	MLS databases, belief assertion, inheritance and overriding, security, reasoning, deductive databases, declarative language, soundness and completeness
26	Hasan M. Jamil	A case for parameterized views and relational unification.	SAC	2001	DBLP DOI BibTeX RDF	declarative methods, inheritance and overriding, parameterized views, reasoning unification, SQL, object-relational databases
26	Hasan M. Jamil	Belief Reasoning in MLS Deductive Databases.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF	MLS database, beleif assertion, inheritance and overriding, reasoning, Datalog, deductive databases, CORAL
26	O. Deux	The Story of O2.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	O/sub 2/, disk management, overriding, user interface generation tools, complete programming environment, multilanguage paradigm, dual mode, workstation/server configuration, prototype performance, object-oriented programming, programming environment, DBMS, database management systems, query language, query languages, completeness, inheritance, typing, extensibility, sharing, persistence, encapsulation, complex objects, object-oriented database system, object identity
25	Joyce Guo, María P. Recalde	Overriding in Teams: The Role of Beliefs, Social Image, and Gender.	Manag. Sci.	2023	DBLP DOI BibTeX RDF
25	Emmanuel Calvet, Jean Rouat, Bertrand Reulet	Excitatory/inhibitory balance emerges as a key factor for RBN performance, overriding attractor dynamics.	Frontiers Comput. Neurosci.	2023	DBLP DOI BibTeX RDF
25	Saoirse Robin Goodwin, Suzanne Lapillonne, Guillaume Piton, Guillaume Chambon	An SPH study on viscoplastic surges overriding mobile beds: The many regimes of entrainment.	Comput. Geosci.	2023	DBLP DOI BibTeX RDF
25	Sicong Cao, Xiaobing Sun 0001, Xiaoxue Wu, Lili Bo, Bin Li 0006, Rongxin Wu, Wei Liu 0010, Biao He, Yu Ouyang, Jiajia Li	Improving Java Deserialization Gadget Chain Mining via Overriding-Guided Object Generation.	CoRR	2023	DBLP DOI BibTeX RDF
25	Emmanuel Calvet, Jean Rouat, Bertrand Reulet	Excitatory/Inhibitory Balance Emerges as a Key Factor for RBN Performance, Overriding Attractor Dynamics.	CoRR	2023	DBLP DOI BibTeX RDF
25	Sicong Cao, Xiaobing Sun 0001, Xiaoxue Wu, Lili Bo, Bin Li 0006, Rongxin Wu, Wei Liu 0010, Biao He, Yu Ouyang, Jiajia Li	Improving Java Deserialization Gadget Chain Mining via Overriding-Guided Object Generation.	ICSE	2023	DBLP DOI BibTeX RDF
25	Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro	Optimizing the Computation of Overriding in DLN (Extended Abstract).	IJCAI	2023	DBLP DOI BibTeX RDF
25	Piero Andrea Bonatti, Iliana Mineva Petrova, Luigi Sauro	Optimizing the computation of overriding in DLN.	Artif. Intell.	2022	DBLP DOI BibTeX RDF
25	Naman Patel, Prashanth Krishnamurthy, Siddharth Garg, Farshad Khorrami	Overriding Autonomous Driving Systems Using Adaptive Adversarial Billboards.	IEEE Trans. Intell. Transp. Syst.	2022	DBLP DOI BibTeX RDF
25	Matheus Barbosa de Oliveira, Paulo Borba, Rodrigo Bonifácio, Galileu Santos	Semantic conflict detection with overriding assignment analysis.	SBES	2022	DBLP DOI BibTeX RDF
25	Lorenzo Villa Zapata, Vignesh Subbian, Richard D. Boyce, Philip D. Hansten, John R. Horn, Sheila M. Gephart, Andrew Romero, Daniel C. Malone	Overriding Drug-Drug Interaction Alerts in Clinical Decision Support Systems: A Scoping Review.	MedInfo	2021	DBLP DOI BibTeX RDF
25	Melisa Menceloglu, Marcia Grabowecky, Satoru Suzuki	Rhythm Violation Enhances Auditory-Evoked Responses to the Extent of Overriding Sensory Adaptation in Passive Listening.	J. Cogn. Neurosci.	2020	DBLP DOI BibTeX RDF
25	Yanlin Wang 0001, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto	FHJ: A Formal Model for Hierarchical Dispatching and Overriding.	ECOOP	2018	DBLP DOI BibTeX RDF
25	Steffen Maurer, Enrico Rukzio, Rainer Erbach	Challenges for Creating Driver Overriding Mechanisms.	AutomotiveUI (adjunct)	2017	DBLP DOI BibTeX RDF
25	Piero A. Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro	A New Semantics for Overriding in Description Logics (Extended Abstract).	IJCAI	2017	DBLP DOI BibTeX RDF
25	María S. Hernandez Caffot, Carolina Vogt, Solana Muñoz Fernandez, Francisco M. Bernabeu, Bayan V. Khorsandnia	Physicians Behavior with a Non - Overriding Alert Prescriptions in a CDS Dosing System Developed in Argentina.	AMIA	2017	DBLP BibTeX RDF
25	Jeongsoo Lim, Jun-Ho Oh	Backward Ladder Climbing Locomotion of Humanoid Robot with Gain Overriding Method on Position Control.	J. Field Robotics	2016	DBLP DOI BibTeX RDF
25	Piero A. Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro	A new semantics for overriding in description logics.	Artif. Intell.	2015	DBLP DOI BibTeX RDF
25	Piero Andrea Bonatti, Iliana Mineva Petrova, Luigi Sauro	Optimizing the computation of overriding.	CoRR	2015	DBLP BibTeX RDF
25	Piero A. Bonatti, Iliana Mineva Petrova, Luigi Sauro	Optimizing the Computation of Overriding.	ISWC (1)	2015	DBLP DOI BibTeX RDF
25	Brijender Kahanwal	Comparative Study of the Function Overloading and Function Overriding Using C++.	CoRR	2014	DBLP BibTeX RDF
25	Nicole L. Valles, Kyle B. Reed	To Know Your Own Strength: Overriding Natural Force Attenuation.	IEEE Trans. Haptics	2014	DBLP DOI BibTeX RDF
25	Philippe Besnard, Éric Grégoire, Sébastien Ramon	Overriding subsuming rules.	Int. J. Approx. Reason.	2013	DBLP DOI BibTeX RDF
25	Thomas Lukasiewicz	Probabilistic Logic Programming under Inheritance with Overriding	CoRR	2013	DBLP BibTeX RDF
25	Htoo Aung Maw, Hannan Xiao, Bruce Christianson	An adaptive access control model with privileges overriding and behaviour monitoring in wireless sensor networks.	Q2SWinet	2012	DBLP DOI BibTeX RDF
25	Janis Cirulis	Nearlattices with an Overriding Operation.	Order	2011	DBLP DOI BibTeX RDF
25	Christian Soltenborn, Gregor Engels	Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications.	J. Vis. Lang. Comput.	2011	DBLP DOI BibTeX RDF
25	Philippe Besnard, Éric Grégoire, Sébastien Ramon	Overriding Subsuming Rules.	ECSQARU	2011	DBLP DOI BibTeX RDF
25	Siti Hafizah Ab Hamid, Mohd Sapiyan Baba, Abdullah Gani	Abstract Formal Framework for Method Overriding.	ICSECS (3)	2011	DBLP DOI BibTeX RDF
25	Piero A. Bonatti, Marco Faella, Luigi Sauro	EL\mathcal{EL} with Default Attributes and Overriding.	ISWC (1)	2010	DBLP DOI BibTeX RDF
25	Tri Tran 0001	Overriding control for stability with manifest variables.	ICARCV	2010	DBLP DOI BibTeX RDF
25	Ewan D. Tempero, Steve Counsell, James Noble 0001	An empirical study of overriding in open source Java.	ACSC	2010	DBLP BibTeX RDF
25	Shazzad Hosain, Hasan Jamil	Empowering OWL with Overriding Inheritance, Conflict Resolution and Non-monotonic Reasoning.	AAAI Spring Symposium: Social Semantic Web: Where Web 2.0 Meets Web 3.0	2009	DBLP BibTeX RDF
25	Gregor Engels, Daniela Fisseler, Christian Soltenborn	Improving reusability of dynamic meta modeling specifications with rule overriding.	VL/HCC	2009	DBLP DOI BibTeX RDF
25	Thomas Lukasiewicz	Probabilistic description logic programs under inheritance with overriding for the Semantic Web.	Int. J. Approx. Reason.	2008	DBLP DOI BibTeX RDF
25	Antoine Beugnard, Salah Sadou	Method Overloading and Overriding Cause Distribution Transparency and Encapsulation Flaws.	J. Object Technol.	2007	DBLP DOI BibTeX RDF
25	Thomas Lukasiewicz	Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: Complexity, algorithms, and implementation.	Int. J. Approx. Reason.	2007	DBLP DOI BibTeX RDF
25	Heleen van der Sijs, Jos Aarts, Arnold Vulto, Marc Berg	Review Paper: Overriding of Drug Safety Alerts in Computerized Physician Order Entry.	J. Am. Medical Informatics Assoc.	2006	DBLP DOI BibTeX RDF
25	Thomas Lukasiewicz	Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding.	Synth.	2005	DBLP DOI BibTeX RDF
25	Thomas Lukasiewicz	Nonmonotonic Probabilistic Logics under Variable-Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLOG.	ISIPTA	2005	DBLP BibTeX RDF
25	Atanas Radenski	Anomaly-free component adaptation with class overriding.	J. Syst. Softw.	2004	DBLP DOI BibTeX RDF
25	Qiaohui Zhang, Atsumi Imamiya, Kentaro Go, Xiaoyang Mao	Overriding errors in a speech and gaze multimodal architecture.	IUI	2004	DBLP DOI BibTeX RDF	mjultimodal architecture, multimodal errors, eye tracking, speech input, recognition errors
25	Erik Rissanen, Babak Sadighi Firozabadi, Marek J. Sergot	Towards a Mechanism for Discretionary Overriding of Access Control.	Security Protocols Workshop	2004	DBLP DOI BibTeX RDF
25	Erik Rissanen	Towards a Mechanism for Discretionary Overriding of Access Control (Transcript of Discussion).	Security Protocols Workshop	2004	DBLP DOI BibTeX RDF
25	Erik Rissanen, Babak Sadighi Firozabadi, Marek J. Sergot	Discretionary Overriding of Access Control in the Privilege Calculus.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
25	Jacques Wainer, Paulo Barthelmess, Akhil Kumar 0001	W-RBAC - A Workflow Security Model Incorporating Controlled Overriding of Constraints.	Int. J. Cooperative Inf. Syst.	2003	DBLP DOI BibTeX RDF
25	Thomas Lukasiewicz	Probabilistic Lexicographic Entailment under Variable-Strength Inheritance with Overriding.	ECSQARU	2003	DBLP DOI BibTeX RDF
25	Åke Grönlund	Private Sanctity - e-Practices Overriding Democratic Rigor in e-Voting.	EGOV	2002	DBLP DOI BibTeX RDF
25	Mark D. Happel, Peter Bock	Overriding the Experts: A Fusion Method for Combining Marginal Classifiers.	Int. J. Artif. Intell. Tools	2001	DBLP DOI BibTeX RDF
25	Thomas Lukasiewicz	Probabilistic Logic Programming under Inheritance with Overriding.	UAI	2001	DBLP BibTeX RDF
25	Mark D. Happel, Peter Bock	Overriding the Experts: A Stacking Method for Combining Marginal Classifiers.	FLAIRS	2000	DBLP BibTeX RDF
25	Nauman A. Chaudhry, James R. Moyne, Elke A. Rundensteiner	A Formal Model for Rule Inheritance and Overriding in Active Object-Oriented Databases.	IADT	1998	DBLP BibTeX RDF
25	David M. Papurt	The Sensible Use of Method Overriding: Satisfying Pre- and Postcondition Constraints.	J. Object Oriented Program.	1997	DBLP BibTeX RDF
25	David M. Papurt, Jean Pierre LeJacq	The Sensible Use of Method Overriding.	J. Object Oriented Program.	1997	DBLP BibTeX RDF
25	Hasan M. Jamil	Inheritance with Overriding Without Non-monotonic Reasoning in Datalog++.	DDLP	1997	DBLP BibTeX RDF
25	Elisa Bertino, Giovanna Guerrini, Isabella Merlo	Trigger Inheritance and Overriding in Active Object Database Systems.	DOOD	1997	DBLP DOI BibTeX RDF
25	Olga De Troyer, René Janssen	On Modularity for Conceptual Data Models and the Consequences for Subtyping, Inheritance & Overriding.	ICDE	1993	DBLP DOI BibTeX RDF
14	Todd D. Millstein, Christopher Frost 0001, Jason Ryder, Alessandro Warth	Expressive and modular predicate dispatch for Java.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	dynamic dispatch, Predicate dispatch, modular typechecking
14	Huibiao Zhu, Yongxin Zhao, Jifeng He 0001	Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
14	Peter Höfner, Bernhard Möller	An extension for feature algebra.	FOSD	2009	DBLP DOI BibTeX RDF	algebraic characterisation of FOSD, feature algebra, feature oriented software development
14	Fernando Solano, Ramón Fabregat, José-Luis Marzo	On optimal computation of MPLS label binding for multipoint-to-point connections.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
14	Luigi Liquori, Arnaud Spiwack	FeatherTrait: A modest extension of Featherweight Java.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Java, inheritance, language design, language semantics
14	Lorenzo Bettini, Viviana Bono	Type safe dynamic object delegation in class-based languages.	PPPJ	2008	DBLP DOI BibTeX RDF	delegation, language extensions, object composition, featherweight Java
14	Vineet Sinha, Elizabeth L. Murnane, Scott W. Kurth, Edy S. Liongosari, Rob Miller 0001, David R. Karger	Understanding code architectures via interactive exploration and layout of layered diagrams.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	software architecture, reverse engineering, program comprehension, automated software engineering
14	Vineet Sinha, Elizabeth L. Murnane, Scott W. Kurth, Edy S. Liongosari, Rob Miller 0001, David R. Karger	Understanding code architectures via interactive exploration and layout of layered diagrams.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	software architecture, reverse engineering, program comprehension, automated software engineering
14	Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen	Lazy Behavioral Subtyping.	FM	2008	DBLP DOI BibTeX RDF
14	Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin	Enhancing modular OO verification with separation logic.	POPL	2008	DBLP DOI BibTeX RDF	enhanced subsumption, lossless casting, static and dynamic specifications, separation logic, automated verification
14	Lin Bai, Jun Wei	A Flexible Transformation Scheme between the 'OR' of BPMN and 'Link' of BPEL.	APSCC	2008	DBLP DOI BibTeX RDF
14	Artem Chebotko, Seunghan Chang, Shiyong Lu, Farshad Fotouhi, Ping Yang 0002	Scientific Workflow Provenance Querying with Security Views.	WAIM	2008	DBLP DOI BibTeX RDF
14	Bruno C. d. S. Oliveira, Jeremy Gibbons	Scala for generic programmers.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	scala, polytypic programming, datatype-generic programming
14	Tamara Pazynyuk, Jianzhong Li 0001, George S. Oreku, Liqiang Pan	QoS as Means of Providing WSNs Security.	ICN	2008	DBLP DOI BibTeX RDF	security, QoS, wireless sensor network, reliability, probability, Availability
14	Markus Jobst, Jürgen Döllner	Better Perception of 3D-Spatial Relations by Viewport Variations.	VISUAL	2008	DBLP DOI BibTeX RDF	3D geovisualization, geo-mediatechnique, geo-communication, perception, graphical design
14	Oliverio J. Santana, Alex Ramírez, Mateo Valero	Enlarging Instruction Streams.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Superscalar processor design, branch prediction, code optimization, instruction fetch, access latency
14	Shean T. McMahon, Isaac D. Scherson	Selection of Optimal Computing Platforms through the Suitability Measure.	ISPDC	2007	DBLP DOI BibTeX RDF
14	Kevin Bierhoff, Jonathan Aldrich	Modular typestate checking of aliased objects.	OOPSLA	2007	DBLP DOI BibTeX RDF	linear logic, aliasing, permissions, typestates, behavioral subtyping
14	Christos K. Georgiadis, Elias Pimenidis	Service-Enabled Business Processes: Constructing Enterprise Applications - An Evaluation Framework.	SCSS (1)	2007	DBLP DOI BibTeX RDF
14	Stefan Maass, Markus Jobst, Jürgen Döllner	Depth Cue of Occlusion Information as Criterion for the Quality of Annotation Placement in Perspective Views.	AGILE Conf.	2007	DBLP DOI BibTeX RDF	Geovirtual Environments, GIS, Annotation, Labeling, Depth Cue, Perspective Views
14	Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby	Declarative Object Identity Using Relation Types.	ECOOP	2007	DBLP DOI BibTeX RDF
14	Buddhima De Silva, Athula Ginige	Meta-model to Support End-User Development of Web Based Business Information Systems.	ICWE	2007	DBLP DOI BibTeX RDF
14	Judith Ramey	UWTC LUTE: technology in harmony with human performance.	SIGDOC	2007	DBLP DOI BibTeX RDF	usability, user-centered design
14	Neil B. Harrison, John H. Meiners	The dynamics of changing dynamic memory allocation in a large-scale C++ application.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	curiously recurring template pattern, memory management, templates