Search results for "reification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Alex Villazón, Walter Binder, Philippe Moret	Flexible calling context reification for aspect-oriented programming.	AOSD	2009	DBLP DOI BibTeX RDF	calling context reification, composition of program transformations, debugging, java virtual machine, bytecode instrumentation, aspect weaving
2	France Henri, Bernadette Charlier, Mélanie Ciussi	Supporting the Reification Process within a Community of Practice.	ICALT	2009	DBLP DOI BibTeX RDF
2	Kazuhisa Seta, Mitsuru Ikeda	Reification Method to Encourage the Learning Communication on Meta-Cognition.	KES	2007	DBLP DOI BibTeX RDF	meta-skill learning, presentation task, learning communication on meta-cognition, Reification
2	Nicole Alexander, Siva Ravada	RDF Object Type and Reification in the Database.	ICDE	2006	DBLP DOI BibTeX RDF
2	Caroline Appert, Michel Beaudouin-Lafon	SMCanvas: augmenter la boîte à outils Java Swing pour prototyper des techniques d'interaction avancées.	IHM	2006	DBLP DOI BibTeX RDF	java swing, polymorphism, toolkit, state machine, widget, reification
2	Nadeem Jamali, Xinghui Zhao	A scalable approach to multi-agent resource acquisition and control.	AAMAS	2005	DBLP DOI BibTeX RDF	control reification, cyberorgs, coordination, actors, hierarchical control, resource control
2	Pascal Van Hentenryck, Laurent Michel, Liyuan Liu	Contraint-Based Combinators for Local Search.	Constraints	2005	DBLP DOI BibTeX RDF	constraints languange, logical and cardinality combinators, differential objects, first-class expressions, search procedure, local search, reification
2	Stuart Chalmers, Alun D. Preece, Timothy J. Norman, Peter M. D. Gray	Commitment Management through Constraint Reification.	AAMAS	2004	DBLP DOI BibTeX RDF
2	Dharini Balasubramaniam, Ronald Morrison, Kath Mickan, Graham N. C. Kirby, Brian Warboys, Ian Robertson, Bob Snowdon, R. Mark Greenwood, Wykeen Seet	Support for feedback and change in self-adaptive systems.	WOSS	2004	DBLP DOI BibTeX RDF	hyper-code, recomposition, adaptation, software architectures, constraints, composition, policy, reflection, feedback, decomposition, autonomics, probes, mechanism, self-adaptive systems, reification
2	Serguei Mourachov	ATCT: a Java framework that offers new approach to developing asynchronous processes.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	Java framework, execution context reification, asynchronous processes
2	Stephan Diehl, Andreas Kerren	Reification of Program Points for Visual Execution.	VISSOFT	2002	DBLP DOI BibTeX RDF
2	Steven R. Newcomb	Preemptive Reification.	International Semantic Web Conference	2002	DBLP DOI BibTeX RDF
2	Guizhen Yang, Michael Kifer	On the Semantics of Anonymous Identity and Reification.	CoopIS/DOA/ODBASE	2002	DBLP DOI BibTeX RDF
2	Neil Henderson, Stephen Paynter	The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism.	FME	2002	DBLP DOI BibTeX RDF	retrieve relation, refinement, asynchronous communication, reification
2	Alex Villazón, Walter Binder	Portable Resource Reification in Java-Based Mobile Agent Systems.	Mobile Agents	2001	DBLP DOI BibTeX RDF
2	Werner Van Belle, Theo D'Hondt	Agent Mobility and Reification of Computational State: An Experiment in Migration.	Agents Workshop on Infrastructure for Multi-Agent Systems	2000	DBLP DOI BibTeX RDF
2	Mark K. Singley, Moninder Singh, Peter G. Fairweather, Robert G. Farrell, Steven Swerling	Algebra jam: supporting teamwork and managing roles in a collaborative learning environment.	CSCW	2000	DBLP DOI BibTeX RDF	collabicons, object-oriented chat, role reification, team blackboard, team modeling, team tutoring systems
2	Antoni Olivé	Relationship Reification: A Temporal View.	CAiSE	1999	DBLP DOI BibTeX RDF
2	Tim Clement	Data Reification without Explicit Abstraction Functions.	FME	1996	DBLP DOI BibTeX RDF
2	Tim Clement	Comparing Approaches to Data Reification.	FME	1994	DBLP DOI BibTeX RDF
2	Robert Muller	M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	fexprs, metalinguistic constructs, unquote, reflection, LISP, reification
2	Matthias Weber	Deriving Transivity of VDM-Reification in DEVA.	VDM Europe	1991	DBLP DOI BibTeX RDF
2	Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas	A Categorial Theory of Objects as Observed Processes.	REX Workshop	1990	DBLP DOI BibTeX RDF	object morphism, object aggregation, object inheritance, object reification, process, object, object-oriented system, behaviour, parallel composition
1	Cliff B. Jones, Ken G. Pierce	Elucidating concurrent algorithms via layers of abstraction and reification.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Jean-Louis Denis, Geneviève Dompierre, Ann Langley, Linda Rouleau	Escalating Indecision: Between Reification and Strategic Ambiguity.	Organization Science	2011	DBLP DOI BibTeX RDF
1	Daniel David, Denis Payet, Rémy Courdier	Réification de zones urbaines émergentes dans un modèle simulant l'évolution de la population à La Réunion.	JFSMA	2011	DBLP BibTeX RDF
1	Benjamin Adams, Krzysztof Janowicz	Constructing geo-ontologies by reification of observation data.	GIS	2011	DBLP DOI BibTeX RDF
1	Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey	Half Reification and Flattening.	CP	2011	DBLP DOI BibTeX RDF
1	Raphaël Hoarau	Augmenting the SCOPE of interactions with implicit and explicit graphical structures.	UIST (Adjunct Volume)	2011	DBLP DOI BibTeX RDF
1	Amaury Daele	Reifying, Participating and Learning: Analysis of Uses of Reification Tools by a Community of Practice.	IJWLTT	2010	DBLP BibTeX RDF
1	Somwrita Sarkar, Andy Dong, John S. Gero	Learning symbolic formulations in design: Syntax, semantics, and knowledge reification.	AI EDAM	2010	DBLP DOI BibTeX RDF
1	Sunitha Ramanujam, Anubha Gupta, Latifur Khan, Steven Seida, Bhavani M. Thuraisingham	Relationalization of provenance data in complex RDF reification nodes.	Electronic Commerce Research	2010	DBLP DOI BibTeX RDF
1	Wuwei Shen, Dae-Kyoo Kim, Jian Liu, Chen Zhao	Supporting Flexible Reification of Design Patterns.	APSEC	2010	DBLP DOI BibTeX RDF
1	Paula Severi, José Luiz Fiadeiro, David Ekserdjian	Guiding Reification in OWL through Aggregation.	Description Logics	2010	DBLP BibTeX RDF
1	Michael A. Sao Pedro, Janice D. Gobert, Juelaila J. Raziuddin	Long-Term Benefits of Direct Instruction with Reification for Learning the Control of Variables Strategy.	Intelligent Tutoring Systems	2010	DBLP DOI BibTeX RDF
1	Wolfgang Jeltsch	Generic record combinators with static type checking.	PPDP	2010	DBLP DOI BibTeX RDF	closed classes, higher-rank polymorphism, type equality, type families, type-level programming, type-level reification, generic programming, induction
1	S. Hossein Sadat-Mohtasham, H. James Hoover	Transactional pointcuts: designation reification and advice of interrelated join points.	GPCE	2009	DBLP DOI BibTeX RDF	transactional pointcut, aspect-oriented programming, join point model
1	Sunitha Ramanujam, Anubha Gupta, Latifur Khan, Steven Seida, Bhavani M. Thuraisingham	A Relational Wrapper for RDF Reification.	IFIPTM	2009	DBLP DOI BibTeX RDF
1	Theodore Andronikos, Michalis Stefanidakis, Ioannis Papadakis	Adding Temporal Dimension to Ontologies via OWL Reification.	Panhellenic Conference on Informatics	2009	DBLP DOI BibTeX RDF
1	Andy Gill	Type-safe observable sharing in Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	DSL compilation, observable sharing
1	Mikael Z. Lagerkvist, Christian Schulte	Propagator Groups.	CP	2009	DBLP DOI BibTeX RDF
1	Dirk Draheim, Melanie Himsl, Daniel Jabornig, Werner Leithner, Peter Regner, Thomas Wiesinger	Intuitive Visualization-Oriented Metamodeling.	DEXA	2009	DBLP DOI BibTeX RDF
1	Nicolás D. Rotstein, Martín O. Moguillansky, Marcelo A. Falappa, Alejandro Javier García, Guillermo Ricardo Simari	A Preliminary Reification of Argument Theory Change.	Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial	2008	DBLP BibTeX RDF
1	Maurizio Cimadamore, Mirko Viroli	On the reification of Java wildcards.	Sci. Comput. Program.	2008	DBLP DOI BibTeX RDF
1	Bernd Carsten Stahl	Design as Reification, Commodification, and Ideology: A Critical View of IS Design Science.	ECIS	2008	DBLP BibTeX RDF
1	Cliff B. Jones, Ken G. Pierce	Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification.	ABZ	2008	DBLP DOI BibTeX RDF
1	René F. Reitsma, Byron Marshall, Michael Dalton, Martha N. Cyr	Exploring educational standard alignment: in search of 'relevance'.	JCDL	2008	DBLP DOI BibTeX RDF	context-specific measurement, curriculum-standard alignment, inter-rater reliability, social science theory, digital library, relevance, reification
1	Zoran Majkic	Intensional semantics for RDF data structures.	IDEAS	2008	DBLP DOI BibTeX RDF
1	Ryan Newton, Lewis Girod, Michael B. Craig, Samuel Madden, J. Gregory Morrisett	Design and evaluation of a compiler for embedded stream programs.	LCTES	2008	DBLP DOI BibTeX RDF	stream processing language, sensor networks
1	Wuwei Shen, Dae-Kyoo Kim	ICER: a tool for finding errors in a UML model.	SAC	2008	DBLP DOI BibTeX RDF
1	Diego Magro, Anna Goy	The business knowledge for customer relationship management: an ontological perspective.	OBI	2008	DBLP DOI BibTeX RDF	customer relationship, management, enterprise ontology
1	Diego Magro, Anna Goy	Towards a first ontology for customer relationship management.	CSTST	2008	DBLP DOI BibTeX RDF	CRM ontology, customer relationship management, enterprise ontology
1	Guoxing Zhao, Jixin Ma, Fuxing Shen, Miltos Petridis	A Sound and Complete Reified Temporal Logic.	SNPD	2008	DBLP DOI BibTeX RDF	Reified Temporal Logic, Completeness
1	Hans-Ulrich Krieger	Where Temporal Description Logics Fail: Representing Temporally-Changing Relationships.	KI	2008	DBLP DOI BibTeX RDF
1	Andreas Abel, Thierry Coquand, Peter Dybjer	Verifying a Semantic beta-eta-Conversion Test for Martin-Löf Type Theory.	MPC	2008	DBLP DOI BibTeX RDF
1	Jack Ox	Visualization and the art of metaphor.	Creativity & Cognition	2007	DBLP DOI BibTeX RDF	perceptualization, visualization, metaphor, sonification, reification
1	Maurizio Cimadamore, Mirko Viroli	Reifying wildcards in Java using the EGO approach.	SAC	2007	DBLP DOI BibTeX RDF	java wildcards, variant parametric types, java generics
1	Nadeem Jamali, Chen Liu	Reifying Control of Multi-Owned Network Resources.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, Kent A. Spackman	Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators.	AIME	2007	DBLP DOI BibTeX RDF
1	Vincent Englebert, Patrick Heymans	Towards More Extensible MetaCASE Tools.	CAiSE	2007	DBLP DOI BibTeX RDF
1	Chiara Ghidini, Luciano Serafini, Sergio Tessaris	On Relating Heterogeneous Elements from Different Ontologies.	CONTEXT	2007	DBLP DOI BibTeX RDF
1	Teng-Wen Chang, Yuan-Bang Cheng	Implementing an Interactive Collage Table System with Design Puzzle Exploration.	HCI	2007	DBLP DOI BibTeX RDF	interactive collage table, design collage, multi-touch and sketch, design puzzle, design exploration
1	Lorenzo Magnani	Animal Abduction.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
1	Alan F. Blackwell	The reification of metaphor as a design tool.	ACM Trans. Comput.-Hum. Interact.	2006	DBLP DOI BibTeX RDF	history of HCI, design research, UI metaphor
1	Antony Galton	Operators vs. Arguments: The Ins and Outs of Reification.	Synthese	2006	DBLP DOI BibTeX RDF
1	Marco Stuit, Nick B. Szirbik	Modelling and Executing Complex and Dynamic Business Processes by Reification of Agent Interactions.	ESAW	2006	DBLP DOI BibTeX RDF
1	Geert Delanote, Eric Steegmans	Concepts for Abstracting away Object Reification at the level of Platform Independent Models (PIMs).	MDB/MOMPES	2006	DBLP DOI BibTeX RDF
1	William M. Fleischman	Meta-informatics and ethical issues in computing.	ITiCSE	2006	DBLP DOI BibTeX RDF	computing in public education, surveillance, digital divide
1	Patricia Gounon, Pascal Leroux, Xavier Dubourg	An IMS-LD Editor to Describe a Tutoring Activity in an On-line Training.	ICALT	2006	DBLP DOI BibTeX RDF
1	Dewayne E. Perry, Paul Grisham	Architecture and Design Intent in Component & COTS Based Systems.	ICCBSS	2006	DBLP DOI BibTeX RDF
1	E. Rowland Watkins, Denis A. Nicole	Named Graphs as a Mechanism for Reasoning About Provenance.	APWeb	2006	DBLP DOI BibTeX RDF
1	Claudia López, Hernán Astudillo	Multidimensional Catalogs for Systematic Exploration of Component-Based Design Spaces.	IFIP Workshop on Advanced Software Engineering	2006	DBLP DOI BibTeX RDF
1	Gerti Kappel, Elisabeth Kapsammer, Horst Kargl, Gerhard Kramler, Thomas Reiter, Werner Retschitzegger, Wieland Schwinger, Manuel Wimmer	Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages.	MoDELS	2006	DBLP DOI BibTeX RDF
1	Areski Flissi, Philippe Merle	A Generic Deployment Framework for Grid Computing and Distributed Applications.	OTM Conferences	2006	DBLP DOI BibTeX RDF	Grid computing, middleware, software components, distributed applications, deployment
1	Nenad Medvidovic, Vladimir Jakobac	Using software evolution to focus architectural recovery.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Architecture erosion, Software architecture, Evolution, Architectural style, Architecture recovery, Focus
1	Emmanuelle Richard, Angèle Tijou, Paul Richard, Jean-Louis Ferrier	Multi-modal virtual environments for education with haptic and olfactory feedback.	Virtual Reality	2006	DBLP DOI BibTeX RDF	Multi-modal feedback, Human scale, Education, Virtual Environment, Haptic interaction, Olfaction
1	Shun Yan Cheung, James J. Lu, Catharine M. Wyss	Metadata management and relational databases.	ACM Southeast Regional Conference	2005	DBLP DOI BibTeX RDF	parameterized and meta-queries, data integration, metadata management
1	Philippe Charles, Christian Grothoff, Vijay A. Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun, Vivek Sarkar	X10: an object-oriented approach to non-uniform cluster computing.	OOPSLA	2005	DBLP DOI BibTeX RDF	atomic blocks, non-uniform cluster computing (NUCC), partitioned global address space (PGAS), Java, scalability, multithreading, productivity, clocks, data distribution, places, X10
1	Johan Michel, Jérôme Lehuen	An Environment to Learn Language by Simulation.	ICALT	2005	DBLP DOI BibTeX RDF
1	Andrea Valente	The C-Cards Game: A Versatile Learning Object.	ICALT	2005	DBLP DOI BibTeX RDF
1	Ping Yu, Xiaoxing Ma, Jian Lu	Dynamic Software Architecture Oriented Service Composition and Evolution.	CIT	2005	DBLP DOI BibTeX RDF
1	Claudia López, Hernán Astudillo	Explicit Architectural Policies to Satisfy NFRs Using COTS.	MoDELS Satellite Events	2005	DBLP DOI BibTeX RDF
1	Paulo Barthelmess, Clarence A. Ellis	The Neem Platform: An Evolvable Framework for Perceptual Collaborative Applications.	J. Intell. Inf. Syst.	2005	DBLP DOI BibTeX RDF	perceptual and multimodal systems, intelligent user interfaces, group collaboration
1	François Pachet	Les nouveaux enjeux de la réification. A la recherche des coïncidences.	L'OBJET	2004	DBLP BibTeX RDF
1	Roberta Cuel, Matteo Bonifacio, Mirko Grosselle	Knowledge Nodes: the Reification of Organizational Communities. The Pizzarotti Case Study.	J. UCS	2004	DBLP BibTeX RDF
1	Florida Estrella, Zsolt Kovacs, Jean-Marie Le Goff, Richard McClatchey, Tony Solomonides, Norbert Toth	Pattern Reification as the Basis for Description-Driven Systems	CoRR	2004	DBLP BibTeX RDF
1	Quentin Limbourg, Jean Vanderdonckt	Addressing the mapping problem in user interface design with UsiXML.	TAMODIA	2004	DBLP DOI BibTeX RDF	concrete user interface, final user interface, user interface extensible markup language (UsiXML), adaptation, specifications, abstraction, task model, domain model, user interface description language, abstract user interface, reification, mapping problem, transformation model, model mapping
1	B. O. Akinkunmi, Adenike O. Osofisan	Temporal Properties of Repetitive Entities.	Artif. Intell. Rev.	2004	DBLP DOI BibTeX RDF	artificial intelligence, knowledge representation, temporal reasoning, reification, interval logic
1	Claudio Gutiérrez, Carlos A. Hurtado, Alberto O. Mendelzon	Foundations of Semantic Web Databases. (PDF / PS)	PODS	2004	DBLP DOI BibTeX RDF
1	Matthew J. Hawthorne, Dewayne E. Perry	Exploiting architectural prescriptions for self-managing, self-adaptive systems: a position paper.	WOSS	2004	DBLP DOI BibTeX RDF
1	Jeremy J. Carroll, Ian Dickinson, Chris Dollin, Dave Reynolds, Andy Seaborne, Kevin Wilkinson	Jena: implementing the semantic web recommendations.	WWW (Alternate Track Papers & Posters)	2004	DBLP DOI BibTeX RDF	RDQL, semantic web, OWL, RDF, Jena
1	Zahia Guessoum, Mikal Ziane, Nora Faci	Monitoring and Organizational-Level Adaptation of Multi-Agent Systems.	AAMAS	2004	DBLP DOI BibTeX RDF
1	Mark Grechanik, Don S. Batory, Dewayne E. Perry	Design of Large-Scale Polylingual Systems.	ICSE	2004	DBLP DOI BibTeX RDF
1	Pascal Van Hentenryck, Laurent Michel, Liyuan Liu	Constraint-Based Combinators for Local Search.	CP	2004	DBLP DOI BibTeX RDF
1	Quentin Limbourg, Jean Vanderdonckt, Benjamin Michotte, Laurent Bouillon, Víctor López-Jaquero	USIXML: A Language Supporting Multi-path Development of User Interfaces.	EHCI/DS-VIS	2004	DBLP DOI BibTeX RDF	context-sensitive user interface, modality independence, multi-path development, rendering independence, model-driven architecture, development processes, user interface description language, model-to-model transformation
1	Sebastiano Vigna	Reachability Problems in Entity-Relationship Schema Instances.	ER	2004	DBLP DOI BibTeX RDF
1	Carlos Enrique Cuesta Quintero, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano	Reflection-Based, Aspect-Oriented Software Architecture.	EWSA	2004	DBLP DOI BibTeX RDF
1	Cartik R. Kothari, David J. Russomanno	Relation Elements for the Semantic Web.	ICCS	2004	DBLP DOI BibTeX RDF
1	Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey	Compiling Ask Constraints.	ICLP	2004	DBLP DOI BibTeX RDF
1	Nadeem Jamali, Xinghui Zhao	Hierarchical Resource Usage Coordination for Large-Scale Multi-agent Systems.	MMAS	2004	DBLP DOI BibTeX RDF