Search results for "clashes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
111	Petr Hnetynka, Petr Tuma 0001	Fighting Class Name Clashes in Java Component Systems.	JMLC	2003	DBLP DOI BibTeX RDF	name clashes, Java, components, interfaces, versioning, classes
77	Sus Lundgren, Staffan Björk	Forces, clashes and remnants: a model for event-driven iterative multidisciplinary game design.	Advances in Computer Entertainment Technology	2005	DBLP DOI BibTeX RDF	clashes, myTHeme, interaction design, game design, pervasive games, forces, multidisciplinary design, design requirements
51	Christopher A. Stone	Extensible objects without labels.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Extensible objects, object calculi
51	Barry W. Boehm, Daniel Port	Conceptual Modeling Challenges for Model-Based Architecting and Software Engineering (MBASE).	Conceptual Modeling	1997	DBLP DOI BibTeX RDF
48	Michael L. Scott, Raphael A. Finkel	A Simple Mechanism for Type Security Across Compilation Units.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	type security, compilation units, structural-type clashes, symbol-table name, ordinary linker, message types, data structures, data structures, compilers, hash function, program compilers, distributed programs, run-time checking
46	David Klappholz, Daniel Port	M(in)BASE: An Upward-Tailorable Process Wrapper Framework for Identifying and Avoiding Model Clashes.	ISPW	2005	DBLP DOI BibTeX RDF
34	Matthias Neubauer, Peter Thiemann 0001	Discriminative sum types locate the source of type errors.	ICFP	2003	DBLP DOI BibTeX RDF	polymorphism, type inference, type errors
29	Jian Xie, Kai Zhang, Jiangjie Chen, Renze Lou, Yu Su 0001	Adaptive Chameleon or Stubborn Sloth: Unraveling the Behavior of Large Language Models in Knowledge Clashes.	CoRR	2023	DBLP DOI BibTeX RDF
29	Elaine E. Englehardt, Patricia H. Werhane, Lisa H. Newton	Leadership, Engineering and Ethical Clashes at Boeing.	Sci. Eng. Ethics	2021	DBLP DOI BibTeX RDF
29	Mathieu Jacomy	Epistemic clashes in network science: Mapping the tensions between idiographic and nomothetic subcultures.	Big Data Soc.	2020	DBLP DOI BibTeX RDF
29	Jelena Calyseva, Mauno Vihinen	PON-SC - program for identifying steric clashes caused by amino acid substitutions.	BMC Bioinform.	2017	DBLP DOI BibTeX RDF
29	Yuanbao Ai, Lingling Yu, Xiao Tan, Xiaoying Chai, Sen Liu	Discovery of Covalent Ligands via Noncovalent Docking by Dissecting Covalent Docking Based on a "Steric-Clashes Alleviating Receptor (SCAR)" Strategy.	J. Chem. Inf. Model.	2016	DBLP DOI BibTeX RDF
29	Annamari Martinviita, Leena Kuure, Pentti Luoma	Do we speak the same language?: design goals and culture clashes in an online forum for young people.	C&T	2015	DBLP DOI BibTeX RDF
29	Mohammad Shaheer Zubairi, Trevor T. Robinson, Cecil G. Armstrong, Danielle S. Soban	A Sensitivity Approach for Eliminating Clashes From Computer Aided Design Model Assemblies.	J. Comput. Inf. Sci. Eng.	2014	DBLP DOI BibTeX RDF
29	Zbigniew Baster	The identification and the elimination of clashes in the structure of an early-stage intermediate in the protein folding process.	Bio Algorithms Med Syst.	2013	DBLP DOI BibTeX RDF
29	Jelle van Dijk, Camille Moussette, Stoffel Kuenen, Caroline Hummels	Radical clashes: what tangible interaction is made of.	TEI	2013	DBLP DOI BibTeX RDF
29	Elpida Tzafestas	Cultural Dynamics, Clashes and Stability.	IICAI	2011	DBLP BibTeX RDF
29	Yifei Huang, Jason Leung	Clashes of femtocells with limited number of location area codes.	CHINACOM	2011	DBLP DOI BibTeX RDF
29	Guri Bordal, Anne Lacheret	Clashes Revisited in the Light of Interprosody.	ICPhS	2011	DBLP BibTeX RDF
29	Karl-Heinz Wolf	Clashes of Knowledge: Orthodoxies and Heterodoxies in Science and Religion.	J. Documentation	2009	DBLP DOI BibTeX RDF
29	Stéphane Ducasse, Roel Wuyts, Alexandre Bergel, Oscar Nierstrasz	User-changeable visibility: resolving unanticipated name clashes in traits.	OOPSLA	2007	DBLP DOI BibTeX RDF	composition, information hiding, encapsulation, traits, dynamic typing
29	Chintan Amrit, Jos van Hillegersberg	Mapping Social Network to Software Architecture to Detect Structure Clashes in Agile Software Development.	ECIS	2007	DBLP BibTeX RDF
29	Daniel Port, Haruka Nakao, Hideki Nomoto, Hitoshi Mamiya, Masafumi Katahira	Resolving COTS System Assessment Clashes.	ICCBSS	2005	DBLP DOI BibTeX RDF
29	Orit Hazzan, Yael Dubinsky	Clashes between Culture and Software Development Methods: The Case of the Israeli Hi-Tech Industry and Extreme Programming.	AGILE	2005	DBLP DOI BibTeX RDF
29	Barry W. Boehm	Escaping the software tar pit: model clashes and how to avoid them.	ACM SIGSOFT Softw. Eng. Notes	1999	DBLP DOI BibTeX RDF
29	Judith Klavans	New Center at Columbia University for Digital Library Research: Fostering Interdisciplinary Research and Bridging Cultural Clashes.	D Lib Mag.	1996	DBLP BibTeX RDF
29	Michael Miller	Context Shifts and Clashes in Dialogues: An Active Logic Perspective.	Fundam. Informaticae	1995	DBLP DOI BibTeX RDF
29	Lu Lahodynskyj	Structure Clashes.	Comput. J.	1991	DBLP DOI BibTeX RDF
29	R. Geoff Dromey, T. A. Chorvat	Structure Clashes - An Alternative to Program Inversion.	Comput. J.	1990	DBLP DOI BibTeX RDF
29	Michael Stubbs	An Examination of the Resolution of Structure Clashes by Structure Inversion.	Comput. J.	1984	DBLP DOI BibTeX RDF
17	Muhammad Ali Babar 0001, Tuomas Ihme, Minna Pikkarainen	An industrial case of exploiting product line architectures in agile software development.	SPLC	2009	DBLP BibTeX RDF	software architecture, software product lines, empirical research, agile approaches
17	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
17	Les Nelson, Diana K. Smetters, Elizabeth F. Churchill	Keyholes: selective sharing in close collaboration.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	content segmentation, text snippets, collaboration, access control, annotation, tags, information sharing, distributed work, clipping
17	Ann Blandford, Paul Curzon, Joanne K. Hyde, George Papatzanis	EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System.	DSV-IS	2008	DBLP DOI BibTeX RDF	in-car navigation systems, satellite navigation systems, usability evaluation, multimodal systems
17	Rena Bakhshi, Wan J. Fokkink, Jun Pang 0001, Jaco van de Pol	Leader Election in Anonymous Rings: Franklin Goes Probabilistic.	IFIP TCS	2008	DBLP DOI BibTeX RDF
17	Emanuele Toscano, Lucia Lo Bello	A topology management protocol with bounded delay for Wireless Sensor Networks.	ETFA	2008	DBLP DOI BibTeX RDF
17	Luca Moretti, Ken Akiba	Probabilistic Measures of Coherence and the Problem of Belief Individuation.	Synth.	2007	DBLP DOI BibTeX RDF
17	Bassem S. Rabil, Mona A. Fahmy, Gamal M. Aly	Task allocation using inherited area density multiobjective particle Swarm Optimization.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
17	Morkel Theunissen, Derrick G. Kourie, Andrew Boake	Corporate-, Agile- and Open Source Software Development: A Witch's Brew or An Elixir of Life?.	CEE-SET	2007	DBLP DOI BibTeX RDF	Corporate software development, Agile software development, Compatibility, Open source software development
17	Abdul Nasir	Use of ICT: a step towards good governance in developing countries.	ICEGOV	2007	DBLP DOI BibTeX RDF	courts, prisoner, video trial, ICT, good governance
17	Susan Eick	A History of Indonesian Telecommunication Reform 1999-2006.	HICSS	2007	DBLP DOI BibTeX RDF
17	Miguel Jimenez, Tobias Lindahl, Konstantinos Sagonas	A language for specifying type contracts in Erlang and its interaction with success typings.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	success typings, contracts, erlang
17	Amanda J. Parkes, Jussi Ängeslevä	Physical interventions in a location based cultural narrative: a case study of embedded media in public space installations.	TEI	2007	DBLP DOI BibTeX RDF	embedded interaction, location-based narrative, thermochromic displays, visual displays
17	Tobias Lindahl, Konstantinos Sagonas	Practical type inference based on success typings.	PPDP	2006	DBLP DOI BibTeX RDF	success typings, Erlang, subtyping, constraint-based type inference
17	Licia Capra, Mirco Musolesi	Autonomic Trust Prediction for Pervasive Systems.	AINA (2)	2006	DBLP DOI BibTeX RDF
17	Anh Duy Nguyen, Deniz Gurkan	Optical CDMA Code Collision and Translation Performance Analysis.	LCN	2006	DBLP DOI BibTeX RDF
17	Esa Hyytiä, Laura Nieminen	Linear program formulation for routing problem in OBS networks.	ISCC	2004	DBLP DOI BibTeX RDF
17	Ingemar Dahlstrand	The Early Nordic Software Effort.	History of Nordic Computing	2003	DBLP DOI BibTeX RDF	Algol 60, Nordic historical efforts, compilers, Software
17	Oliver Kullmann	The Combinatorics of Conflicts between Clauses.	SAT	2003	DBLP DOI BibTeX RDF
17	Aaron Marcus	Culture class vs. culture clash.	Interactions	2002	DBLP DOI BibTeX RDF
17	Jie Xu 0007, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke	Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	coordinated atomic (CA) actions, embedded fault-tolerant systems, model checking, reliability, Concurrency, object orientation, formal verification, safety, exception handling
17	Bruno de Vuyst	Dispute Resolution for gTLD Conflicts.	HICSS	2002	DBLP DOI BibTeX RDF	Internet, Domain, Legal Issues, Dispute
17	Martin T. Swain, Graham J. L. Kemp	A CLP Approach to the Protein Side-Chain Placement Problem.	CP	2001	DBLP DOI BibTeX RDF
17	Matthias Blume, Andrew W. Appel	Hierarchical modularity.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	compilation management, name visibility, modularity, modules, linking, program structure
17	Jie Xu 0007, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke	Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.	FTCS	1999	DBLP DOI BibTeX RDF	coordinated atomic (CA) actions, reliability and safety, model checking, Concurrency, object orientation, formal verification, exception handling, reactive systems
17	Paul Hudak	Functional Reactive Programming (Abstract).	ESOP	1999	DBLP DOI BibTeX RDF
17	Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen	Expressing Structural Properties as Language Constructs.	ESOP	1999	DBLP DOI BibTeX RDF
17	Alexander Egyed, Cristina Gacek	Automatically Detecting Mismatches During Component-based and Model-based Development.	ASE	1999	DBLP DOI BibTeX RDF	Component Mismatches, Model Mismatches, Design, Software Architecture, COTS, View Integration
17	Pierre-Louis Curien, Thérèse Hardin, Jean-Jacques Lévy	Confluence Properties of Weak and Strong Calculi of Explicit Substitutions.	J. ACM	1996	DBLP DOI BibTeX RDF	confluency, explicit substitutions
17	Peter Graf	Extended Path-Indexing.	CADE	1994	DBLP DOI BibTeX RDF
17	William J. Creighton	Managing technical staff.	SIGUCCS	1990	DBLP DOI BibTeX RDF
17	Alexandre Boudet	Unification in a Combination of Equational Theories: an Efficient Algorithm.	CADE	1990	DBLP DOI BibTeX RDF
17	H. B. M. Jonkers	Description Algebra.	Algebraic Methods	1987	DBLP DOI BibTeX RDF
17	Kim S. Andreasen, Svend Elkjaer Frandsen, Morten Kromberg	How to win the respect and admiration of the rest of the DP world.	APL	1987	DBLP DOI BibTeX RDF	APL