Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Andreea Urzica, Cristian Gratie |
Policy-Based Instantiation of Norms in MAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Intelligent Distributed Computing VI - Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, September 2012, pp. 287-296, 2012, Springer, 978-3-642-32523-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Weiguo Xie, Steffen Schumann, Jochen Franke, Paul Alfred Grützner, Lutz-Peter Nolte, Guoyan Zheng |
Finding Deformable Shapes by Correspondence-Free Instantiation and Registration of Statistical Shape Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLMI ![In: Machine Learning in Medical Imaging - Third International Workshop, MLMI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012, Revised Selected Papers, pp. 258-265, 2012, Springer, 978-3-642-35427-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Manabu Toyama, Tomoyuki Aotani, Hidehiko Masuhara |
A per-type instantiation mechanism for generic aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VariComp@AOSD ![In: Proceedings of the 3rd International Workshop on Variability & Composition, VariComp@AOSD 2012, Potsdam, Germany, March 26, 2012, pp. 25-30, 2012, ACM, 978-1-4503-1101-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Atsushi Fujita, Pierre Isabelle, Roland Kuhn 0001 |
Enlarging Paraphrase Collections through Generalization and Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP-CoNLL ![In: Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning, EMNLP-CoNLL 2012, July 12-14, 2012, Jeju Island, Korea, pp. 631-642, 2012, ACL, 978-1-937284-43-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Stelios Sotiriadis, Nik Bessis, Fatos Xhafa, Nick Antonopoulos |
Cloud Virtual Machine Scheduling: Modelling the Cloud Virtual Machine Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: Sixth International Conference on Complex, Intelligent, and Software Intensive Systems, CISIS 2012, Palermo, Italy, July 4-6, 2012, pp. 233-240, 2012, IEEE Computer Society, 978-1-4673-1233-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Erik Zawadzki, Geoffrey J. Gordon, André Platzer |
An Instantiation-Based Theorem Prover for First-Order Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISTATS ![In: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics, AISTATS 2011, Fort Lauderdale, USA, April 11-13, 2011, pp. 855-863, 2011, JMLR.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Mnacho Echenim, Nicolas Peltier |
Modular instantiation schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 111(20), pp. 989-993, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Peter Kajsa, L'ubomír Majtás, Pavol Návrat |
Design pattern instantiation directed by concretization and specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Inf. Syst. ![In: Comput. Sci. Inf. Syst. 8(1), pp. 41-72, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Mnacho Echenim, Nicolas Peltier |
Instantiation Schemes for Nested Theories ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1107.4937, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Simona Perri, Francesco Ricca, Marco Sirianni |
Parallel Instantiation of ASP Programs: Techniques and Experiments ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1110.1015, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Bas Ploeger, Wieger Wesselink, Tim A. C. Willemse |
Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 209(4), pp. 637-663, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Jing Dong 0005, Tu Peng, Yajing Zhao |
On Instantiation and Integration Commutability of Design Pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 54(1), pp. 164-184, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Vânia Gonçalves, Makis Stamatelatos, Antonio Manzalini, Beatriz Fuentes Arenaz, Markus Gruber, Christian Destré, Simon Delaere, Laurent Ciavaglia |
Construction, instantiation and analysis of a business ecosystem for autonomic future networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIN ![In: 15th International Conference on Intelligence in Next Generation Networks, ICIN 2011: `From Bits to Data, from Pipes to Clouds`, Berlin, Germany, October 4-7, 2011, pp. 213-218, 2011, IEEE, 978-1-61284-319-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Neon Steinecke, Reiner Quick, Thomas Mohr |
Environmental Scanning Systems: State Of The Art And First Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACIS ![In: Pacific Asia Conference on Information Systems, PACIS 2011: Quality Research in Pacific Asia, Brisbane, Queensland, Australia, 7-11 July 2011, pp. 181, 2011, Queensland University of Technology, 978-1-86435-644-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Rashin Rezazadeh, Bita Shadgar, Alireza Osareh, Arshin Rezazadeh |
Ontology-Based Data Instantiation Using Web Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMS ![In: Proceedings of the UKSim 5th European Symposium on Computer Modeling and Simulation, EMS 2011, Madrid, Spain, November 16-18, 2011, pp. 350-355, 2011, IEEE, 978-1-4673-0060-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Sinisa Neskovic, Radovan Cvetkovic |
Extending Feature Models with Deep Instantiation to Manage Complexity and Dynamism of Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 2011 Database and Expert Systems Applications, DEXA, International Workshops, Toulouse, France, August 29 - Sept. 2, 2011, pp. 51-55, 2011, IEEE Computer Society, 978-1-4577-0982-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Benedikt Hauptmann |
Model-based test instantiation for applications with user interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES Workshops ![In: Proceedings of the 12th International Conference on Product Focused Software Development and Process Improvement, Profes '11, Torre Canne, Brindisi, Italy, June 20-22, 2011 - Second Proceedings: Short Papers, Doctoral Symposium and Workshops, pp. 27-30, 2011, ACM, 978-1-4503-0783-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Ben Youngdahl |
Arisddi, A Resource Instantiation System for DDI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IASSIST Conference ![In: IASSIST 2011 - Data Science Professionals: A Global Community of Sharing, Vancouver, BC, Canada, May 31 - June 3, 2011, 2011, IASSIST. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | David H. Lorenz, Victor Trakhtenberg |
Pluggable Aspect Instantiation Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC@TOOLS ![In: Software Composition - 10th International Conference, SC@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings, pp. 84-99, 2011, Springer, 978-3-642-22044-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Gerd Kainz, Christian Buckl, Alois C. Knoll |
Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings, pp. 17-31, 2011, Springer, 978-3-642-24484-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Mathias Soeken, Robert Wille, Rolf Drechsler |
Towards automatic determination of problem bounds for object instantiation in static model verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, Wellington, New Zealand, October 17, 2011, pp. 2:1-2:4, 2011, ACM, 978-1-4503-0914-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Monica Magalhães Pereira, Lars Braun, Michael Hübner 0001, Jürgen Becker 0001, Luigi Carro |
Run-time resource instantiation for fault tolerance in FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHS ![In: 2011 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2011, San Diego, California, USA, June 6-9, 2011, pp. 88-95, 2011, IEEE, 978-1-4577-0598-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Lichao Wang, Su-Lin Lee, Robert D. Merrifield, Guang-Zhong Yang |
Subject-Specific Cardiac Segmentation Based on Reinforcement Learning with Shape Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLMI ![In: Machine Learning in Medical Imaging - Second International Workshop, MLMI 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011. Proceedings, pp. 300-307, 2011, Springer, 978-3-642-24318-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Lothar Hotz, Stephanie von Riegen |
Thoughts about Structuralization, Specialization, Instantiation, and Metaization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KEOD ![In: KEOD 2011 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Paris, France, 26-29 October, 2011, pp. 457-460, 2011, SciTePress, 978-989-8425-80-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Temesghen Kahsai, Yeting Ge, Cesare Tinelli |
Instantiation-Based Invariant Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, pp. 192-206, 2011, Springer, 978-3-642-20397-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Lothar Hotz, Stephanie von Riegen |
When to use what: Structuralization, Specialization, Instantiation, Metaization - Some Hints for Knowledge Engineers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Configuration Workshop ![In: Proceedings of the IJCAI 2011 Workshop on Configuration, Barcelona, Spain, July 16, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Isabel John, Adeline Silva |
Evaluating variability instantiation strategies for product lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VaMoS ![In: Fifth International Workshop on Variability Modelling of Software-Intensive Systems, Namur, Belgium, January 27-29, 2011. Proceedings, pp. 105-113, 2011, ACM, 978-1-4503-0570-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Freddy Lécué |
Towards Semantics-Based Instantiation of Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: Proceedings of the 2011 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2011, Campus Scientifique de la Doua, Lyon, France, August 22-27, 2011, pp. 396-403, 2011, IEEE Computer Society, 978-0-7695-4513-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Gi Hyun Lim, Il Hong Suh |
Robust robot knowledge instantiation for intelligent service robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. Serv. Robotics ![In: Intell. Serv. Robotics 3(2), pp. 115-123, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Fernando Orejas, Hartmut Ehrig, Markus Klein 0001, Julia Padberg, Elvira Pino, Sonia Pérez |
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 99(1), pp. 95-124, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Karen Na-Liu Li, John G. Hosking, John C. Grundy, Tony Ly, Brian Webb |
Augmenting DSVL Meta-Tools with Pattern Specification, Instantiation and Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 31, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Mnacho Echenim, Nicolas Peltier |
Instantiation of SMT problems modulo Integers ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1006.2921, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Michael Luby, Mark Watson, Lorenzo Vicisano |
Asynchronous Layered Coding (ALC) Protocol Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 5775, pp. 1-24, April 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | |
On Instantiation of the Random Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2010, pp. 482, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Konstantin Korovin, Christoph Sticksel |
Labelled Unit Superposition Calculi for Instantiation-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Yogyakarta) ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings, pp. 459-473, 2010, Springer, 978-3-642-16241-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Jürgen Christ, Jochen Hoenicke |
Instantiation-Based Interpolation for Quantified Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decision Procedures in Software, Hardware and Bioware ![In: Decision Procedures in Software, Hardware and Bioware, 18.04. - 23.04.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Olusola Samuel-Ojo, Benjamin L. Schooley, Brian N. Hilton, Thomas A. Horan |
Sharing behavior in emergencies: An instantiation of a utility-focused prototype of a secure mobile near-real-time content device in pre-hospital and hospital settings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMCIS ![In: Sustainable IT Collaboration Around the Globe. 16th Americas Conference on Information Systems, AMCIS 2010, Lima, Peru, August 12-15, 2010, pp. 589, 2010, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Simona Perri, Francesco Ricca, Marco Sirianni |
Parallel Instantiation in DLV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Faiz Currim, Sudha Ram |
When Entities Are Types: Effectively Modeling Type-Instantiation Relationships. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Applications and Challenges, ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010. Proceedings, pp. 138-147, 2010, Springer, 978-3-642-16384-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Michiko Kayashima, Riichiro Mizoguchi |
A New Framework of Metacognition with Abstraction/Instantiation Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems (2) ![In: Intelligent Tutoring Systems, 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part II, pp. 362-364, 2010, Springer, 978-3-642-13436-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Xin Che, Xiaohui Liu 0002, Xi Ju, Hongwei Zhang 0001 |
Adaptive Instantiation of the Protocol Interference Model in Mission-Critical Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECON ![In: Proceedings of the Seventh Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, SECON 2010, June 21-25, 2010, Boston, Massachusetts, USA, pp. 64-72, 2010, IEEE, 978-1-4244-7151-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Claudia Di Napoli, Maurizio Giordano, Zsolt Németh, Nicola Tonellotto |
Adaptive Instantiation of Service Workflows Using a Chemical Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par Workshops ![In: Euro-Par 2010 Parallel Processing Workshops - HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September 3, 2010, Revised Selected Papers, pp. 247-255, 2010, Springer, 978-3-642-21877-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Tugkan Tuglular, Gurcan Gercek |
Feedback Control Based Test Case Instantiation for Firewall Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC Workshops ![In: Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC Workshops 2010, Seoul, Korea, 19-23 July 2010, pp. 202-207, 2010, IEEE Computer Society, 978-0-7695-4105-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Konstantin Korovin, Christoph Sticksel |
iProver-Eq: An Instantiation-Based Theorem Prover with Equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings, pp. 196-202, 2010, Springer, 978-3-642-14202-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Claudia Di Napoli, Maurizio Giordano, Jean-Louis Pazat, Chen Wang 0030 |
A Chemical Based Middleware for Workflow Instantiation and Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ServiceWave ![In: Towards a Service-Based Internet - Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010. Proceedings, pp. 100-111, 2010, Springer, 978-3-642-17693-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Su-Lin Lee, Adrian James Chung, Mirna Lerotic, Maria A. Hawkins, Diana Tait, Guang-Zhong Yang |
Dynamic Shape Instantiation for Intra-operative Guidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2010, 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part I, pp. 69-76, 2010, Springer, 978-3-642-15704-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Viktor de Boer, Maarten van Someren, Bob J. Wielinga, Anjo Anjewierden |
Exploiting Redundancy for Pattern-based Relation Instantiation Using tOKo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW (Posters and Demos) ![In: Proceedings of the EKAW2010 Poster and Demo Track, Lisbon, Portugal, October 11 - 15, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Peter Killisperger, Markus Stumptner, Georg Peters, Georg Grossmann, Thomas Stückl |
A Framework for the Flexible Instantiation of Large Scale Software Process Tailoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSP ![In: New Modeling Concepts for Today's Software Processes, International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings, pp. 100-111, 2010, Springer, 978-3-642-14346-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Pim van den Broek |
Optimization of Product Instantiation using Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLC Workshops ![In: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools), pp. 107-112, 2010, Lancaster University, 978-1-86220-274-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Peter Kajsa, L'ubomír Majtás |
Design Patterns Instantiation Based on Semantics and Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings, pp. 540-551, 2010, Springer, 978-3-642-11265-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Amy Wheeler, Dave W. Binkley |
Subclass Instantiation Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2010, Timisoara, Romania, 12-13 September 2010, pp. 23-32, 2010, IEEE Computer Society, 978-0-7695-4178-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | B. Helena Rodriguez, Jean-Claude Moissinac, Isabelle M. Demeure |
Multimodal instantiation of assistance services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2010 - The 12th International Conference on Information Integration and Web-based Applications and Services, 8-10 November 2010, Paris, France, pp. 934-937, 2010, ACM, 978-1-4503-0421-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Mnacho Echenim, Nicolas Peltier |
Instantiation of SMT Problems Modulo Integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC/MKM/Calculemus ![In: Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings, pp. 49-63, 2010, Springer, 978-3-642-14127-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Saoussen Rekhis Boubaker, Nadia Bouassida, Rafik Bouaziz |
Specification and Instantiation of Domain Specific Patterns based on UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (3) ![In: ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8 - 12, 2010, pp. 230-235, 2010, SciTePress, 978-989-8425-06-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Nicholas Bonello, Rong Zhang 0001, Sheng Chen 0001, Lajos Hanzo |
Channel Code-Division Multiple Access and Its Multilevel-Structured LDPC-Based Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 58(5), pp. 2549-2553, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Tiago Quintino, Herman Deconinck |
Run-time automatic instantiation of algorithms using C++ templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Sci. Eng. ![In: Int. J. Comput. Sci. Eng. 4(4), pp. 314-324, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Magdalena A. Jonikas, Randall J. Radmer, Russ B. Altman |
Knowledge-based instantiation of full atomic detail into coarse-grain RNA 3D structural models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 25(24), pp. 3259-3266, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Argiris J. Dentsoras |
Problem-dependent search for optimal parameter instantiation order in design spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Informatics ![In: Adv. Eng. Informatics 23(4), pp. 474-482, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Dietmar Jannach, Kostyantyn M. Shchekotykhin, Gerhard Friedrich |
Automated ontology instantiation from tabular web sources - The AllRight system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Web Semant. ![In: J. Web Semant. 7(3), pp. 136-153, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Víctor M. González 0001, Bonnie A. Nardi, Gloria Mark |
Ensembles: understanding the instantiation of activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Technol. People ![In: Inf. Technol. People 22(2), pp. 109-131, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Teresa Susana Mendes Pereira, Ana Alice Baptista |
The instantiation of OmniPaper RDF prototype in the context of scientific publications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Libr. ![In: Electron. Libr. 27(5), pp. 767-778, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Gero Decker, Jan Mendling |
Process instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 68(9), pp. 777-792, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Dandan Ding, Honggang Qi, Lu Yu 0003, Tiejun Huang 0001, Wen Gao 0001 |
Reconfigurable video coding framework and decoder reconfiguration instantiation of AVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. Image Commun. ![In: Signal Process. Image Commun. 24(4), pp. 287-299, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Francesco Flammini, Nicola Mazzocca, Antonio Orazzo |
Automatic instantiation of abstract tests on specific configurations for large critical control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 19(2), pp. 91-110, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Yeting Ge, Leonardo Mendonça de Moura |
Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 306-320, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Alfons Laarman, Ivan Kurtev |
Ontological Metamodeling with Explicit Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Software Language Engineering, Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers, pp. 174-183, 2009, Springer, 978-3-642-12106-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Mehdi Bayoudh, Louise Travé-Massuyès, Xavier Olive |
On-line analytic redundancy relations instantiation guided by component discrete-dynamics for a class of non-linear hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 48th IEEE Conference on Decision and Control, CDC 2009, combined withe the 28th Chinese Control Conference, December 16-18, 2009, Shanghai, China, pp. 6970-6975, 2009, IEEE, 978-1-4244-3871-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Peter Killisperger, Markus Stumptner, Georg Peters, Thomas Stückl |
Priority-Based Constraint Management in Software Process Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISD ![In: Information Systems Development, Asian Experiences [Proceedings of ISD 2009, Nanchang, China. September 16-19, 2009]., pp. 523-534, 2009, Springer, 978-1-4419-7205-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Juan Rodríguez-Covili, Sergio F. Ochoa, José A. Pino, Jesús Favela, David A. Mejia, Alberto L. Morán |
Designing mobile shared workspaces by instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 13th International Conference on Computers Supported Cooperative Work in Design, CSCWD 2009, April 22-24, 2009, Santiago, Chile, pp. 402-407, 2009, IEEE, 978-1-4244-3534-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Patrick de Oude, Gregor Pavlin |
Efficient Distributed Bayesian Reasoning via Targeted Instantiation of Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2009, Milan, Italy, 15-18 September 2009, pp. 323-330, 2009, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Ana Funes, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana |
An Instantiation of Hierarchical Distance-Based Conceptual Clustering for Propositional Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 13th Pacific-Asia Conference, PAKDD 2009, Bangkok, Thailand, April 27-30, 2009, Proceedings, pp. 637-646, 2009, Springer, 978-3-642-01306-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
propositional learning, hierarchical clustering, distances, generalisation, conceptual clustering |
17 | Simona Perri, Francesco Ricca, Marco Sirianni |
Advanced Heuristics for Parallel ASP Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCRA@AI*IA ![In: Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA 2009, Reggio Emilia, Italy, December 11-12, 2009, 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
17 | Gregory van Seghbroeck, Bruno Volckaert, Filip De Turck, Bart Dhoedt |
Automated Instantiation and Extraction of Web Service Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Fourth International Conference on Internet and Web Applications and Services, ICIW 2009, 24-28 May 2009, Venice/Mestre, Italy, pp. 455-461, 2009, IEEE Computer Society, 978-0-7695-3613-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Li Qi, Hai Jin 0001, Ian T. Foster, Jarek Gawor |
Provisioning for Dynamic Instantiation of Community Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 12(2), pp. 29-36, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Yang Qu, Kari Tiensyrjä, Juha-Pekka Soininen, Jari Nurmi |
Design Flow Instantiation for Run-Time Reconfigurable Systems: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURASIP J. Embed. Syst. ![In: EURASIP J. Embed. Syst. 2008, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Dean C. Barratt, Carolyn S. K. Chan, Philip J. Edwards, Graeme P. Penney, Mike Slomczykowski, Timothy J. Carter, David J. Hawkes |
Instantiation and registration of statistical shape models of the femur and pelvis using 3D ultrasound imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Image Anal. ![In: Medical Image Anal. 12(3), pp. 358-374, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Y. Zhou, Y. Chen |
Project-oriented resource assignment: from business process modelling to business process instantiation with operational performance consideration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Integr. Manuf. ![In: Int. J. Comput. Integr. Manuf. 21(1), pp. 97-110, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Karl Azab, Karl-Heinz Pennemann |
Type Checking C++ Template Instantiation by Graph Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Francesco Calimeri, Simona Perri, Francesco Ricca |
Experimenting with parallelism for the instantiation of ASP programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Algorithms ![In: J. Algorithms 63(1-3), pp. 34-54, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Nicholas Bonello, Rong Zhang 0001, Sheng Chen 0001, Lajos Hanzo |
Channel Code Division Multiple Access and its Multilevel Structured LDPC Based Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Fall ![In: Proceedings of the 68th IEEE Vehicular Technology Conference, VTC Fall 2008, 21-24 September 2008, Calgary, Alberta, Canada, pp. 1-5, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Alexander van Dam, Bas Ploeger, Tim A. C. Willemse |
Instantiation for Parameterised Boolean Equation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, pp. 440-454, 2008, Springer, 978-3-540-85761-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Jorge E. López de Vergara, Enrique Vázquez, Javier Guerra |
Security Policy Instantiation to React to Network Attacks - An Ontology-based Approach using OWL and SWRL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECRYPT ![In: SECRYPT 2008, Proceedings of the International Conference on Security and Cryptography, Porto, Portugal, July 26-29, 2008, SECRYPT is part of ICETE - The International Joint Conference on e-Business and Telecommunications, pp. 78-83, 2008, INSTICC Press, 978-989-8111-59-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
17 | Annett Mitschick, Ralf Nagel 0002, Klaus Meißner |
Semantic Metadata Instantiation and Consolidation within an Ontology-based Multimedia Document Management System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SeMMA ![In: First International Workshop on Semantic Metadata Management and Applications, SeMMA 2008, Located at the Fifth European Semantic Web Conference (ESWC 2008), Tenerife, Spain, June 2nd, 2008. Proceedings, pp. 46-60, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
17 | Thorsten Schäfer, Jan Jonas, Mira Mezini |
Mining framework usage changes from instantiation code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 471-480, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
framework comprehension, evolution, migration |
17 | Jean-Raymond Abrial, Stefan Hallerstede |
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 77(1-2), pp. 1-28, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
17 | Joseph K. Liu, Duncan S. Wong |
A More Efficient Instantiation of Witness-Indistinguishable Signature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Secur. ![In: Int. J. Netw. Secur. 5(2), pp. 199-204, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
17 | Sérgio F. Lopes, Adriano Tavares, João Monteiro 0001, Carlos A. Silva 0002 |
Instantiation of a Classification System Framework that Facilitates Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 2(4), pp. 57-69, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Sagnika Sen, Haluk Demirkan, Michael Goul |
Dynamic decision support through instantiation of UEML representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 50(8), pp. 87-93, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Toacy Cavalcante de Oliveira, Paulo S. C. Alencar, Carlos José Pereira de Lucena, Donald D. Cowan |
RDL: A language for framework instantiation representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 80(11), pp. 1902-1929, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Wanwei Liu, Ji Wang 0001, Wei Dong 0006, Huowang Chen |
Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, pp. 322-336, 2007, Springer, 978-3-540-75290-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Marek Z. Reformat |
Mathematical Framework for Generalization and Instantiation of Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (PL/DPS/KE/MUSE) ![In: ICSOFT 2007, Proceedings of the Second International Conference on Software and Data Technologies, Volume PL/DPS/KE/MUSE, Barcelona, Spain, July 22-25, 2007, pp. 249-254, 2007, INSTICC Press, 978-989-8111-05-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
17 | Vandana Gunupudi, Stephen R. Tate |
Random Oracle Instantiation in Distributed Protocols Using Trusted Platform Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops (1) ![In: 21st International Conference on Advanced Information Networking and Applications (AINA 2007), Workshops Proceedings, Volume 1, May 21-23, 2007, Niagara Falls, Canada, pp. 463-469, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Igor Boguslavsky |
Enlarging the Diversity of Valency Instantiation Patterns and Its Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TbiLLC ![In: Logic, Language, and Computation, 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers, pp. 206-220, 2007, Springer, 978-3-642-00664-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | David A. Rosenblueth |
A Multiple-Clause Folding Rule Using Instantiation and Generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 69(1-2), pp. 219-249, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
17 | Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora |
Secret instantiation in ad-hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 29(2), pp. 200-215, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora |
Erratum to "Secret instantiation in ad-hoc networks" [Computer Communications 29 (2006) 200-215]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 29(11), pp. 2167, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Edward D. Willink |
Model Instantiation and Type Checking in UMLX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Kouhei Sakurai, Hidehiko Masuhara, Naoyasu Ubayashi, Saeko Matsuura, Seiichi Komiya |
Design and Implementation of an Aspect Instantiation Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
T. Aspect-Oriented Software Development ![In: Transactions on Aspect-Oriented Software Development I, pp. 259-292, 2006, Springer, 3-540-32972-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Eric E. Allen, Robert Cartwright |
Safe instantiation in Generic Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 59(1-2), pp. 26-37, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Samira Sadaoui, Pengzhou Yin |
Generalization and Instantiation for Component Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 16(2), pp. 175-200, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|