Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | José L. Balcázar, Elvira Mayordomo |
A Note on Genericity and Bi-Immunity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 193-196, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Klaus Ambos-Spies |
Resource-Bounded Genericity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 162-181, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Sy D. Friedman |
The Genericity Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 59(2), pp. 606-614, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Ed Seidewitz |
Genericity versus Inheritance Reconsidered: Self-Reference Using Generics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1994, Portland, Oregon, USA, October 23-27, 1994., pp. 153-163, 1994, ACM, 0-89791-688-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Masako Takahashi |
A Simple Proof of the Genericity Lemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Language and Computation ![In: Logic, Language and Computation, Festschrift in Honor of Satoru Takasu, pp. 117-118, 1994, Springer, 0-387-57935-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Klaus-Dieter Schewe, David W. Stemple, Bernhard Thalheim |
Higher-Level Genericity in Object-Oriented Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMAD ![In: Sixth International Conference on Management of Data, COMAD 1994, Windsor Manor Sheraton & Towers, Bangalore, India, December 19-21, 1994., 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
21 | Panagiotis Katalagarianos |
Employing genericity and case-based reasoning to effectively reuse code ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1994 |
RDF |
|
21 | Giuseppe Longo, Kathleen Milsted, Sergei Soloviev 0001 |
The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 121(1&2), pp. 323-349, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Giuseppe Longo, Kathleen Milsted, Sergei Soloviev 0001 |
The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 6-14, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Dinesh K. Pai, Ming C. Leu |
Genericity and singularities of robot manipulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics Autom. ![In: IEEE Trans. Robotics Autom. 8(5), pp. 545-559, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Hamdy S. Soliman, John B. Johnston |
Dynamic Genericity in Imperative Languages: Example in CML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI ![In: Computing and Information - ICCI'92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings, pp. 96-99, 1992, IEEE Computer Society, 0-8186-2812-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
21 | Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel |
Identification, Genericity and Consistency in Object-Oriented Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT'92, 4th International Conference, Berlin, Germany, October 14-16, 1992, Proceedings, pp. 341-356, 1992, Springer, 3-540-56039-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Stephen A. Fenner |
Notions of Resource-Bounded Category and Genericity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Sixth Annual Structure in Complexity Theory Conference, Chicago, Illinois, USA, June 30 - July 3, 1991, pp. 196-212, 1991, IEEE Computer Society, 0-8186-2255-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
21 | Steffen Lempp, Theodore A. Slaman |
A Limit on Relative Genericity in the Recursively Enumerable Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 54(2), pp. 376-395, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Jean-Michel Hufflen |
Fonctions et généricité dans un langage de programmation parallèle. (Functions and genericity in a parallel programming language). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
21 | Kate Copestake |
1-Genericity in the Enumeration Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 53(3), pp. 878-887, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
21 | Andrew U. Frank |
Multiple Inheritance and Genericity for the Integration of a Database Management System in an Object-Oriented Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OODBS ![In: Advances in Object-Oriented Database Systems, 2nd International Workshop on Object-Oriented Database Systems, Bad Münster am Stein-Ebernburg, FRG, September 27-30, 1988, Proceedings, pp. 268-273, 1988, Springer, 3-540-50345-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
21 | Bertrand Meyer 0001 |
Genericity versus Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1986, Portland, Oregon, USA, Proceedings., pp. 391-405, 1986, ACM, 0-89791-204-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
21 | Stuart A. Kurtz |
Notions of Weak Genericity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 48(3), pp. 764-770, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
21 | F. Nourani |
Forcing with Universal Sentences and Genericity of Inductive Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADT ![In: Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Germany, 1983, University of Passau. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
21 | Didier Bert, Roger Soler |
About Data Type Genericity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFPC ![In: Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings, pp. 231-243, 1981, Springer, 3-540-10699-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
12 | Noémie Esnault, Jérôme Royan, Rémi Cozot, Christian Bouville |
A flexible framework to personalize 3D web users experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: 3D technologies for the World Wide Web, Proceedings of the 15th International Conference on Web 3D Technology, Web3D 2010, Los Angeles, California, USA, July 24-25, 2010, pp. 35-44, 2010, ACM, 978-1-4503-0209-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
languages and structures, virtual reality, graphical user interfaces, interfaces, multimedia databases, web-based interactions |
12 | Stephanie Weirich, Chris Casinghino |
Arity-generic datatype-generic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010, pp. 15-26, 2010, ACM, 978-1-60558-890-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
agda, arity-generic programming, generic haskell, dependent types |
12 | Bryan Chadwick, Karl J. Lieberherr |
Weaving generic programming and traversal performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 9th International Conference on Aspect-Oriented Software Development, AOSD 2010, Rennes and Saint-Malo, France, March 15-19, 2010, pp. 61-72, 2010, ACM, 978-1-60558-958-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Gwillerm Froc, Issam Mabrouki, Xavier Lagrange |
Design and performance of wireless data gathering networks based on unicast random walk routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 17(4), pp. 1214-1227, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
quality of service (QoS), wireless sensor networks, routing, random walk, data gathering |
12 | X. Goudou, Julien Munier |
The gradient and heavy ball with friction dynamical systems: the quasiconvex case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 116(1-2), pp. 173-191, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 37N40, 37L05, 46N10 |
12 | Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos |
Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers, pp. 115-131, 2009, Springer, 978-3-642-04693-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Alexis Joly, Olivier Buisson |
Logo retrieval with a contrario visual query expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 17th International Conference on Multimedia 2009, Vancouver, British Columbia, Canada, October 19-24, 2009, pp. 581-584, 2009, ACM, 978-1-60558-608-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
a contrario, image, query expansion, retrieval, logo |
12 | Sébastien Ferré |
Efficient Browsing and Update of Complex Data Based on the Decomposition of Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Leveraging Semantic Technologies, 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings, pp. 159-172, 2009, Springer, 978-3-642-03078-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Wouter De Borger, Bert Lagaisse, Wouter Joosen |
A generic and reflective debugging architecture to support runtime visibility and traceability of aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2-6, 2009, pp. 173-184, 2009, ACM, 978-1-60558-442-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
aop, debugging architecture, traceability, visibility |
12 | Sumant Tambe, Aniruddha S. Gokhale |
LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSL ![In: Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings, pp. 100-124, 2009, Springer, 978-3-642-03033-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Roland Levillain, Thierry Géraud, Laurent Najman |
Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Mathematical Morphology and Its Application to Signal and Image Processing, 9th International Symposium, ISMM 2009, Groningen, The Netherlands, August 24-27, 2009 Proceedings, pp. 295-306, 2009, Springer, 978-3-642-03612-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Frédéric Cazals, Marc Pouget |
Algorithm 889: Jet_fitting_3: - A Generic C++ Package for Estimating the Differential Properties on Sampled Surfaces via Polynomial Fitting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 35(3), pp. 24:1-24:20, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
C++ design, sampled surfaces, computational geometry, Approximation, interpolation, differential geometry, numerical linear algebra |
12 | Geoff Coulson, Gordon S. Blair, Paul Grace, François Taïani, Ackbar Joolia, Kevin Lee, Jo Ueyama, Thirunavukkarasu Sivaharan |
A generic component model for building systems software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 26(1), pp. 1:1-1:42, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Component-based software, computer systems implementation |
12 | Taisuke Sato, Yoshitaka Kameya, Kenichi Kurihara |
Variational Bayes via propositionalized probability computation in PRISM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 54(1-3), pp. 135-158, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T37, 62F15 |
12 | John M. Hitchcock, Aduri Pavan, N. V. Vinodchandran |
Partial Bi-immunity, Scaled Dimension, and NP-Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 42(2), pp. 131-142, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Many-one completeness, Bi-immunity, Scaled dimension, Turing completeness |
12 | Anupam Chattopadhyay, Xiaolin Chen, Harold Ishebabi, Rainer Leupers, Gerd Ascheid, Heinrich Meyr |
High-level Modelling and Exploration of Coarse-grained Re-configurable Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008, pp. 1334-1339, 2008, ACM, 978-3-9810801-3-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Gauvain Bourgne, Vincent Corruble |
A Framework for Knowledge Discovery in a Society of Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 11th International Conference, DS 2008, Budapest, Hungary, October 13-16, 2008. Proceedings, pp. 172-184, 2008, Springer, 978-3-540-88410-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Laszlo Szathmary, Petko Valtchev, Amedeo Napoli, Robert Godin |
Constructing Iceberg Lattices from Frequent Closures Using Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 11th International Conference, DS 2008, Budapest, Hungary, October 13-16, 2008. Proceedings, pp. 136-147, 2008, Springer, 978-3-540-88410-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Søren B. Lassen, Paul Blain Levy |
Typed Normal Form Bisimulation for Parametric Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 341-352, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
LTS, bisimulation, parametric polymorphism, typed lambda calculus |
12 | Guillaume Damiand, David Coeurjolly |
A Generic and Parallel Algorithm for 2D Image Discrete Contour Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (2) ![In: Advances in Visual Computing, 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part II, pp. 792-801, 2008, Springer, 978-3-540-89645-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
2D contour recontruction, discrete geometry, combinatorial maps |
12 | Pablo Nogueira, Juan José Moreno-Navarro |
Bialgebra views: a way for polytypic programming to cohabit with data abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008, pp. 61-73, 2008, ACM, 978-1-60558-060-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
bialgebras, program generation, abstract types, polytypic programming |
12 | Guillaume Waignier, Prawee Sriplakich, Anne-Françoise Le Meur, Laurence Duchien |
A Model-Based Framework for Statically and Dynamically Checking Component Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, pp. 371-385, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Hong-Cheu Liu, Jeffrey Xu Yu |
On Safety, Computability and Local Property of Web Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Progress in WWW Research and Development, 10th Asia-Pacific Web Conference, APWeb 2008, Shenyang, China, April 26-28, 2008. Proceedings, pp. 251-262, 2008, Springer, 978-3-540-78848-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Adrián Santos, Francisco Almeida, Vicente Blanco Pérez, David Diez, Jonás Regueira, Esaú Sicilia |
Towards the Automatic Service Generation and Scheduling in the OpenCF Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: Second International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2008), March 4th-7th, 2008, Technical University of Catalonia, Barcelona, Spain, pp. 977-982, 2008, IEEE Computer Society, 978-0-7695-3109-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Mehdi Baba-ali, David Marcheix, Xavier Skapin, Yves Bertrand |
Generic computation of bulletin boards into geometric kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Afrigraph ![In: Proceedings of the 5th International Conference on Computer Graphics, Virtual Reality, Visualisation and Interaction in Africa, Afrigraph 2007, Grahamstown, South Africa, October 29-31, 2007, pp. 85-93, 2007, ACM, 978-1-59593-906-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
event follow-up mechanisms, topological entity modification, bulletin board, generalized maps |
12 | Feng Chen 0006, Grigore Rosu |
Mop: an efficient and generic runtime verification framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 569-588, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
monitoring-oriented programming, aspect-oriented programming, runtime verification |
12 | Norbert Völker |
HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings, pp. 334-351, 2007, Springer, 978-3-540-74590-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Herbert E. Scarf |
My Favorite Simplicial Complex and Some of Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, Third International Workshop, WINE 2007, San Diego, CA, USA, December 12-14, 2007, Proceedings, pp. 3, 2007, Springer, 978-3-540-77104-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Werner Dietl, Sophia Drossopoulou, Peter Müller 0001 |
Generic Universe Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings, pp. 28-53, 2007, Springer, 978-3-540-73588-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Morphing: Safely Shaping a Class in the Image of Others. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings, pp. 399-424, 2007, Springer, 978-3-540-73588-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Kung-Kiu Lau, Ling Ling, Vladyslav Ukis, Perla Velasco Elizondo |
Composite Connectors for Composing Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC@ETAPS ![In: Software Composition - 6th International Symposium, SC@ETAPS 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers, pp. 266-280, 2007, Springer, 978-3-540-77350-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Adrián Santos, Francisco Almeida, Vicente Blanco Pérez |
Lightweight Web Services for High Performace Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA ![In: Software Architecture, First European Conference, ECSA 2007, Aranjuez, Spain, September 24-26, 2007, Proceedings, pp. 225-236, 2007, Springer, 978-3-540-75131-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Tien N. Nguyen |
Multi-level Architectural Evolution Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA, pp. 258, 2007, IEEE Computer Society, 0-7695-2755-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Timos K. Sellis, Alkis Simitsis |
ETL Workflows: From Formal Specification to Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, 11th East European Conference, ADBIS 2007, Varna, Bulgaria, September 29-October 3, 2007, Proceedings, pp. 1-11, 2007, Springer, 978-3-540-75184-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Dharmalingam Ganesan, Jens Knodel, Ronny Kolb, Uwe Haury, Gerald Meier |
Comparing Costs and Benefits of Different Test Strategies for a Software Product Line: A Study from Testo AG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLC ![In: Software Product Lines, 11th International Conference, SPLC 2007, Kyoto, Japan, September 10-14, 2007, Proceedings, pp. 74-83, 2007, IEEE Computer Society, 0-7695-2888-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | André Galligo, Mark van Hoeij |
Approximate bivariate factorization: a geometric viewpoint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNC ![In: Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 1-10, 2007, ACM, 978-1-59593-744-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
maple code, algorithms, approximate factorization, algebraic geometry |
12 | Peter Lebmeir, Jürgen Richter-Gebert |
Recognition of Computationally Constructed Loci. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 52-67, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Bernard Mérialdo, Joakim Jiten, Eric Galmar, Benoit Huet |
A New Approach to Probabilistic Image Modeling with Multidimensional Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adaptive Multimedia Retrieval ![In: Adaptive Multimedia Retrieval: User, Context, and Feedback, 4th International Workshop, AMR 2006, Geneva, Switzerland, July 27-28, 2006, Revised Selected Papers, pp. 95-107, 2006, Springer, 978-3-540-71544-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Utz Westermann, Ramesh C. Jain |
E - A Generic Event Model for Event-Centric Multimedia Data Management in eChronicle Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 22nd International Conference on Data Engineering Workshops, ICDE 2006, 3-7 April 2006, Atlanta, GA, USA, pp. 106, 2006, IEEE Computer Society, 0-7695-2571-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Alex Potanin, James Noble 0001, Dave Clarke 0001, Robert Biddle |
Generic ownership for generic Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 311-324, 2006, ACM, 1-59593-348-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Java, generics, type systems, ownership |
12 | Jean-Paul Sansonnet, David Leray, Jean-Claude Martin |
Architecture of a Framework for Generic Assisting Conversational Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVA ![In: Intelligent Virtual Agents, 6th International Conference, IVA 2006, Marina Del Rey, CA, USA, August 21-23, 2006, Proceedings, pp. 145-156, 2006, Springer, 3-540-37593-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Sébastien Macé, Éric Anquetil |
A Generic Method for Eager Interpretation of On-Line Handwritten Structured Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (2) ![In: 18th International Conference on Pattern Recognition (ICPR 2006), 20-24 August 2006, Hong Kong, China, pp. 1106-1109, 2006, IEEE Computer Society, 0-7695-2521-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Volkan Arslan, Patrick Eugster, Piotr Nienaltowski, Sebastien Vaucouleur |
SCOOP - Concurrency Made Easy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Research Results of the DICS Program ![In: Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program, pp. 82-102, 2006, Springer, 3-540-36821-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Sébastien Ferré |
Negation, Opposition, and Possibility in Logical Concept Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006, Proceedings, pp. 130-145, 2006, Springer, 3-540-32203-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Dominique Colnet, Guillem Marpons-Ucero, Frederic Merizen |
Reconciling Subtyping and Code Reuse in Object-Oriented Languages: Using inherit and insert in SmartEiffel, the GNU Eiffel Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Reuse of Off-the-Shelf Components, 9th International Conference on Software Reuse, ICSR 2006, Turin, Italy, June 12-15, 2006, Proceedings, pp. 203-216, 2006, Springer, 3-540-34606-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | E. Sagianos, Nicos Karcanias |
The Generic McMillan Degree: A New Method Using Integer Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2006, 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I, pp. 798-801, 2006, Springer, 3-540-34379-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Benjamin Devèze, Caroline Chopinaud, Patrick Taillibert |
ALBA: A Generic Library for Programming Mobile Agents with Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROMAS ![In: Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers, pp. 129-148, 2006, Springer, 978-3-540-71955-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Bertrand Coüasnon |
What can we learn from the processing of 165, 000 forms from the 19th century? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIAL ![In: Second International Workshop on Document Image Analysis for Libraries (DIAL 2006), 27-28 April 2006, Lyon, France, pp. 172-179, 2006, IEEE Computer Society, 0-7695-2531-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Ichiro Hasuo |
Generic Forward and Backward Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings, pp. 406-420, 2006, Springer, 3-540-37376-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Benoît Le Callennec, Ronan Boulic |
Robust kinematic constraint detection for motion data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Computer Animation ![In: Proceedings of the 2006 ACM SIGGRAPH/Eurographics Symposium on Computer Animation, SCA 2006, Vienna, Austria, September 2-4, 2006, pp. 281-290, 2006, Eurographics Association, 3-905673-34-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Marcin Zalewski, Sibylle Schupp |
Change Impact Analysis for Generic Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 24-27 September 2006, Philadelphia, Pennsylvania, USA, pp. 35-44, 2006, IEEE Computer Society, 0-7695-2354-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Uwe Aßmann, Jendrik Johannes, Jakob Henriksson, Ilie Savga |
Composition of Rule Sets and Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures, pp. 68-92, 2006, Springer, 3-540-38409-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Marc Le Goc, Michel Gaeta |
Modelling structures in generic space, a condition for adaptiveness of monitoring cognitive agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 41(2-3), pp. 113-140, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
monitoring, expert systems, diagnosis, autonomous agent, cognitive agent |
12 | Jan Verelst |
The Influence of the Level of Abstraction on the Evolvability of Conceptual Models of Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 10(4), pp. 467-494, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
abstraction, Conceptual modelling, maintainability, evolvability |
12 | Gunter Fuchs |
A Characterization of Generalized Príkrý Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(8), pp. 935-971, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
P?íkrý Forcing, Iterated Ultrapowers, Covering |
12 | Sylvain Prat, Patrick Gioia, Yves Bertrand, Daniel Méneveaux |
Connectivity compression in an arbitrary dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 21(8-10), pp. 876-885, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Compression, Connectivity, Generalized maps, Topological structure |
12 | Fabrice Kordon, Laurent Pautet |
Toward Nex-Generation Middleware? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Distributed Syst. Online ![In: IEEE Distributed Syst. Online 6(3), 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
distributed systems, middleware |
12 | Gopalan Nadathur, Xiaochu Qi |
Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, pp. 110-124, 2005, Springer, 3-540-30553-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Satoru Iwata 0001, Ryo Shimizu |
Combinatorial Analysis of Generic Matrix Pencils. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings, pp. 335-348, 2005, Springer, 3-540-26199-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Pierre-Alain Muller, Franck Fleurey, Jean-Marc Jézéquel |
Weaving Executability into Object-Oriented Meta-languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings, pp. 264-278, 2005, Springer, 3-540-29010-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | N. Huot, H. Dubreuil, Laurent Fesquet, Marc Renaudin |
FPGA Architecture for Multi-Style Asynchronous Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany, pp. 32-33, 2005, IEEE Computer Society, 0-7695-2288-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Isabel Díaz, Oscar Pastor 0001, Alfredo Matteo |
Modeling Interactions using Role-Driven Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August - 2 September 2005, Paris, France, pp. 209-220, 2005, IEEE Computer Society, 0-7695-2425-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Suan Khai Chong, Shonali Krishnaswamy, Seng Wai Loke |
A Context-Aware Approach to Conserving Energy in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom Workshops ![In: 3rd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2005 Workshops), 8-12 March 2005, Kauai Island, HI, USA, pp. 401-405, 2005, IEEE Computer Society, 0-7695-2300-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Roberto De Virgilio, Riccardo Torlone |
A general methodology for context-aware data access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiDE ![In: Proceedings of the 4th ACM International Workshop on Data Engineering for Wireless and Mobile Access, MobiDE 2005, June 12, 2005, Baltimore, MD, USA, pp. 9-15, 2005, ACM, 1-59593-088-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
data intensive web sites, context awareness, adaptive information systems |
12 | Philippe Moser |
Generic Density and Small Span Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005, Proceedings, pp. 92-102, 2005, Springer, 3-540-28193-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Frédéric Baudoin, Philippe Bretier, Vincent Corruble |
A Dialogue Agent with Adaptive and Proactive Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Compiegne, France, September 19-22, 2005, pp. 293-296, 2005, IEEE Computer Society, 0-7695-2416-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Sutirtha Bhattacharya, Dewayne E. Perry |
Contextual reusability metrics for event-based architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISESE ![In: 2005 International Symposium on Empirical Software Engineering (ISESE 2005), 17-18 November 2005, Noosa Heads, Australia, pp. 459-468, 2005, IEEE Computer Society, 0-7803-9507-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Volker Kuttruff, Thomas Genssler |
Invasive Configuration of Generic Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC@ETAPS ![In: Software Composition - 4th International Workshop, SC@ETAPS 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers, pp. 183-197, 2005, Springer, 3-540-28748-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Liwen Lin, Suzanne M. Embury, Brian Warboys |
Facilitating the Implementation and Evolution of Business Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 21st IEEE International Conference on Software Maintenance (ICSM 2005), 25-30 September 2005, Budapest, Hungary, pp. 609-612, 2005, IEEE Computer Society, 0-7695-2368-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Brian Cabana, Suad Alagic, Jeff Faulkner |
Parametric polymorphism for Java: is there any hope in sight? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 39(12), pp. 22-31, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Java core reflection, class files, class objects, generics, Java virtual machine, parametric polymorphism, loading |
12 | Laurent Michel, Pascal Van Hentenryck |
A decomposition-based implementation of search strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(2), pp. 351-383, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
search, combinatorial optimization, Constraint programming |
12 | Rachid Guerraoui, Michel Raynal |
The Information Structure of Indulgent Consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(4), pp. 453-466, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
indulgent algorithm, leader oracle, fault tolerance, modularity, consensus, Asynchronous distributed system, random oracle, crash failure, unreliable failure detector, information structure |
12 | Olivier Lefebvre, Florent Lamiraux, Cédric Pradalier, Thierry Fraichard |
Obstacles Avoidance for Car-like Robots Integration and Experimentation on Two Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 4277-4282, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Gustavo J. Bobeff, Jacques Noyé |
Component specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004, pp. 39-50, 2004, ACM, 1-58113-835-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
component generator, program slicing, partial evaluation, component-based software development |
12 | Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre |
Using XML Transformations for Enterprise Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers, pp. 42-56, 2004, Springer, 3-540-48928-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Tim Owen, Des Watson |
Reducing the Cost of Object Boxing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 202-216, 2004, Springer, 3-540-21297-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Cédric Jacquiot, Yolaine Bourda, Fabrice Popineau |
GEAHS: A Generic Educational Adaptive Hypermedia System Based on Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AH ![In: Adaptive Hypermedia and Adaptive Web-Based Systems, Third International Conference, AH 2004, Eindhoven, The Netherlands, August 23-26, 2004, Proceedings, pp. 413-416, 2004, Springer, 3-540-22895-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Abdelmadjid Ketfi, Noureddine Belkhatir |
A Metamodel-Based Approach for the Dynamic Reconfiguration of Component-Based Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Software Reuse: Methods, Techniques and Tools: 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2009. Proceedings, pp. 264-273, 2004, Springer, 3-540-22335-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
DYVA, Metamodel, Dynamic reconfiguration, Component model |
12 | Santi Caballé, Fatos Xhafa, Thanasis Daradoumis, Joan Manuel Marquès |
Towards a generic platform for developing CSCL applications using Grid infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 4th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid 2004), April 19-22, 2004, Chicago, Illinois, USA, pp. 200-207, 2004, IEEE Computer Society, 0-7803-8430-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|