|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies, 5th International Conference, EC-Web 2004, Zaragoza, Spain, August 31-September 3, 2004, Proceedings, pp. 135-143, 2004, Springer, 3-540-22917-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Patrick Th. Eugster, Christian Heide Damm, Rachid Guerraoui |
Towards Safe Distributed Application Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom, pp. 347-356, 2004, IEEE Computer Society, 0-7695-2163-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPS ![In: The IEEE/ACS International Conference on Pervasive Services (ICPS'04), July 19-23, 2004, American University of Beirut (AUB), Lebanon, pp. 39-48, 2004, IEEE Computer Society, 0-7803-8577-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Ronny Kolb, John D. McGregor, Dirk Muthig |
Workshop on Quality Assurance in Reuse Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLC ![In: Software Product Lines, Third International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004, Proceedings, pp. 330, 2004, Springer, 3-540-22918-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | John M. Hitchcock, Aduri Pavan, N. V. Vinodchandran |
Partial Bi-immunity and NP-Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: 19th Annual IEEE Conference on Computational Complexity (CCC 2004), 21-24 June 2004, Amherst, MA, USA, pp. 198-203, 2004, IEEE Computer Society, 0-7695-2120-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Jacob Feldman |
Perceptual Grouping by Selection of a Logically Minimal Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 55(1), pp. 5-25, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
nonaccidental properties, logic, perceptual grouping, perceptual organization |
12 | Samson Abramsky, Radha Jagadeesan |
A Game Semantics for Generic Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 1-22, 2003, Springer, 3-540-00897-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Sylvain Lombardy, Raphael Poss, Yann Régis-Gianas, Jacques Sakarovitch |
Introducing VAUCANSON. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings, pp. 96-107, 2003, Springer, 3-540-40561-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Panos Vassiliadis, Alkis Simitsis, Panos Georgantas, Manolis Terrovitis |
A Framework for the Design of ETL Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 15th International Conference, CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings, pp. 520-535, 2003, Springer, 3-540-40442-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Patrick Ruch, Robert H. Baud, Antoine Geissbühler |
Learning-Free Text Categorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine, 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003, Proceedings, pp. 199-208, 2003, Springer, 3-540-20129-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Jacques-Olivier Lachaud, Benjamin Taton |
Deformable Model with Adaptive Mesh and Automated Topology Changes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DIM ![In: 4th International Conference on 3D Digital Imaging and Modeling (3DIM 2003), 6-10 October 2003, Banff, Canada, pp. 12-19, 2003, IEEE Computer Society, 0-7695-1991-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Ludovic Langevine, Pierre Deransart, Mireille Ducassé |
A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers, pp. 171-195, 2003, Springer, 3-540-21834-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Peter Spyns, Robert Meersman, Mustafa Jarrar |
Data Modelling versus Ontology Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 31(4), pp. 12-17, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
ontology and knowledge engineering, data modelling |
12 | Thomas Zaslavsky |
Perpendicular Dissections of Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 27(3), pp. 303-351, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Uwe Aßmann |
Beyond Generic Component Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Component Deployment ![In: Component Deployment, IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings, pp. 141-154, 2002, Springer, 3-540-43847-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Ralf Lämmel |
Towards generic refactoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Workshop on Rule-Based Programming ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002, pp. 15-28, 2002, ACM, 1-58113-606-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRAC ![In: Innovative Concepts for Agent-Based Systems, First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002, Revised Papers, pp. 434-446, 2002, Springer, 3-540-40725-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 13th IEEE International Workshop on Rapid System Prototyping (RSP 2002), 1-3 July 2002, Darmstadt, Germany, pp. 42-47, 2002, IEEE Computer Society, 0-7695-1703-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Sébastien Pillement, Daniel Chillet, Olivier Sentieys |
Behavioral IP Specification and Integration Framework for High-Level Design Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 3rd International Symposium on Quality of Electronic Design, ISQED 2002, San Jose, CA, USA, March 18-21, 2002, pp. 388-393, 2002, IEEE Computer Society, 0-7695-1561-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Fabrice Bernardi, Jean François Santucci |
Model design using hierarchical web-based libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 14-17, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
models libraries, access, web-based, abstraction hierarchy, models reuse |
12 | Jan Goossenaerts, Christine Pelletier |
Ontological Commitment for Participative Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: ER 2001 Workshops, HUMACS, DASWIS, ECOMO, and DAMA, Yokohama Japan, November 27-30, 2001, Revised Papers, pp. 127-140, 2001, Springer, 3-540-44122-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Cristina Gacek, Michalis Anastasopoules |
Implementing product line variabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSR ![In: Proceedings of the ACM SIGSOFT Symposium on Software Reusability: Putting Software Reuse in Context, SSR 2001, May 18-20, 2001, Toronto, Ontario, Canada, pp. 109-117, 2001, ACM, 1-58113-358-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001, Revised Papers, pp. 185-193, 2001, Springer, 3-540-43792-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Jan Van den Bussche |
Applications of Alfred Tarski's Ideas in Database Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings, pp. 20-37, 2001, Springer, 3-540-42554-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Ehud Lamm |
Component Libraries and Language Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings, pp. 215-228, 2001, Springer, 3-540-42123-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 6th International Conference on Document Analysis and Recognition (ICDAR 2001), 10-13 September 2001, Seattle, WA, USA, pp. 215-220, 2001, IEEE Computer Society, 0-7695-1263-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 25(1), pp. 1-42, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000, Proceedings., pp. 133-140, 2000, Springer, 3-540-67956-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: 23rd Australasian Computer Science Conference (ACSC 2000), 31 January - 3 February 2000, Canberra, Australia, pp. 66-73, 2000, IEEE Computer Society, 0-7695-0518-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings, pp. 22-41, 2000, Springer, 3-540-67944-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Refinement Process, Relational Database Implementation, B method |
12 | Berthold Hoffmann, Mark Minas |
Towards Generic Rule-Based Visual Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: 2000 IEEE International Symposium on Visual Languages, VL 2000, Seattle, Washington, USA, September 10-13, 2000, Proceedings., pp. 65-66, 2000, IEEE Computer Society, 0-7695-0840-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRID ![In: Grid Computing - GRID 2000, First IEEE/ACM International Workshop, Bangalore, India, December 17, 2000, Proceedings, pp. 123-134, 2000, Springer, 3-540-41403-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMILE ![In: 3D Structure from Images - SMILE 2000, Second European Workshop on 3D Structure from Multiple Images of Large-Scale Environments Dublin, Ireland, July 12, 2000, Revised Papers, pp. 218-234, 2000, Springer, 3-540-41845-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Claude-Pierre Jeannerod |
An algorithm for the eigenvalue perturbation problem: reduction of a -matrix to a Lidskii matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, ISSAC 2000, St. Andrews, United Kingdom, August 6-10, 2000, pp. 184-191, 2000, ACM, 1-58113-218-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Suad Alagic |
Type-Checking OQL Queries In the ODMG Type Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 24(3), pp. 319-360, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999, Proceedings, pp. 1385-1392, 1999, Springer, 3-540-66443-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'99 - Object-Oriented Programming, 13th European Conference, Lisbon, Portugal, June 14-18, 1999, Proceedings, pp. 367-390, 1999, Springer, 3-540-66156-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Gösta Grahne, Emmanuel Waller |
How to Make SQL Stand for String Query Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Research Issues in Structured and Semistructured Database Programming, 7th International Workshop on Database Programming Languages, DBPL'99, Kinloch Rannoch, Scotland, UK, September 1-3, 1999, Revised Papers, pp. 61-79, 1999, Springer, 3-540-41481-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Benny Reich, Israel Ben-Shaul |
A Componentized Architecture for Dynamic Electronic Markets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 27(4), pp. 40-47, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong |
Relational Expressive Power of Constraint Query Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 45(1), pp. 1-34, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 15(2), pp. 34-44, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
12 | David R. Musser, Sibylle Schupp, Rüdiger Loos |
Requirement Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers, pp. 12-24, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers, pp. 133-145, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
12 | David Abrahams |
Exception-Safety in Generic Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers, pp. 69-79, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
exception-safety, C++, exceptions, STL |
12 | Dewayne E. Perry |
Generic Architecture Descriptions for Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESPRIT ARES Workshop ![In: Development and Evolution of Software Architectures for Product Families, Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998, Proceedings, pp. 51-56, 1998, Springer, 3-540-64916-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 465-473, 1998, Springer, 3-540-64827-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Kim B. Bruce, Martin Odersky, Philip Wadler |
A Statically Safe Alternative to Virtual Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings, pp. 523-549, 1998, Springer, 3-540-64737-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
virtual types, static type checking, Language design, parametric polymorphism |
12 | Jan Willem Klop |
Origin Tracking in Term Rewriting (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings, pp. 1, 1998, Springer, 3-540-64301-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Fritz Schwarz |
ALLTYPES: An ALgebraic Language and TYPE System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings, pp. 270-283, 1998, Springer, 3-540-64960-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Martin J. Stift |
(Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '98, 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings, pp. 128-139, 1998, Springer, 3-540-64536-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Ralph Frisbie, Richard Hendrickson, Michael Metcalf |
The F Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 32(6), pp. 69-74, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPC ![In: 5th International Workshop on Program Comprehension (WPC '97), May 28-30, 1997 - Dearborn, MI, USA, pp. 118-127, 1997, IEEE Computer Society, 0-8186-7993-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Jacob Feldman |
Efficient Regularity-Based Grouping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1997 Conference on Computer Vision and Pattern Recognition (CVPR '97), June 17-19, 1997, San Juan, Puerto Rico, pp. 288-294, 1997, IEEE Computer Society, 0-8186-7822-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Segmentation and grouping, human and machine vision |
12 | Serge Abiteboul, Victor Vianu |
Queries and Computation on the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT '97, 6th International Conference, Delphi, Greece, January 8-10, 1997, Proceedings, pp. 262-275, 1997, Springer, 3-540-62222-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Vojislav B. Misic, Simon Moser |
From Formal Metamodels to Metrics: An Object-Oriented Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (24) ![In: TOOLS 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, September 1997, Beijing, China, pp. 330-339, 1997, IEEE Computer Society, 0-8186-8551-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings, pp. 254-268, 1996, Springer, 3-540-61735-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
12 | Martin Otto 0001 |
The Logic of Explicitly Presentation-Invariant Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers, pp. 369-384, 1996, Springer, 3-540-63172-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'95 - Object-Oriented Programming, 9th European Conference, Århus, Denmark, August 7-11, 1995, Proceedings, pp. 215-234, 1995, Springer, 3-540-60160-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
12 | Angelo Morzenti, Pierluigi San Pietro |
Object-Oriented Logical Specification of Time-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 3(1), pp. 56-98, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 5th International Symposium, ISAAC '94, Beijing, P. R. China, August 25-27, 1994, Proceedings, pp. 369-377, 1994, Springer, 3-540-58325-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
12 | Giuseppe Longo |
Types as Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings, pp. 658-670, 1993, Springer, 3-540-56610-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
12 | Guido Moerkotte, Andreas Zachmann |
Multiple Substitutability Without Affecting the Taxonomy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'92, 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992, Proceedings, pp. 120-135, 1992, Springer, 3-540-55270-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
12 | Chung-Shyan Liu |
On the object-orientedness of C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 26(3), pp. 63-67, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
C++ |
12 | Angelo Morzenti, Pierluigi San Pietro |
An Object-Oriented Logic Language for Modular System Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings, pp. 39-58, 1991, Springer, 3-540-54262-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(6), pp. 720-741, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Development Environments (SDE) ![In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Boston, Massachusetts, USA, November 28-30, 1988, pp. 153-162, 1988, ACM, 0-89791-290-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #366 of 366 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4] |
|