The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for instantiation with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1967-1986 (19) 1987-1990 (18) 1991-1992 (21) 1993-1994 (19) 1995-1996 (26) 1997 (16) 1998 (29) 1999 (30) 2000 (52) 2001 (45) 2002 (59) 2003 (73) 2004 (111) 2005 (102) 2006 (117) 2007 (111) 2008 (126) 2009 (106) 2010 (39) 2011 (24) 2012 (17) 2013 (24) 2014 (28) 2015 (27) 2016 (28) 2017 (28) 2018 (28) 2019 (26) 2020 (23) 2021 (24) 2022 (21) 2023 (26) 2024 (4)
Publication types (Num. hits)
article(312) book(1) incollection(6) inproceedings(1115) phdthesis(13)
Venues (Conferences, Journals, ...)
CoRR(37) IACR Cryptol. ePrint Arch.(15) CADE(14) Softw. Syst. Model.(11) HICSS(10) IPDPS(10) OOPSLA(10) SAC(10) COMPSAC(9) EUROCRYPT(9) AAMAS(8) CAiSE(8) IEEE Trans. Software Eng.(8) ASIACRYPT(7) DAC(7) ECOOP(7) More (+10 of total 860)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1290 occurrences of 950 keywords

Results
Found 1447 publication records. Showing 1447 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
97Toacy Cavalcante de Oliveira, Paulo S. C. Alencar, Ivan Mathias Filho, Carlos José Pereira de Lucena, Donald D. Cowan Software Process Representation and Analysis for Framework Instantiation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF lightweight analysis, Frameworks, specification, software process, software design, instantiation, design analysis
89Carla Alessandra Lima Reis, Rodrigo Quites Reis, Heribert Schlebbe, Daltro José Nunes Resource Instantiation Policies for Software Process Environments. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Software process instantiation, Instantiation Policies, Resource Instantiation, Process-Centered Software Engineering Environments
66Kaile Su, Yinyin Xiao, Qingliang Chen, Han Lin Semantic interpretation of compositional logic in instantiation space. Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Instantiation Space, Compositional Logic, interpretation
66Cyril Soler, François X. Sillion, Frédéric Blaise, Philippe Dereffye An efficient instantiation algorithm for simulating radiant energy transfer in plant models. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Plant growth simulation, calibrated physiological simulation, landscape simulation, radiosity, instantiation, lighting simulation
66Carla Alessandra Lima Reis, Rodrigo Quites Reis, Heribert Schlebbe, Daltro José Nunes A policy-based resource instantiation mechanism to automate software process management. Search on Bibsonomy SEKE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF software process instantiation, resource allocation, policies, process-centered software engineering environments
66Rosana T. V. Braga, Paulo César Masiero The Role of Pattern Languages in the Instantiation of Object-Oriented Frameworks. Search on Bibsonomy OOIS Workshops The full citation details ... 2002 DBLP  DOI  BibTeX  RDF framework instantiation, frameworks, Software reuse, pattern languages
66Alvaro Ortigosa, Marcelo Campo SmartBooks: A Step Beyond Active-Cookbooks to Aid in Framework Instantiation. Search on Bibsonomy TOOLS (29) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF framework instantiation support environments, active cookbooks, planning algorithms, Object-oriented frameworks, design documentation
63Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti Instantiation of Parameterized Data Structures for Model-Based Testing. Search on Bibsonomy B The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
62Daniel S. Spiegel, Lisa M. Frye, Linda L. Day Issues in the instantiation of template classes. Search on Bibsonomy ACM SIGCSE Bull. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF borland model, explicit instantiation, gnu compiler, header file, implementation file, implicit instantiation, template class, C++
59Sebastian Benz AspectT: aspect-oriented test case instantiation. Search on Bibsonomy AOSD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF test case instantiation, model-based testing, test case generation, aspect-orientation
59Chengwan He, Keqing He, Fei He, Feng Yao, Jin Liu Using RoleOf Relationship in Design Pattern Instantiation. Search on Bibsonomy ITCC (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF design pattern instantiation, RoleOf relationship, UML, meta model, role
55Jan Bosch, Mattias Högström Product Instantiation in Software Product Lines: A Case Study. Search on Bibsonomy GCSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
51Jawad Makki, Anne-Marie Alquier, Violaine Prince Semi Automatic Ontology Instantiation in the domain of Risk Management. Search on Bibsonomy Intelligent Information Processing The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Instance Recognition Rules, Information Extraction, Risk Management, Semantic analysis, Ontology Population, Instantiation, POS tagging
50Simona Perri, Francesco Ricca, Marco Sirianni A parallel ASP instantiator based on DLV. Search on Bibsonomy DAMP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF parallelism, answer set programming, grounding, instantiation
47Peter Killisperger, Markus Stumptner, Georg Peters, Georg Grossmann, Thomas Stückl Meta Model Based Architecture for Software Process Instantiation. Search on Bibsonomy ICSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
47Konstantin Korovin iProver - An Instantiation-Based Theorem Prover for First-Order Logic (System Description). Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Chengwan He, Fei He, Keqing He, Jin Liu, Wenjie Tu RoleOf Relationship and Its Meta Model for Design Pattern Instantiation. Search on Bibsonomy ADMA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
47Eric E. Allen, Robert Cartwright Safe instantiation in generic Java. Search on Bibsonomy PPPJ The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
47Vaclav Cechticky, Philippe Chevalley, Alessandro Pasetti, Walter Schaufelberger A Genertative Approach to Framework Instantiation. Search on Bibsonomy GPCE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
47Alvaro Ortigosa, Marcelo Campo, Roberto Moriyón Towards agent-oriented assistance for framework instantiation. Search on Bibsonomy OOPSLA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF application framework reuse, software development, planning, support tools
47Alessandra Di Pierro, Wlodzimierz Drabent On Negation As Instantiation. Search on Bibsonomy ALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
43Renato Silva, Michael J. Butler Supporting Reuse of Event-B Developments through Generic Instantiation. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF generic instantiation, formal methods, reusability, event-B
43Keith Vanderveen, C. V. Ramamoorthy Partial instantiation theorem proving for distributed resource location. Search on Bibsonomy COMPSAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF partial instantiation theorem prover, distributed resource location, INSTANT, clausal form, non clausal form, GSAT algorithm, propositional sentence, request matching, CORBA Object Trading Service, KIF, theorem proving, satisfiability, first order logic, KQML
43Youssef Lahlou, Noureddine Mouaddib Relaxing the Instantiation Link: Towards a Content-Based Data Model for Information Retrieval. Search on Bibsonomy CAiSE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Relaxed Instantiation, Realization Link, Information Retrieval, Query Language, Meta-Model, Semantic Model
42Bezawada Bruhadeshwar, Sandeep S. Kulkarni User Revocation in Secure Adhoc Networks. Search on Bibsonomy ICDCIT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Secure Adhoc Networks, Secret Instantiation Protocols, Group Key Management Protocols, User Revocation
42Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst Converting java programs to use generic libraries. Search on Bibsonomy OOPSLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF JSR-14, Java 1.5, Java 5, instantiation types, raw types, type inference, parametric polymorphism, generic types, parameterized types
40Luiz F. Bittencourt, Carlos R. Senna, Edmundo R. M. Madeira Bicriteria Service Scheduling with Dynamic Instantiation for Workflow Execution on Grids. Search on Bibsonomy GPC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Suk Kyung Shin, Jin Sun Her, Soo Dong Kim Applying Formal Approach to Core Asset Instantiation in Product Line Engineering. Search on Bibsonomy APSEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Uwe Aßmann, Andreas Bartho, Falk Hartmann, Ilie Savga, Barbara Wittek Trustworthy Instantiation of Frameworks. Search on Bibsonomy Architecting Systems with Trustworthy Components The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Vladimír Marko Template Based, Designer Driven Design Pattern Instantiation Support. Search on Bibsonomy ADBIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Matthew Bishop, Peter B. Andrews Selectively Instantiating Definitions. Search on Bibsonomy CADE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Ada Diaconescu, Philippe Lalanda A decentralized, architecture-based framework for self-growing applications. Search on Bibsonomy ICAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF autonomic instance management, context-aware model interpretation, decentralised instantiation logic, self-growing software
34Chengwan He, Zheng Li, Keqing He Identification and Extraction of Design Pattern Information in Java Program. Search on Bibsonomy SNPD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF design pattern, annotation, meta model, instantiation
34Clifford E. Cummings SystemVerilog implicit port enhancements accelerate system design & verification. Search on Bibsonomy DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF *, .name, Verilog EMACS mode, implicit ports, Verilog, instantiation, SystemVerilog
34Wolfgang Hesse More matters on (meta-)modelling: remarks on Thomas Kühne's "matters". Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Model and original, Prescriptive/descriptive model, Token model, Ontological/linguistic instantiation, Modelling, Transformation, Metamodel, Projection, Type model
34Oliver Kullmann Upper and Lower Bounds on the Complexity of Generalised Resolution and Generalised Constraint Satisfaction Problems. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF satisfiability problem (SAT), systems with partial instantiation, generalised resolution, lower bounds for resolution, upper bounds for SAT algorithms, automatisation of proof systems, generalised input resolution, generalised width restricted resolution, induced width of constraint satisfaction problems, constraint satisfaction problems, propositional logic, polynomial time hierarchies
34Daya Gupta, Naveen Prakash Engineering Methods from Method Requirements Specifications. Search on Bibsonomy Requir. Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF CAME tool, Method assembly, Method components, Meta-model, Requirements specification, Method engineering, Instantiation
33Xurui Li Exploring Dynamic Class Instantiation and Imagick Extension Vulnerabilities in PHP: Insights and Techniques in Securing PHP Applications - A Comprehensive Guide to Dynamic Class Instantiation and Imagick Extension Vulnerabilities. Search on Bibsonomy SPCNC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
32Harald Ganzinger, Konstantin Korovin Theory Instantiation. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Valentino Vranic, Miloslav Sípka Binding Time Based Concept Instantiation in Feature Modeling. Search on Bibsonomy ICSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Marcílio Mendonça, Paulo S. C. Alencar, Toacy Cavalcante de Oliveira, Donald D. Cowan Assisting aspect-oriented framework instantiation: towards modeling, transformation and tool support. Search on Bibsonomy OOPSLA Companion The full citation details ... 2005 DBLP  DOI  BibTeX  RDF aspect modeling languages, model transformation, application frameworks, aspect-oriented frameworks
32Alexandra Boldyreva, Marc Fischlin Analysis of Random Oracle Instantiation Scenarios for OAEP and Other Practical Schemes. Search on Bibsonomy CRYPTO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Mark Sims, Daniel D. Corkill, Victor R. Lesser Separating Domain and Coordination in Multi-Agent Organizational Design and Instantiation. Search on Bibsonomy IAT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Rosana T. V. Braga, Paulo César Masiero Building a Wizard for Framework Instantiation Based on a Pattern Language. Search on Bibsonomy OOIS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF frameworks, Software reuse, pattern languages
32Nachum Dershowitz Program Abstraction and Instantiation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
31Timo Asikainen, Tomi Männistö Nivel: a metamodelling language with a formal semantics. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Nivel, Weight constraint rules, Conceptual modelling, Metamodelling, Formal semantics
31Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone Enhancing DLV instantiator by backjumping techniques. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68T27
31Dawei Hu, Liu Wenyin, Enhong Chen, Xiaoping Chen, Xin Li 0064 SIIPU*S: A Semantic Pattern Learning Algorithm. Search on Bibsonomy SKG The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Dimitri Chubarov, Andrei Voronkov Solving First-Order Constraints over the Monadic Class. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Ivan Kurtev, Klaas van den Berg MISTRAL: A Language for Model Transformations in the MOF Meta-modeling Architecture. Search on Bibsonomy MDAFA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Nicola Leone, Simona Perri, Francesco Scarcello Improving ASP Instantiators by Join-Ordering Methods. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Xavier Burgués Illa, Xavier Franch, Josep M. Ribó Balust Improving the accuracy of UML metamodel extensions by introducing induced associations. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Shallow instantiation, Metaassociations, Software quality, Metamodelling, MOF, UML extension
27Swen Jacobs, Uwe Waldmann Comparing Instance Generation Methods for Automated Reasoning. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF disconnection calculus, primal partial instantiation, resolution-based instance generation, theorem proving, automated reasoning
27Adam Kiezun, Robert M. Fuhrer, Frank Tip, Markus Keller Generics-related refactorings in eclipse. Search on Bibsonomy OOPSLA Companion The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Java, generics, refactoring, Eclipse, type inference, parameterization, instantiation, type constraints, generic types
27Thomas Kühne 0001 Understanding metamodeling. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF clabject, deep instantiation, instance-facet, linguistic classification, metatype, ontological classification, token model, type-facet, metamodeling, type model
27Colin Atkinson 0001, Thomas Kühne 0001 Rearchitecting the UML infrastructure. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF UML infrastructure, classification dimensions, deep instantiation, strict metamodeling, classification, unified modeling language, Metamodeling
27Chauchin Su, Yue-Tsang Chen, Shyh-Jye Jou, Yuan-Tzu Ting Metrology for analog module testing using analog testability bus. Search on Bibsonomy ICCAD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF analog module, analog module testing, multiple instantiation, test response analysis, test waveform, testability bus, design for testability
24Konstantin Korovin Instantiation-Based Automated Reasoning: From Theory to Practice. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Andrew M. Sutton, Ryan Holeman, Jonathan I. Maletic Abstracting the template instantiation relation in C++. Search on Bibsonomy ICSM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Ellen Francine Barbosa, José Carlos Maldonado Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules. Search on Bibsonomy ISoLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Gero Decker, Jan Mendling Instantiation Semantics for Process Models. Search on Bibsonomy BPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24David Romero 0001, Nathalíe Galeano, Arturo Molina 0001 A Virtual Breeding Environment Reference Model and Its Instantiation Methodology. Search on Bibsonomy Virtual Enterprises and Collaborative Networks The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Vesna Sesum-Cavic, Eva Kühn Instantiation of a Generic Model for Load Balancing with Intelligent Algorithms. Search on Bibsonomy IWSOS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bee intelligence, load balancing, autonomous agents
24Kostyantyn M. Shchekotykhin, Dietmar Jannach, Gerhard Friedrich, Olga Kozeruk AllRight: Automatic Ontology Instantiation from Tabular Web Documents. Search on Bibsonomy ISWC/ASWC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Liam Doherty, Vive Kumar, Philip H. Winne Assisted Ontology Instantiation: a LearningKit perspective. Search on Bibsonomy ICALT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Jing Dong, Tu Peng, Zongyan Qiu Commutability of Design Pattern Instantiation and Integration. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Gerardo Padilla, Farokh B. Bastani, Carlos Montes de Oca, Miguel A. Serrano Instantiation Semantics for Message Sequence Charts. Search on Bibsonomy ENC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Sergio Camorlinga, Ken Barker 0001 The Biologically Inspired Distributed File System: An Emergent Thinker Instantiation. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Kenji Manaka, Hiroyuki Sato Static optimization of XSLT stylesheets: template instantiation optimization and lazy XML parsing. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2005 DBLP  DOI  BibTeX  RDF saxon, optimization, XSLT, lazy evaluation
24Adnene Guabtni, François Charoy Multiple Instantiation in a Dynamic Workflow Environment. Search on Bibsonomy CAiSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Harald Ganzinger, Konstantin Korovin Integrating Equational Reasoning into Instantiation-Based Theorem Proving. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24David von Oheimb, Volkmar Lotz Generic Interacting State Machines and Their Instantiation with Dynamic Features. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Harald Ganzinger, Konstantin Korovin New Directions in Instantiation-Based Theorem Proving. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24David Maplesden, John G. Hosking, John C. Grundy A Visual Language for Design Pattern Modelling and Instantiation. Search on Bibsonomy HCC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Manuel Fähndrich, Jakob Rehof, Manuvir Das Scalable context-sensitive flow analysis using instantiation constraints. Search on Bibsonomy PLDI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24Jan-Georg Smaus, Patricia M. Hill, Andy King Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. Search on Bibsonomy LOPSTR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
24Glen McCluskey, Robert B. Murray Template Instantiation For C++. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1992 DBLP  DOI  BibTeX  RDF C++
24John A. Miller 0001, Walter D. Potter, Krys J. Kochut, Orville R. Weyrich Jr. Model instantiation for query driven simulation in active KDL. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
23Gilbert Cockton Getting there: six meta-principles and interaction design. Search on Bibsonomy CHI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF axiology, meta-principles, worth-centred development frameworks, evaluation, design approaches
23Kamel Haddadou, Samir Ghamri-Doudane, Yacine Ghamri-Doudane, Nazim Agoulmine A Dimensioning and Deployment Tool for on Demand Policy-Based Resource Management System. Search on Bibsonomy MMNS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Marko A. Rodriguez, Johan Bollen, Herbert Van de Sompel A practical ontology for the large-scale modeling of scholarly artifacts and their usage. Search on Bibsonomy JCDL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF resource description framework and schema, web ontology language, semantic networks
23Yeting Ge, Clark W. Barrett, Cesare Tinelli Solving Quantified Verification Conditions Using Satisfiability Modulo Theories. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Soo Ho Chang, Soo Dong Kim, Sung Yul Rhew A Variability-Centric Approach to Instantiating Core Assets in Product Line Engineering. Search on Bibsonomy PROFES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Reinhold Letz, Gernot Stenz Generalised Handling of Variables in Disconnection Tableaux. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Didier Bert, Catherine Oriat A Model Inference System for Generic Specification with Application to Code Sharing. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
23Ted L. Briggs, John Werth A Specification Language for Object-Oriented Analysis and Design. Search on Bibsonomy ECOOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Object Types, Message-Passing, Specification Language, Object-Oriented Design, Object-Oriented Analysis, Object-Oriented Specification
19Jörg Kienzle, Wisam Al Abed, Jacques Klein Aspect-oriented multi-view modeling. Search on Bibsonomy AOSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF aspect dependencies, binding, class diagram, sequence diagram, aspect-oriented modeling, state diagram, instantiation
19Rostand Costa, Francisco V. Brasileiro, Guido Lemos de Souza Filho, Dênio Mariz Sousa OddCI: on-demand distributed computing infrastructure. Search on Bibsonomy SC-MTAGS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF distributed computing infrastructure, on-demand instantiation, grid computing, cloud computing, broadcast, digital TV, high-throughput computing, many tasks computing
19Helmut Seidl, Kumar Neeraj Verma Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF instantiation-based theorem proving, Cryptographic protocols, first-order logic, resolution, Horn clauses
19Colin Atkinson 0001, Thomas Kühne 0001 Reducing accidental complexity in domain models. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Accidental complexity, Modeling paradigm, Powertypes, Deep instantiation, Domain modeling, Modeling languages, Stereotypes, Model quality
19Didier Rémy, Boris Yakobowski From ML to MLF: graphic type constraints with efficient type inference. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type generalization, type instantiation, graphs, ML, types, type inference, unification, system F, binders, type constraints, MLF
19Eduardo Motta, Alexandre A. Andreatta, Sean W. M. Siqueira Populating a domain ontology from web historical dictionaries and encyclopedias. Search on Bibsonomy EATIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF domain ontology population, information extraction from text, relation instantiation from text
19Soheil Ghiasi, Ani Nahapetian, Majid Sarrafzadeh An optimal algorithm for minimizing run-time reconfiguration delay. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF instantiation ordering, reconfiguration delay, Reconfigurable computing
19David D. Clark, Robert Braden, Aaron Falk, Venkata K. Pingali FARA: reorganizing the addressing architecture. Search on Bibsonomy Comput. Commun. Rev. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Security, Model, Mobility, Architecture, Network, Modularity, Association, Rendezvous, Instantiation
19Lothar Baum, Martin Becker 0002 Generic Components to Foster Reuse. Search on Bibsonomy TOOLS (37) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF software development efficiency, project-specific aspects, reusable component contribution, inefficient general solutions, niche requirements, specifically optimized designs, requirements space, adaptable generic components, automatic component instantiation, embedded systems, software tools, software tools, abstraction, software reuse, software components, software reusability, computer aided software engineering, operating systems (computers), subroutines, embedded operating systems
19Stefano Spaccapietra, Christelle Vangenot, Christine Parent, Esteban Zimányi MurMur: A Research Agenda on Multiple Representations. Search on Bibsonomy DANTE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF multi-instantiation, Conceptual models, Data modeling, roles, Spatio-temporal databases
19Holger Keding, Markus Willems, Martin Coors, Heinrich Meyr FRIDGE: A Fixed-Point Design and Simulation Environment. Search on Bibsonomy DATE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF FRIDGE, interpolative approach, fixed-C, assignment-time instantiation, simulation, design, interpolation, quantization, fixed-point
19Shin'ichi Konomi, Yusuke Yokota, Kazuhiro Sakata, Yahiko Kambayashi Cooperative View Mechanisms in Distributed Multiuser Hypermedia Environments. Search on Bibsonomy CoopIS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF cooperative view mechanisms, distributed multiuser hypermedia environments, information-sharing mechanisms, user collaboration facility, communication facilities, heterogeneous information resources, common understanding, integrated views, flexible customization, personalized views, Dexter-based hypermedia systems, environmental objects, participation relationships, hypermedia deputies instantiation, distance presentations, computer-supported cooperative work, awareness, hypermedia, virtual classrooms, virtual offices
19Gerhard Chroust, Stefan Hardt Executing Process Models - Activity and Project Management. Search on Bibsonomy ECBS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Project/Process-Interface, Skill/role-Dependency, Cascade mode, Process Model, software engineering environment, Process enactment, instantiation, activity management
Displaying result #1 - #100 of 1447 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license