|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 268 occurrences of 216 keywords
|
|
|
Results
Found 366 publication records. Showing 366 according to the selection in the facets
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 |
|
Displaying result #301 - #366 of 366 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4] |
|