|
|
Venues (Conferences, Journals, ...)
|
|
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 |
97 | Toacy 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](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(3), pp. 145-159, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
lightweight analysis, Frameworks, specification, software process, software design, instantiation, design analysis |
89 | Carla Alessandra Lima Reis, Rodrigo Quites Reis, Heribert Schlebbe, Daltro José Nunes |
Resource Instantiation Policies for Software Process Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 53-58, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Software process instantiation, Instantiation Policies, Resource Instantiation, Process-Centered Software Engineering Environments |
66 | Kaile Su, Yinyin Xiao, Qingliang Chen, Han Lin |
Semantic interpretation of compositional logic in instantiation space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 1(2), pp. 191-199, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Instantiation Space, Compositional Logic, interpretation |
66 | Cyril 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](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 22(2), pp. 204-233, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Plant growth simulation, calibrated physiological simulation, landscape simulation, radiosity, instantiation, lighting simulation |
66 | Carla 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](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002, pp. 795-802, 2002, ACM, 1-58113-556-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
software process instantiation, resource allocation, policies, process-centered software engineering environments |
66 | Rosana T. V. Braga, Paulo César Masiero |
The Role of Pattern Languages in the Instantiation of Object-Oriented Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS Workshops ![In: Advances in Object-Oriented Information Systems, OOIS 2002 Workshops, Montpellier, France, September 2, 2002, Proceedings, pp. 122-131, 2002, Springer, 3-540-44088-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
framework instantiation, frameworks, Software reuse, pattern languages |
66 | Alvaro Ortigosa, Marcelo Campo |
SmartBooks: A Step Beyond Active-Cookbooks to Aid in Framework Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (29) ![In: TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France, pp. 131-140, 1999, IEEE Computer Society, 0-7695-0275-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
framework instantiation support environments, active cookbooks, planning algorithms, Object-oriented frameworks, design documentation |
63 | Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti |
Instantiation of Parameterized Data Structures for Model-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
B ![In: B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings, pp. 94-108, 2007, Springer, 3-540-68760-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
62 | Daniel S. Spiegel, Lisa M. Frye, Linda L. Day |
Issues in the instantiation of template classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 40(2), pp. 48-51, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
borland model, explicit instantiation, gnu compiler, header file, implementation file, implicit instantiation, template class, C++ |
59 | Sebastian Benz |
AspectT: aspect-oriented test case instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 7th International Conference on Aspect-Oriented Software Development, AOSD 2008, Brussels, Belgium, March 31 - April 4, 2008, pp. 1-12, 2008, ACM, 978-1-60558-044-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
test case instantiation, model-based testing, test case generation, aspect-orientation |
59 | Chengwan He, Keqing He, Fei He, Feng Yao, Jin Liu |
Using RoleOf Relationship in Design Pattern Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (2) ![In: International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, USA, pp. 353-358, 2005, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
design pattern instantiation, RoleOf relationship, UML, meta model, role |
55 | Jan Bosch, Mattias Högström |
Product Instantiation in Software Product Lines: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCSE ![In: Generative and Component-Based Software Engineering, Second International Symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000, Revised Papers, pp. 147-162, 2000, Springer, 3-540-42578-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
51 | Jawad Makki, Anne-Marie Alquier, Violaine Prince |
Semi Automatic Ontology Instantiation in the domain of Risk Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Information Processing ![In: Intelligent Information Processing IV, 5th IFIP International Conference on Intelligent Information Processing, October 19-22, 2008, Beijing, China, pp. 254-265, 2008, Springer, 978-0-387-87684-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Instance Recognition Rules, Information Extraction, Risk Management, Semantic analysis, Ontology Population, Instantiation, POS tagging |
50 | Simona Perri, Francesco Ricca, Marco Sirianni |
A parallel ASP instantiator based on DLV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAMP ![In: Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, Madrid, Spain, January 19, 2010, pp. 73-82, 2010, ACM, 978-1-60558-859-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
parallelism, answer set programming, grounding, instantiation |
47 | Peter Killisperger, Markus Stumptner, Georg Peters, Georg Grossmann, Thomas Stückl |
Meta Model Based Architecture for Software Process Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSP ![In: Trustworthy Software Development Processes, International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings, pp. 63-74, 2009, Springer, 978-3-642-01679-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
47 | Konstantin Korovin |
iProver - An Instantiation-Based Theorem Prover for First-Order Logic (System Description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings, pp. 292-298, 2008, Springer, 978-3-540-71069-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Chengwan He, Fei He, Keqing He, Jin Liu, Wenjie Tu |
RoleOf Relationship and Its Meta Model for Design Pattern Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADMA ![In: Advanced Data Mining and Applications, First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005, Proceedings, pp. 642-653, 2005, Springer, 3-540-27894-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Eric E. Allen, Robert Cartwright |
Safe instantiation in generic Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 3rd International Symposium on Principles and Practice of Programming in Java, PPPJ 2004, Las Vegas, Nevada, USA, June 16-18, 2004, pp. 61-66, 2004, ACM, 1-59593-171-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Vaclav Cechticky, Philippe Chevalley, Alessandro Pasetti, Walter Schaufelberger |
A Genertative Approach to Framework Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings, pp. 267-286, 2003, Springer, 3-540-20102-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Alvaro Ortigosa, Marcelo Campo, Roberto Moriyón |
Towards agent-oriented assistance for framework instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 2000, Minneapolis, Minnesota, USA, October 15-19, 2000., pp. 253-263, 2000, ACM, 1-58113-200-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
application framework reuse, software development, planning, support tools |
47 | Alessandra Di Pierro, Wlodzimierz Drabent |
On Negation As Instantiation. ![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. 32-46, 1996, Springer, 3-540-61735-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
43 | Renato Silva, Michael J. Butler |
Supporting Reuse of Event-B Developments through Generic Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 466-484, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
generic instantiation, formal methods, reusability, event-B |
43 | Keith Vanderveen, C. V. Ramamoorthy |
Partial instantiation theorem proving for distributed resource location. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 192-197, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
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 |
43 | Youssef Lahlou, Noureddine Mouaddib |
Relaxing the Instantiation Link: Towards a Content-Based Data Model for Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advances Information System Engineering, 8th International Conference, CAiSE'96, Heraklion, Crete, Greece, May 20-24, 1996, Proceedings, pp. 540-561, 1996, Springer, 3-540-61292-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Relaxed Instantiation, Realization Link, Information Retrieval, Query Language, Meta-Model, Semantic Model |
42 | Bezawada Bruhadeshwar, Sandeep S. Kulkarni |
User Revocation in Secure Adhoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCIT ![In: Distributed Computing and Internet Technology, Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings, pp. 377-388, 2005, Springer, 3-540-30999-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Secure Adhoc Networks, Secret Instantiation Protocols, Group Key Management Protocols, User Revocation |
42 | Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst |
Converting java programs to use generic libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 15-34, 2004, ACM, 1-58113-831-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
JSR-14, Java 1.5, Java 5, instantiation types, raw types, type inference, parametric polymorphism, generic types, parameterized types |
40 | Luiz F. Bittencourt, Carlos R. Senna, Edmundo R. M. Madeira |
Bicriteria Service Scheduling with Dynamic Instantiation for Workflow Execution on Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPC ![In: Advances in Grid and Pervasive Computing, 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings, pp. 177-188, 2009, Springer, 978-3-642-01670-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Suk Kyung Shin, Jin Sun Her, Soo Dong Kim |
Applying Formal Approach to Core Asset Instantiation in Product Line Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 6-8 December 2006, Bangalore, India, pp. 427-434, 2006, IEEE Computer Society, 0-7695-2685-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Uwe Aßmann, Andreas Bartho, Falk Hartmann, Ilie Savga, Barbara Wittek |
Trustworthy Instantiation of Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Architecting Systems with Trustworthy Components ![In: Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, pp. 152-168, 2004, Springer, 3-540-35800-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Vladimír Marko |
Template Based, Designer Driven Design Pattern Instantiation Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceeding, pp. 144-158, 2004, Springer, 3-540-23243-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Matthew Bishop, Peter B. Andrews |
Selectively Instantiating Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings, pp. 365-380, 1998, Springer, 3-540-64675-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Ada Diaconescu, Philippe Lalanda |
A decentralized, architecture-based framework for self-growing applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAC ![In: Proceedings of the 6th International Conference on Autonomic Computing, ICAC 2009, June 15-19, 2009, Barcelona, Spain, pp. 55-56, 2009, ACM, 978-1-60558-564-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
autonomic instance management, context-aware model interpretation, decentralised instantiation logic, self-growing software |
34 | Chengwan He, Zheng Li, Keqing He |
Identification and Extraction of Design Pattern Information in Java Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8, 2008, Phuket, Thailand, pp. 828-834, 2008, IEEE Computer Society, 978-0-7695-3263-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
design pattern, annotation, meta model, instantiation |
34 | Clifford E. Cummings |
SystemVerilog implicit port enhancements accelerate system design & verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 231-236, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
*, .name, Verilog EMACS mode, implicit ports, Verilog, instantiation, SystemVerilog |
34 | Wolfgang Hesse |
More matters on (meta-)modelling: remarks on Thomas Kühne's "matters". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 5(4), pp. 387-394, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Model and original, Prescriptive/descriptive model, Token model, Ontological/linguistic instantiation, Modelling, Transformation, Metamodel, Projection, Type model |
34 | Oliver Kullmann |
Upper and Lower Bounds on the Complexity of Generalised Resolution and Generalised Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 40(3-4), pp. 303-352, 2004. The full citation details ...](Pics/full.jpeg) |
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 |
34 | Daya Gupta, Naveen Prakash |
Engineering Methods from Method Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 6(3), pp. 135-160, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
CAME tool, Method assembly, Method components, Meta-model, Requirements specification, Method engineering, Instantiation |
33 | Xurui 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](Pics/bibsonomy.png) |
SPCNC ![In: Proceedings of the 2nd International Conference on Signal Processing, Computer Networks and Communications, SPCNC 2023, Xiamen, China, December 8-10, 2023, pp. 136-140, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Harald Ganzinger, Konstantin Korovin |
Theory Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, pp. 497-511, 2006, Springer, 3-540-48281-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Valentino Vranic, Miloslav Sípka |
Binding Time Based Concept Instantiation in Feature Modeling. ![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. 407-410, 2006, Springer, 3-540-34606-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, pp. 177-189, 2006, Springer, 3-540-39625-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Marcí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](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 94-95, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
aspect modeling languages, model transformation, application frameworks, aspect-oriented frameworks |
32 | Alexandra Boldyreva, Marc Fischlin |
Analysis of Random Oracle Instantiation Scenarios for OAEP and Other Practical Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2005: 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005, Proceedings, pp. 412-429, 2005, Springer, 3-540-28114-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Mark Sims, Daniel D. Corkill, Victor R. Lesser |
Separating Domain and Coordination in Multi-Agent Organizational Design and Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 20-24 September 2004, Beijing, China, pp. 155-161, 2004, IEEE Computer Society, 0-7695-2101-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Rosana T. V. Braga, Paulo César Masiero |
Building a Wizard for Framework Instantiation Based on a Pattern Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS ![In: Object-Oriented Information Systems, 9th International Conference, OOIS 2003, Geneva, Switzerland, September 2-5, 2003, Proceedings, pp. 95-106, 2003, Springer, 3-540-40860-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
frameworks, Software reuse, pattern languages |
32 | Nachum Dershowitz |
Program Abstraction and Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 7(3), pp. 446-477, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
31 | Timo Asikainen, Tomi Männistö |
Nivel: a metamodelling language with a formal semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(4), pp. 521-549, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Nivel, Weight constraint rules, Conceptual modelling, Metamodelling, Formal semantics |
31 | Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone |
Enhancing DLV instantiator by backjumping techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 51(2-4), pp. 195-228, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68T27 |
31 | Dawei Hu, Liu Wenyin, Enhong Chen, Xiaoping Chen, Xin Li 0064 |
SIIPU*S: A Semantic Pattern Learning Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SKG ![In: 2006 International Conference on Semantics, Knowledge and Grid (SKG 2006), 1-3 November 2006, Guilin, China, pp. 52, 2006, IEEE Computer Society, 0-7695-2673-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Dimitri Chubarov, Andrei Voronkov |
Solving First-Order Constraints over the Monadic Class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 132-138, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Ivan Kurtev, Klaas van den Berg |
MISTRAL: A Language for Model Transformations in the MOF Meta-modeling Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAFA ![In: Model Driven Architecture, European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers, pp. 139-158, 2004, Springer, 3-540-28240-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Nicola Leone, Simona Perri, Francesco Scarcello |
Improving ASP Instantiators by Join-Ordering Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings, pp. 280-294, 2001, Springer, 3-540-42593-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Xavier Burgués Illa, Xavier Franch, Josep M. Ribó Balust |
Improving the accuracy of UML metamodel extensions by introducing induced associations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(3), pp. 361-379, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Shallow instantiation, Metaassociations, Software quality, Metamodelling, MOF, UML extension |
27 | Swen Jacobs, Uwe Waldmann |
Comparing Instance Generation Methods for Automated Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 38(1-3), pp. 57-78, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
disconnection calculus, primal partial instantiation, resolution-based instance generation, theorem proving, automated reasoning |
27 | Adam Kiezun, Robert M. Fuhrer, Frank Tip, Markus Keller |
Generics-related refactorings in eclipse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 170, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Java, generics, refactoring, Eclipse, type inference, parameterization, instantiation, type constraints, generic types |
27 | Thomas Kühne 0001 |
Understanding metamodeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 716-717, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
clabject, deep instantiation, instance-facet, linguistic classification, metatype, ontological classification, token model, type-facet, metamodeling, type model |
27 | Colin Atkinson 0001, Thomas Kühne 0001 |
Rearchitecting the UML infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 12(4), pp. 290-321, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML infrastructure, classification dimensions, deep instantiation, strict metamodeling, classification, unified modeling language, Metamodeling |
27 | Chauchin Su, Yue-Tsang Chen, Shyh-Jye Jou, Yuan-Tzu Ting |
Metrology for analog module testing using analog testability bus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1996, San Jose, CA, USA, November 10-14, 1996, pp. 594-599, 1996, IEEE Computer Society / ACM, 0-8186-7597-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
analog module, analog module testing, multiple instantiation, test response analysis, test waveform, testability bus, design for testability |
24 | Konstantin Korovin |
Instantiation-Based Automated Reasoning: From Theory to Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, pp. 163-166, 2009, Springer, 978-3-642-02958-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Andrew M. Sutton, Ryan Holeman, Jonathan I. Maletic |
Abstracting the template instantiation relation in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 25th IEEE International Conference on Software Maintenance (ICSM 2009), September 20-26, 2009, Edmonton, Alberta, Canada, pp. 559-562, 2009, IEEE Computer Society, 978-1-4244-4897-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Ellen Francine Barbosa, José Carlos Maldonado |
Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 503-518, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Gero Decker, Jan Mendling |
Instantiation Semantics for Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM ![In: Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings, pp. 164-179, 2008, Springer, 978-3-540-85757-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | David Romero 0001, Nathalíe Galeano, Arturo Molina 0001 |
A Virtual Breeding Environment Reference Model and Its Instantiation Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Enterprises and Collaborative Networks ![In: Pervasive Collaborative Networks, IFIP TC 5 WG 5.5 Ninth Working Conference on Virtual Enterprises, September 8-10, 2008, Poznan, Poland, pp. 15-24, 2008, Springer, 978-0-387-84836-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Vesna Sesum-Cavic, Eva Kühn |
Instantiation of a Generic Model for Load Balancing with Intelligent Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSOS ![In: Self-Organizing Systems, Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008. Proceedings, pp. 311-317, 2008, Springer, 978-3-540-92156-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
bee intelligence, load balancing, autonomous agents |
24 | Kostyantyn M. Shchekotykhin, Dietmar Jannach, Gerhard Friedrich, Olga Kozeruk |
AllRight: Automatic Ontology Instantiation from Tabular Web Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC/ASWC ![In: The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007., pp. 466-479, 2007, Springer, 978-3-540-76297-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Liam Doherty, Vive Kumar, Philip H. Winne |
Assisted Ontology Instantiation: a LearningKit perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 7th IEEE International Conference on Advanced Learning Technologies, ICALT 2007, Niigata, Japan, July 18-20, 2007, pp. 265-267, 2007, IEEE Computer Society, 978-0-7695-2916-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Jing Dong, Tu Peng, Zongyan Qiu |
Commutability of Design Pattern Instantiation and Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China, pp. 283-292, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Gerardo Padilla, Farokh B. Bastani, Carlos Montes de Oca, Miguel A. Serrano |
Instantiation Semantics for Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENC ![In: Seventh Mexican International Conference on Computer Science, ENC 2006, 18-22 September 2006, San Luis Potosi, Mexico, pp. 191-199, 2006, IEEE Computer Society, 0-7695-2666-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Sergio Camorlinga, Ken Barker 0001 |
The Biologically Inspired Distributed File System: An Emergent Thinker Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 81-96, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Kenji Manaka, Hiroyuki Sato |
Static optimization of XSLT stylesheets: template instantiation optimization and lazy XML parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2005 ACM Symposium on Document Engineering, Bristol, UK, November 2-4, 2005, pp. 55-57, 2005, ACM, 1-59593-240-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
saxon, optimization, XSLT, lazy evaluation |
24 | Adnene Guabtni, François Charoy |
Multiple Instantiation in a Dynamic Workflow Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 16th International Conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004, Proceedings, pp. 175-188, 2004, Springer, 3-540-22151-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Harald Ganzinger, Konstantin Korovin |
Integrating Equational Reasoning into Instantiation-Based Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 71-84, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | David von Oheimb, Volkmar Lotz |
Generic Interacting State Machines and Their Instantiation with Dynamic Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 144-166, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Harald Ganzinger, Konstantin Korovin |
New Directions in Instantiation-Based Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings, pp. 55-64, 2003, IEEE Computer Society, 0-7695-1884-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | David Maplesden, John G. Hosking, John C. Grundy |
A Visual Language for Design Pattern Modelling and Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy, pp. 338-339, 2001, IEEE Computer Society, 0-7803-7198-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Manuel Fähndrich, Jakob Rehof, Manuvir Das |
Scalable context-sensitive flow analysis using instantiation constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Vancouver, Britith Columbia, Canada, June 18-21, 2000, pp. 253-263, 2000, ACM, 1-58113-199-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings, pp. 289-307, 1998, Springer, 3-540-65765-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Glen McCluskey, Robert B. Murray |
Template Instantiation For C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 27(12), pp. 47-65, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
C++ |
24 | John 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](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 23rd Annual Simulation Symposium (ANSS-23 1990), Nashville, Tennessee, USA, 1990, pp. 15-32, 1990, IEEE Computer Society, 0-8186-2067-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Gilbert Cockton |
Getting there: six meta-principles and interaction design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009, pp. 2223-2232, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
axiology, meta-principles, worth-centred development frameworks, evaluation, design approaches |
23 | Kamel 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](Pics/bibsonomy.png) |
MMNS ![In: Management of Converged Multimedia Networks and Services, 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2008, Samos Island, Greece, September 22-26, 2008. Proceedings, pp. 157-169, 2008, Springer, 978-3-540-87358-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Marko 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](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2007, Vancouver, BC, Canada, June 18-23, 2007, Proceedings, pp. 278-287, 2007, ACM, 978-1-59593-644-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
resource description framework and schema, web ontology language, semantic networks |
23 | Yeting Ge, Clark W. Barrett, Cesare Tinelli |
Solving Quantified Verification Conditions Using Satisfiability Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, pp. 167-182, 2007, Springer, 978-3-540-73594-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Soo Ho Chang, Soo Dong Kim, Sung Yul Rhew |
A Variability-Centric Approach to Instantiating Core Assets in Product Line Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product-Focused Software Process Improvement, 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings, pp. 334-347, 2006, Springer, 3-540-34682-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Reinhold Letz, Gernot Stenz |
Generalised Handling of Variables in Disconnection Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, pp. 289-306, 2004, Springer, 3-540-22345-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Didier Bert, Catherine Oriat |
A Model Inference System for Generic Specification with Application to Code Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 741-755, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Ted L. Briggs, John Werth |
A Specification Language for Object-Oriented Analysis and Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994, pp. 365-385, 1994, Springer, 3-540-58202-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Object Types, Message-Passing, Specification Language, Object-Oriented Design, Object-Oriented Analysis, Object-Oriented Specification |
19 | Jörg Kienzle, Wisam Al Abed, Jacques Klein |
Aspect-oriented multi-view modeling. ![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. 87-98, 2009, ACM, 978-1-60558-442-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
aspect dependencies, binding, class diagram, sequence diagram, aspect-oriented modeling, state diagram, instantiation |
19 | Rostand Costa, Francisco V. Brasileiro, Guido Lemos de Souza Filho, Dênio Mariz Sousa |
OddCI: on-demand distributed computing infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-MTAGS ![In: Proceedings of the 2nd Workshop on Many-Task Computing on Grids and Supercomputers, MTAGS 2009, November 16, 2009, Portland, Oregon, USA, 2009, ACM, 978-1-60558-714-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
distributed computing infrastructure, on-demand instantiation, grid computing, cloud computing, broadcast, digital TV, high-throughput computing, many tasks computing |
19 | Helmut Seidl, Kumar Neeraj Verma |
Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(4), pp. 28:1-28:45, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
instantiation-based theorem proving, Cryptographic protocols, first-order logic, resolution, Horn clauses |
19 | Colin Atkinson 0001, Thomas Kühne 0001 |
Reducing accidental complexity in domain models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(3), pp. 345-359, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Accidental complexity, Modeling paradigm, Powertypes, Deep instantiation, Domain modeling, Modeling languages, Stereotypes, Model quality |
19 | Didier Rémy, Boris Yakobowski |
From ML to MLF: graphic type constraints with efficient type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 63-74, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
type generalization, type instantiation, graphs, ML, types, type inference, unification, system F, binders, type constraints, MLF |
19 | Eduardo Motta, Alexandre A. Andreatta, Sean W. M. Siqueira |
Populating a domain ontology from web historical dictionaries and encyclopedias. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EATIS ![In: Proceedings of the 2008 Euro American conference on Telematics and Information Systems, EATIS 2008, Aracaju, Brazil, September 10-12, 2008, 2008, 978-1-59593-988-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
domain ontology population, information extraction from text, relation instantiation from text |
19 | Soheil Ghiasi, Ani Nahapetian, Majid Sarrafzadeh |
An optimal algorithm for minimizing run-time reconfiguration delay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 3(2), pp. 237-256, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
instantiation ordering, reconfiguration delay, Reconfigurable computing |
19 | David D. Clark, Robert Braden, Aaron Falk, Venkata K. Pingali |
FARA: reorganizing the addressing architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 33(4), pp. 313-321, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Security, Model, Mobility, Architecture, Network, Modularity, Association, Rendezvous, Instantiation |
19 | Lothar Baum, Martin Becker 0002 |
Generic Components to Foster Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 266-277, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
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 |
19 | Stefano Spaccapietra, Christelle Vangenot, Christine Parent, Esteban Zimányi |
MurMur: A Research Agenda on Multiple Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DANTE ![In: 1999 International Symposium on Database Applications in Non-Traditional Environments (DANTE '99), 28-30 November 1999, Kyoto, Japan, pp. 373-384, 1999, IEEE Computer Society, 0-7695-0496-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
multi-instantiation, Conceptual models, Data modeling, roles, Spatio-temporal databases |
19 | Holger Keding, Markus Willems, Martin Coors, Heinrich Meyr |
FRIDGE: A Fixed-Point Design and Simulation Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1998 Design, Automation and Test in Europe (DATE '98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France, pp. 429-435, 1998, IEEE Computer Society, 0-8186-8359-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
FRIDGE, interpolative approach, fixed-C, assignment-time instantiation, simulation, design, interpolation, quantization, fixed-point |
19 | Shin'ichi Konomi, Yusuke Yokota, Kazuhiro Sakata, Yahiko Kambayashi |
Cooperative View Mechanisms in Distributed Multiuser Hypermedia Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS ![In: Proceedings of the Second IFCIS International Conference on Cooperative Information Systems, Kiawah Island, South Carolina, USA, June 24-27, 1997, Sponsored by IFCIS, The Intn'l Foundation on Cooperative Information Systems, pp. 15-24, 1997, IEEE Computer Society, 0-8186-7946-8. The full citation details ...](Pics/full.jpeg) |
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 |
19 | Gerhard Chroust, Stefan Hardt |
Executing Process Models - Activity and Project Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), March 11-15, 1996, Friedrichshafen, Germany., pp. 364-, 1996, IEEE Computer Society, 0-8186-7355-9. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|