Search results for "Genericity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Juho Mäkiö, Ilka Weber, Christof Weinhardt	Electronic Negotiations - A Generic Approach with Action Systems.	EC-Web	2004	DBLP DOI BibTeX RDF
12	Patrick Th. Eugster, Christian Heide Damm, Rachid Guerraoui	Towards Safe Distributed Application Development.	ICSE	2004	DBLP DOI BibTeX RDF
12	Ghita Kouadri Mostéfaoui, Jacques Pasquier-Rocha, Patrick Brézillon	Context-Aware Computing: A Guide for the Pervasive Computing Community.	ICPS	2004	DBLP DOI BibTeX RDF
12	Ronny Kolb, John D. McGregor, Dirk Muthig	Workshop on Quality Assurance in Reuse Contexts.	SPLC	2004	DBLP DOI BibTeX RDF
12	John M. Hitchcock, Aduri Pavan, N. V. Vinodchandran	Partial Bi-immunity and NP-Completeness.	CCC	2004	DBLP DOI BibTeX RDF
12	Jacob Feldman	Perceptual Grouping by Selection of a Logically Minimal Model.	Int. J. Comput. Vis.	2003	DBLP DOI BibTeX RDF	nonaccidental properties, logic, perceptual grouping, perceptual organization
12	Samson Abramsky, Radha Jagadeesan	A Game Semantics for Generic Polymorphism.	FoSSaCS	2003	DBLP DOI BibTeX RDF
12	Sylvain Lombardy, Raphael Poss, Yann Régis-Gianas, Jacques Sakarovitch	Introducing VAUCANSON.	CIAA	2003	DBLP DOI BibTeX RDF
12	Panos Vassiliadis, Alkis Simitsis, Panos Georgantas, Manolis Terrovitis	A Framework for the Design of ETL Scenarios.	CAiSE	2003	DBLP DOI BibTeX RDF
12	Patrick Ruch, Robert H. Baud, Antoine Geissbühler	Learning-Free Text Categorization.	AIME	2003	DBLP DOI BibTeX RDF
12	Jacques-Olivier Lachaud, Benjamin Taton	Deformable Model with Adaptive Mesh and Automated Topology Changes.	3DIM	2003	DBLP DOI BibTeX RDF
12	Ludovic Langevine, Pierre Deransart, Mireille Ducassé	A Generic Trace Schema for the Portability of CP(FD) Debugging Tools.	CSCLP	2003	DBLP DOI BibTeX RDF
12	Peter Spyns, Robert Meersman, Mustafa Jarrar	Data Modelling versus Ontology Engineering.	SIGMOD Rec.	2002	DBLP DOI BibTeX RDF	ontology and knowledge engineering, data modelling
12	Thomas Zaslavsky	Perpendicular Dissections of Space.	Discret. Comput. Geom.	2002	DBLP DOI BibTeX RDF
12	Uwe Aßmann	Beyond Generic Component Parameters.	Component Deployment	2002	DBLP DOI BibTeX RDF
12	Ralf Lämmel	Towards generic refactoring.	ACM SIGPLAN Workshop on Rule-Based Programming	2002	DBLP DOI BibTeX RDF	strafunski, frameworks, reuse, program transformation, functional programming, refactoring, language, generic programming
12	Charles-Antoine Brunet, Jean de Lafontaine, Gérard Lachiver	Generic Agent Architecture for Embedded Intelligent Systems.	WRAC	2002	DBLP DOI BibTeX RDF
12	Abdulfattah Mohammad Obeid, Alberto García Ortiz, Ralf Ludewig, Manfred Glesner	Prototyping of a High Performance Generic Viterbi Decoder.	IEEE International Workshop on Rapid System Prototyping	2002	DBLP DOI BibTeX RDF
12	Sébastien Pillement, Daniel Chillet, Olivier Sentieys	Behavioral IP Specification and Integration Framework for High-Level Design Reuse.	ISQED	2002	DBLP DOI BibTeX RDF
12	Fabrice Bernardi, Jean François Santucci	Model design using hierarchical web-based libraries.	DAC	2002	DBLP DOI BibTeX RDF	models libraries, access, web-based, abstraction hierarchy, models reuse
12	Jan Goossenaerts, Christine Pelletier	Ontological Commitment for Participative Simulation.	ER (Workshops)	2001	DBLP DOI BibTeX RDF
12	Cristina Gacek, Michalis Anastasopoules	Implementing product line variabilities.	SSR	2001	DBLP DOI BibTeX RDF	implementation approaches, implementing variabilities, product line variability, software product lines, traceability
12	Maria J. Blesa, Lluís Hernàndez, Fatos Xhafa	Parallel Skeletons for Tabu Search Method Based on Search Strategies and Neighborhood Partition.	PPAM	2001	DBLP DOI BibTeX RDF
12	Jan Van den Bussche	Applications of Alfred Tarski's Ideas in Database Theory.	CSL	2001	DBLP DOI BibTeX RDF
12	Ehud Lamm	Component Libraries and Language Features.	Ada-Europe	2001	DBLP DOI BibTeX RDF
12	Bertrand Coüasnon	DMOS: A Generic Document Recognition Method, Application to an Automatic Generator of Musical Scores, Mathematical Formulae and Table Structures Recognition Systems.	ICDAR	2001	DBLP DOI BibTeX RDF
12	Ralf Hartmut Güting, Michael H. Böhlen, Martin Erwig, Christian S. Jensen, Nikos A. Lorentzos, Markus Schneider 0001, Michalis Vazirgiannis	A foundation for representing and querying moving objects.	ACM Trans. Database Syst.	2000	DBLP DOI BibTeX RDF	moving point, moving region, spatio-temporal data types, moving objects, abstract data types, algebra, spatio-temporal databases
12	Jacques Chassin de Kergommeaux, Benhur de Oliveira Stein	Pajé: An Extensible Environment for Visualizing Multi-threaded Programs Executions.	Euro-Par	2000	DBLP DOI BibTeX RDF	visualization, parallel programming, MPI, pthread, performance debugging
12	Mark Evered, Gisela Menger, James Leslie Keedy, Axel Schmolitzky	Software Engineering Despite Object-Orientation.	ACSC	2000	DBLP DOI BibTeX RDF	object-oriented language design, software engineering, collections, classes
12	Régine Laleau, Amel Mammar	A Generic Process to Refine a B Specification into a Relational Database Implementation.	ZB	2000	DBLP DOI BibTeX RDF	Refinement Process, Relational Database Implementation, B method
12	Berthold Hoffmann, Mark Minas	Towards Generic Rule-Based Visual Programming.	VL	2000	DBLP DOI BibTeX RDF
12	Gaëtan Scotto di Apollonia, Christophe Gransart, Jean-Marc Geib	FOCALE: Towards a Grid View of Large Scale Computation Components.	GRID	2000	DBLP DOI BibTeX RDF	CORBA and JAVA distributed computing, objects and components
12	Andrew J. Davison, Nobuyuki Kita	Sequential Localisation and Map-Building in Computer Vision and Robotics.	SMILE	2000	DBLP DOI BibTeX RDF
12	Claude-Pierre Jeannerod	An algorithm for the eigenvalue perturbation problem: reduction of a -matrix to a Lidskii matrix.	ISSAC	2000	DBLP DOI BibTeX RDF
12	Suad Alagic	Type-Checking OQL Queries In the ODMG Type Systems.	ACM Trans. Database Syst.	1999	DBLP DOI BibTeX RDF	ODMG standard, Java, C++, type systems, parametric polymorphism, OQL
12	Eric Noulard, Nahid Emad	Object Oriented Design for Reusable Parallel Linear Algebra Software.	Euro-Par	1999	DBLP DOI BibTeX RDF	parallel code reuse, Krylov methods, OO design
12	Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller	Towards Automatic Specialization of Java Programs.	ECOOP	1999	DBLP DOI BibTeX RDF
12	Gösta Grahne, Emmanuel Waller	How to Make SQL Stand for String Query Language.	DBPL	1999	DBLP DOI BibTeX RDF
12	Benny Reich, Israel Ben-Shaul	A Componentized Architecture for Dynamic Electronic Markets.	SIGMOD Rec.	1998	DBLP DOI BibTeX RDF
12	Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong	Relational Expressive Power of Constraint Query Languages.	J. ACM	1998	DBLP DOI BibTeX RDF	constraint query language, database, constraints, expressive power, relational calculus
12	Peter J. Ashenden, Philip A. Wilsey, Dale E. Martin	SUAVE: Extending VHDL to Improve Data Modeling Support.	IEEE Des. Test Comput.	1998	DBLP DOI BibTeX RDF
12	David R. Musser, Sibylle Schupp, Rüdiger Loos	Requirement Oriented Programming.	Generic Programming	1998	DBLP DOI BibTeX RDF	requirement oriented programming, concept description language, algebraic concept definitions, TECTON, formal verification, specification language, generic programming, standard template library
12	Sibylle Schupp, Rüdiger Loos	SUCHTHAT - Generic Programming Works.	Generic Programming	1998	DBLP DOI BibTeX RDF
12	David Abrahams	Exception-Safety in Generic Components.	Generic Programming	1998	DBLP DOI BibTeX RDF	exception-safety, C++, exceptions, STL
12	Dewayne E. Perry	Generic Architecture Descriptions for Product Lines.	ESPRIT ARES Workshop	1998	DBLP DOI BibTeX RDF
12	Klaus Ambos-Spies, Steffen Lempp, Gunther Mainhardt	Randomness vs. Completeness: On the Diagonalization Strength of Resource-Bounded Random Sets.	MFCS	1998	DBLP DOI BibTeX RDF
12	Kim B. Bruce, Martin Odersky, Philip Wadler	A Statically Safe Alternative to Virtual Types.	ECOOP	1998	DBLP DOI BibTeX RDF	virtual types, static type checking, Language design, parametric polymorphism
12	Jan Willem Klop	Origin Tracking in Term Rewriting (Abstract).	RTA	1998	DBLP DOI BibTeX RDF
12	Fritz Schwarz	ALLTYPES: An ALgebraic Language and TYPE System.	AISC	1998	DBLP DOI BibTeX RDF
12	Martin J. Stift	(Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative.	Ada-Europe	1998	DBLP DOI BibTeX RDF
12	Ralph Frisbie, Richard Hendrickson, Michael Metcalf	The F Programming Language.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF	FCL
12	René Klösch, Johannes Weidl, Georg Trausmuth, Harald C. Gall	Facilitating Program Comprehension via Generic Components for State Machines.	WPC	1997	DBLP DOI BibTeX RDF
12	Jacob Feldman	Efficient Regularity-Based Grouping.	CVPR	1997	DBLP DOI BibTeX RDF	Segmentation and grouping, human and machine vision
12	Serge Abiteboul, Victor Vianu	Queries and Computation on the Web.	ICDT	1997	DBLP DOI BibTeX RDF
12	Vojislav B. Misic, Simon Moser	From Formal Metamodels to Metrics: An Object-Oriented Approach.	TOOLS (24)	1997	DBLP DOI BibTeX RDF	software metamodels, formal methods, software metrics, object-oriented software, Function Point Analysis
12	Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries	Meaningless Terms in Rewriting.	ALP	1996	DBLP DOI BibTeX RDF
12	Martin Otto 0001	The Logic of Explicitly Presentation-Invariant Circuits.	CSL	1996	DBLP DOI BibTeX RDF	generic computation, Circuit complexity, finite model theory
12	Laurent Arditi, Hélène Collavizza	An Object-Oriented Framework for the Formal Verification of Processors.	ECOOP	1995	DBLP DOI BibTeX RDF
12	Angelo Morzenti, Pierluigi San Pietro	Object-Oriented Logical Specification of Time-Critical Systems.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	TRIO+, real-time systems, formal specifications, temporal logic, first-order logic, object-oriented methodologies, model-theoretic semantics
12	Klaus Ambos-Spies, Sebastiaan Terwijn, Xizhong Zheng	Resource Bounded Randomness and Weakly Complete Problems.	ISAAC	1994	DBLP DOI BibTeX RDF
12	Giuseppe Longo	Types as Parameters.	TAPSOFT	1993	DBLP DOI BibTeX RDF
12	Guido Moerkotte, Andreas Zachmann	Multiple Substitutability Without Affecting the Taxonomy.	EDBT	1992	DBLP DOI BibTeX RDF
12	Chung-Shyan Liu	On the object-orientedness of C++.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	C++
12	Angelo Morzenti, Pierluigi San Pietro	An Object-Oriented Logic Language for Modular System Specification.	ECOOP	1991	DBLP DOI BibTeX RDF
12	Axel van Lamsweerde, Bruno Delcourt, Emmanuelle Delor, Marie-Claire Schayes, Robert Champagne	Generic Lifecycle Support in the ALMA Environment.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	ALMA, environment kernel, environment database, software objects, high-level tools, syntax-directed tools, software tools, programming environments, programming environments, database management systems, systems analysis, system documentation, system documentation, software lifecycle
12	Lori A. Clarke, Debra J. Richardson, Steven J. Zeil	TEAM: A Support Environment for Testing, Evaluation, and Analysis.	Software Development Environments (SDE)	1988	DBLP DOI BibTeX RDF