Search results for "meta-level"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Francisco Montero Simarro, Víctor López-Jaquero, José Pascual Molina, Pascual González	An Approach to Develop User Interfaces with Plasticity.	DSV-IS	2003	DBLP DOI BibTeX RDF
5	Marc J. Fleury, Francisco Reverbel	The JBoss Extensible Server.	Middleware	2003	DBLP DOI BibTeX RDF
5	Claudia V. Goldman, Shlomo Zilberstein	Optimizing information exchange in cooperative multi-agent systems.	AAMAS	2003	DBLP DOI BibTeX RDF	communication, decentralized control, robot teams
5	Richard Dazeley, Byeong Ho Kang 0001	Weighted MCRDR: Deriving Information about Relationships between Classifications in MCRDR.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
5	Soon-Kyeong Kim, David A. Carrington	A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z.	ICFEM	2002	DBLP DOI BibTeX RDF
5	Claus Brabrand, Michael I. Schwartzbach	Growing languages with metamorphic syntax macros.	PEPM	2002	DBLP DOI BibTeX RDF
5	Angeles Manjarrés Riesco, Gerson Sunyé, Damien Pollet, Simon Pickin 0001, Jean-Marc Jézéquel	Al analysis patterns as UML meta-model constructs.	SEKE	2002	DBLP DOI BibTeX RDF
5	David Hemer	Computer-aided programming using formally specified design templates.	APSEC	2002	DBLP DOI BibTeX RDF	software engineering, formal specification, component-based development
5	Saso Dzeroski, Bernard Zenko	Stacking with Multi-response Model Trees.	Multiple Classifier Systems	2002	DBLP DOI BibTeX RDF
5	Florida Estrella, Sébastien Gaspard, Zsolt Kovacs 0001, Jean-Marie Le Goff, Richard McClatchey	Promoting Reuse through the Capture of System Description.	OOIS Workshops	2002	DBLP DOI BibTeX RDF
5	Florida Estrella, Zsolt Kovacs 0001, Jean-Marie Le Goff, Richard McClatchey, Norbert Toth	Reifying Design Patterns to Facilitate Systems Evolution.	ER (Workshops)	2002	DBLP DOI BibTeX RDF
5	António Porto	Structural Abstraction and Application in Logic Programming.	FLOPS	2002	DBLP DOI BibTeX RDF
5	Paul Dourish, André van der Hoek	Émigré: Metalevel Architecture and Migratory Work.	Mobile HCI	2002	DBLP DOI BibTeX RDF
5	Wei Chen 0008, Keith S. Decker	Developing Alternative Mechanisms for Multiagent Coordination.	PRIMA	2002	DBLP DOI BibTeX RDF
5	Junwei Cao, Daniel P. Spooner, James D. Turner, Stephen A. Jarvis, Darren J. Kerbyson, Subhash Saini, Graham R. Nudd	Agent-Based Resource Management for Grid Computing.	CCGRID	2002	DBLP DOI BibTeX RDF
5	Farhad Arbab, Farhad Mavaddat	Coordination through Channel Composition.	COORDINATION	2002	DBLP DOI BibTeX RDF
5	Sandra Zilles	Merging Uniform Inductive Learners.	COLT	2002	DBLP DOI BibTeX RDF
5	Wei Chen 0008, Keith S. Decker	Coordination mechanisms for dependency relationships among multiple agents.	AAMAS	2002	DBLP DOI BibTeX RDF	coordinating multiple agents and multiple activities, coordination infrastructures
5	Stefan Hanenberg, Boris Bachmendo, Rainer Unland	An Object Model for General-Purpose Aspect Languages.	GCSE	2001	DBLP DOI BibTeX RDF
5	Neal A. Harman	Verifying a Simple Pipelined Microprocessor Using Maude.	WADT	2001	DBLP DOI BibTeX RDF
5	Régis Vincent, Bryan Horling, Victor R. Lesser, Thomas Wagner 0001	Implementing soft real-time agent control.	Agents	2001	DBLP DOI BibTeX RDF
5	Christine Röckl, Daniel Hirschkoff, Stefan Berghofer	Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts.	FoSSaCS	2001	DBLP DOI BibTeX RDF
5	Klaus Schneider 0001	Embedding Imperative Synchronous Languages in Interactive Theorem Provers.	ACSD	2001	DBLP DOI BibTeX RDF
5	Gerd Nusser, Ralf-Dieter Schimkat	Rapid Application Development of Middleware Components by Using XML.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF
5	Christophe Nicolle, Kokou Yétongnon	XML Enabled Metamodeling and Tools for Cooperative Information Systems.	EC-Web	2001	DBLP DOI BibTeX RDF
5	Soon-Kyeong Kim, David A. Carrington, Roger Duke	A Metamodel-based transformation between UML and Object-Z.	HCC	2001	DBLP DOI BibTeX RDF
5	Michael Hitchens, Vijay Varadharajan	Tower: A Language for Role Based Access Control.	POLICY	2001	DBLP DOI BibTeX RDF
5	Delano M. Beder, Alexander B. Romanovsky, Brian Randell, C. Richard Snow, Robert J. Stroud	An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling.	ACM SIGOPS Oper. Syst. Rev.	2000	DBLP DOI BibTeX RDF
5	Trishul M. Chilimbi, Richard E. Jones, Benjamin G. Zorn	Designing a Trace Format for Heap Allocation Events.	ISMM	2000	DBLP DOI BibTeX RDF
5	Masayuki Ohta	Gemini in RoboCup-2000.	RoboCup	2000	DBLP DOI BibTeX RDF
5	Soon-Kyeong Kim, David A. Carrington	A Formal Mapping between UML Models and Object-Z Specifications.	ZB	2000	DBLP DOI BibTeX RDF
5	Roberto Bruni, Ugo Montanari, Vladimiro Sassone	Open Ended Systems, Dynamic Bisimulation and Tile Logic.	IFIP TCS	2000	DBLP DOI BibTeX RDF	SOS formats, dynamic bisimulation, tile logic, Bisimulation
5	Michael G. Malkovsky, Alexey V. Subbotin	NL-Processor and Linguistic Knowledge Base in a Speech Recognition System.	TSD	2000	DBLP DOI BibTeX RDF
5	Nat Pryce, Naranker Dulay	Dynamic Architectures and Architectural Styles for Distributed Program.	FTDCS	1999	DBLP DOI BibTeX RDF	Metaobjects, Java, Middleware, Transport Protocols, Architectural Style, Component Models, Dynamic Architectures
5	Akihiro Suyama, Naoya Negishi, Takahira Yamaguchi	Composing Inductive Applications Using Ontologies for Machine Learning.	Discovery Science	1998	DBLP DOI BibTeX RDF
5	Antonio Brogi, Simone Contiero, Franco Turini	The Use of Renaming in Composing General Programs.	LOPSTR	1998	DBLP DOI BibTeX RDF
5	Jutta Eusterbrock	Program Synthesis from Examples by Theory Formation.	ISMIS	1997	DBLP DOI BibTeX RDF
5	Chuck C. Liang	Let-Polymorphism and Eager Type Schemes.	TAPSOFT	1997	DBLP DOI BibTeX RDF
5	Ulrike Schultze, Richard J. Boland Jr.	Hard and Soft Information Genres: An Analysis of two Notes Databases.	HICSS (6)	1997	DBLP DOI BibTeX RDF
5	William J. Tolone, Simon M. Kaplan, Geraldine Fitzpatrick	Specifying dynamic support for collaborative work within WORLDS.	COOCS	1995	DBLP DOI BibTeX RDF
5	Luc Steels	Beyond Objects.	ECOOP	1994	DBLP DOI BibTeX RDF
5	Frank J. Smieja	Rejection of Incorrect Answers from a Neural Net Classifier.	IWANN	1993	DBLP DOI BibTeX RDF
5	François Bry	Towards Intelligent Databases.	ISMIS	1993	DBLP DOI BibTeX RDF
5	Daniela Tiscornia	Meta-resoning in Law: A computational Model.	DEXA	1993	DBLP DOI BibTeX RDF
5	Jaap Hage	Monological Reason-Based Logic: A Low Level Integration of Rule-Based Reasoning and Case-Based Reasoning.	ICAIL	1993	DBLP DOI BibTeX RDF
5	Toby Walsh, Alex Nunes, Alan Bundy	The Use of Proof Plans to Sum Series.	CADE	1992	DBLP DOI BibTeX RDF
5	Antonio Brogi, Evelina Lamma, Paola Mello	Objects in a Logic Programming Framework.	RCLP	1991	DBLP DOI BibTeX RDF
5	Manfred A. Jeusfeld, Matthias Jarke	From Relational to Object-Oriented Integrity Simplification.	DOOD	1991	DBLP DOI BibTeX RDF
5	Suad Alagic	Toward Multiparadigm Database Interfaces.	East/West Database Workshop	1990	DBLP DOI BibTeX RDF
5	Mark Tarver	An Examination of the Prolog Technology Theorem-Prover.	CADE	1990	DBLP DOI BibTeX RDF	PTTP, metalevel reasoning, Prolog Normal Form, refinement
5	Bogong Su, Chunyi Shi, Kehong Wang, Peng Hu, Jiang Wang, Yiming Wu	Distributed Problem Solving System for Transport Dispatching.	IEA/AIE (Vol. 1)	1990	DBLP DOI BibTeX RDF
5	David E. Wolstenholme	Amalgamating Regulation- and Case-Based Advice Systems Through Suggested Answers.	ICAIL	1989	DBLP DOI BibTeX RDF
5	Karoline Malmkjær	On Some Semantic Issues in the Reflective Tower.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
5	Wei-Han Chu	Generic Expert System Shell for Diagnostic Reasoning.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF	LISP
5	Clemens Beckstein, Günther Görz, M. Tielemann	FORK: A System for Object- and Rule-Oriented Programming.	ECOOP	1987	DBLP DOI BibTeX RDF
5	A. J. J. Dick, Jim Cunningham	Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning.	CADE	1986	DBLP DOI BibTeX RDF