Search results for "instantiation"

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.	IEEE Trans. Software Eng.	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.	COMPSAC	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.	Frontiers Comput. Sci. China	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.	ACM Trans. Graph.	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.	SEKE	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.	OOIS Workshops	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.	TOOLS (29)	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.	B	2007	DBLP DOI BibTeX RDF
62	Daniel S. Spiegel, Lisa M. Frye, Linda L. Day	Issues in the instantiation of template classes.	ACM SIGCSE Bull.	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.	AOSD	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.	ITCC (2)	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.	GCSE	2000	DBLP DOI BibTeX RDF
51	Jawad Makki, Anne-Marie Alquier, Violaine Prince	Semi Automatic Ontology Instantiation in the domain of Risk Management.	Intelligent Information Processing	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.	DAMP	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.	ICSP	2009	DBLP DOI BibTeX RDF
47	Konstantin Korovin	iProver - An Instantiation-Based Theorem Prover for First-Order Logic (System Description).	IJCAR	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.	ADMA	2005	DBLP DOI BibTeX RDF
47	Eric E. Allen, Robert Cartwright	Safe instantiation in generic Java.	PPPJ	2004	DBLP DOI BibTeX RDF
47	Vaclav Cechticky, Philippe Chevalley, Alessandro Pasetti, Walter Schaufelberger	A Genertative Approach to Framework Instantiation.	GPCE	2003	DBLP DOI BibTeX RDF
47	Alvaro Ortigosa, Marcelo Campo, Roberto Moriyón	Towards agent-oriented assistance for framework instantiation.	OOPSLA	2000	DBLP DOI BibTeX RDF	application framework reuse, software development, planning, support tools
47	Alessandra Di Pierro, Wlodzimierz Drabent	On Negation As Instantiation.	ALP	1996	DBLP DOI BibTeX RDF
43	Renato Silva, Michael J. Butler	Supporting Reuse of Event-B Developments through Generic Instantiation.	ICFEM	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.	COMPSAC	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.	CAiSE	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.	ICDCIT	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.	OOPSLA	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.	GPC	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.	APSEC	2006	DBLP DOI BibTeX RDF
40	Uwe Aßmann, Andreas Bartho, Falk Hartmann, Ilie Savga, Barbara Wittek	Trustworthy Instantiation of Frameworks.	Architecting Systems with Trustworthy Components	2004	DBLP DOI BibTeX RDF
40	Vladimír Marko	Template Based, Designer Driven Design Pattern Instantiation Support.	ADBIS	2004	DBLP DOI BibTeX RDF
38	Matthew Bishop, Peter B. Andrews	Selectively Instantiating Definitions.	CADE	1998	DBLP DOI BibTeX RDF
34	Ada Diaconescu, Philippe Lalanda	A decentralized, architecture-based framework for self-growing applications.	ICAC	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.	SNPD	2008	DBLP DOI BibTeX RDF	design pattern, annotation, meta model, instantiation
34	Clifford E. Cummings	SystemVerilog implicit port enhancements accelerate system design & verification.	DAC	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".	Softw. Syst. Model.	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.	Ann. Math. Artif. Intell.	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.	Requir. Eng.	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.	SPCNC	2023	DBLP DOI BibTeX RDF
32	Harald Ganzinger, Konstantin Korovin	Theory Instantiation.	LPAR	2006	DBLP DOI BibTeX RDF
32	Valentino Vranic, Miloslav Sípka	Binding Time Based Concept Instantiation in Feature Modeling.	ICSR	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.	JELIA	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.	OOPSLA Companion	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.	CRYPTO	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.	IAT	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.	OOIS	2003	DBLP DOI BibTeX RDF	frameworks, Software reuse, pattern languages
32	Nachum Dershowitz	Program Abstraction and Instantiation.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF
31	Timo Asikainen, Tomi Männistö	Nivel: a metamodelling language with a formal semantics.	Softw. Syst. Model.	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.	Ann. Math. Artif. Intell.	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.	SKG	2006	DBLP DOI BibTeX RDF
31	Dimitri Chubarov, Andrei Voronkov	Solving First-Order Constraints over the Monadic Class.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
31	Ivan Kurtev, Klaas van den Berg	MISTRAL: A Language for Model Transformations in the MOF Meta-modeling Architecture.	MDAFA	2004	DBLP DOI BibTeX RDF
31	Nicola Leone, Simona Perri, Francesco Scarcello	Improving ASP Instantiators by Join-Ordering Methods.	LPNMR	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.	Softw. Syst. Model.	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.	J. Autom. Reason.	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.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	Java, generics, refactoring, Eclipse, type inference, parameterization, instantiation, type constraints, generic types
27	Thomas Kühne 0001	Understanding metamodeling.	ICSE	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.	ACM Trans. Model. Comput. Simul.	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.	ICCAD	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.	CADE	2009	DBLP DOI BibTeX RDF
24	Andrew M. Sutton, Ryan Holeman, Jonathan I. Maletic	Abstracting the template instantiation relation in C++.	ICSM	2009	DBLP DOI BibTeX RDF
24	Ellen Francine Barbosa, José Carlos Maldonado	Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules.	ISoLA	2008	DBLP DOI BibTeX RDF
24	Gero Decker, Jan Mendling	Instantiation Semantics for Process Models.	BPM	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.	Virtual Enterprises and Collaborative Networks	2008	DBLP DOI BibTeX RDF
24	Vesna Sesum-Cavic, Eva Kühn	Instantiation of a Generic Model for Load Balancing with Intelligent Algorithms.	IWSOS	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.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF
24	Liam Doherty, Vive Kumar, Philip H. Winne	Assisted Ontology Instantiation: a LearningKit perspective.	ICALT	2007	DBLP DOI BibTeX RDF
24	Jing Dong, Tu Peng, Zongyan Qiu	Commutability of Design Pattern Instantiation and Integration.	TASE	2007	DBLP DOI BibTeX RDF
24	Gerardo Padilla, Farokh B. Bastani, Carlos Montes de Oca, Miguel A. Serrano	Instantiation Semantics for Message Sequence Charts.	ENC	2006	DBLP DOI BibTeX RDF
24	Sergio Camorlinga, Ken Barker 0001	The Biologically Inspired Distributed File System: An Emergent Thinker Instantiation.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
24	Kenji Manaka, Hiroyuki Sato	Static optimization of XSLT stylesheets: template instantiation optimization and lazy XML parsing.	ACM Symposium on Document Engineering	2005	DBLP DOI BibTeX RDF	saxon, optimization, XSLT, lazy evaluation
24	Adnene Guabtni, François Charoy	Multiple Instantiation in a Dynamic Workflow Environment.	CAiSE	2004	DBLP DOI BibTeX RDF
24	Harald Ganzinger, Konstantin Korovin	Integrating Equational Reasoning into Instantiation-Based Theorem Proving.	CSL	2004	DBLP DOI BibTeX RDF
24	David von Oheimb, Volkmar Lotz	Generic Interacting State Machines and Their Instantiation with Dynamic Features.	ICFEM	2003	DBLP DOI BibTeX RDF
24	Harald Ganzinger, Konstantin Korovin	New Directions in Instantiation-Based Theorem Proving.	LICS	2003	DBLP DOI BibTeX RDF
24	David Maplesden, John G. Hosking, John C. Grundy	A Visual Language for Design Pattern Modelling and Instantiation.	HCC	2001	DBLP DOI BibTeX RDF
24	Manuel Fähndrich, Jakob Rehof, Manuvir Das	Scalable context-sensitive flow analysis using instantiation constraints.	PLDI	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.	LOPSTR	1998	DBLP DOI BibTeX RDF
24	Glen McCluskey, Robert B. Murray	Template Instantiation For C++.	ACM SIGPLAN Notices	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.	Annual Simulation Symposium	1990	DBLP DOI BibTeX RDF
23	Gilbert Cockton	Getting there: six meta-principles and interaction design.	CHI	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.	MMNS	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.	JCDL	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.	CADE	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.	PROFES	2006	DBLP DOI BibTeX RDF
23	Reinhold Letz, Gernot Stenz	Generalised Handling of Variables in Disconnection Tableaux.	IJCAR	2004	DBLP DOI BibTeX RDF
23	Didier Bert, Catherine Oriat	A Model Inference System for Generic Specification with Application to Code Sharing.	TAPSOFT	1995	DBLP DOI BibTeX RDF
23	Ted L. Briggs, John Werth	A Specification Language for Object-Oriented Analysis and Design.	ECOOP	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.	AOSD	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.	SC-MTAGS	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.	ACM Trans. Comput. Log.	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.	Softw. Syst. Model.	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.	ICFP	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.	EATIS	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.	ACM Trans. Embed. Comput. Syst.	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.	Comput. Commun. Rev.	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.	TOOLS (37)	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.	DANTE	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.	DATE	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.	CoopIS	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.	ECBS	1996	DBLP DOI BibTeX RDF	Project/Process-Interface, Skill/role-Dependency, Cascade mode, Process Model, software engineering environment, Process enactment, instantiation, activity management