Search results for "meta-level"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	Robert Colvin, Ian J. Hayes	CSP with Hierarchical State.	IFM	2009	DBLP DOI BibTeX RDF
6	Ulrich Frank	Integration - Reflections on a Pivotal Concept for Designing and Evaluating Information Systems.	UNISCON	2008	DBLP DOI BibTeX RDF	IT business alignment, semantics, integration, redundancy, reusability, Coupling
6	Sonja Maier, Daniel Volk	Facilitating language-oriented game development by the help of language workbenches.	Future Play	2008	DBLP DOI BibTeX RDF	(visual) domain-specific languages, game prototyping, model-driven development, game development, software factories, language workbenches
6	Artur S. d'Avila Garcez	Advances in Neural-Symbolic Learning Systems: Modal and Temporal Reasoning.	Perspectives of Neural-Symbolic Integration	2007	DBLP DOI BibTeX RDF
6	Andrew M. Pitts, Mark R. Shinwell	Generative unbinding of names.	POPL	2007	DBLP DOI BibTeX RDF	alpha-conversion, meta-programming, abstract syntax, binders
6	Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran	Debugging ASP Programs by Means of ASP.	LPNMR	2007	DBLP DOI BibTeX RDF
6	Ethan K. Jackson, Janos Sztipanovits	Constructive Techniques for Meta- and Model-Level Reasoning.	MoDELS	2007	DBLP DOI BibTeX RDF
6	Bow-Yaw Wang	Automatic Verification of a Model Checker by Reflection.	PADL	2006	DBLP DOI BibTeX RDF	Model Checking, Logic Programming, Reflection, Rewriting Logic
6	Ewen Denney, Bernd Fischer 0002	A generic annotation inference algorithm for the safety certification of automatically generated code.	GPCE	2006	DBLP DOI BibTeX RDF	hoare calculus, logical annotations, program verification, automated theorem proving, software certification, automated code generation
6	John Hallam, Herman Bruyninckx	An Ontology of Robotics Science.	EUROS	2006	DBLP DOI BibTeX RDF
6	Bernd Mahr, Sebastian Bab	inT-Integration of Logics.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
6	Claudio Castellini, Alan Smaill	Proof Planning for First-Order Temporal Logic.	CADE	2005	DBLP DOI BibTeX RDF
6	Bruno Buchberger	A view on the future of symbolic computation.	ISSAC	2005	DBLP DOI BibTeX RDF
6	Virginia Mary Lo, Daniel Zappala, Dayi Zhou, Yuhong Liu, Shanyu Zhao	Cluster Computing on the Fly: P2P Scheduling of Idle Cycles in the Internet.	IPTPS	2004	DBLP DOI BibTeX RDF
6	Johnny Friberg, Dan Gärdenfors	Audio games: new perspectives on game audio.	Advances in Computer Entertainment Technology	2004	DBLP DOI BibTeX RDF	game audio, sound-scape, spatial soundtrack, visual impairment, auditory interface, sound design, e-inclusion, audio game
6	Dale Miller 0001, Alwen Fernanto Tiu	A Proof Theory for Generic Judgments: An extended abstract.	LICS	2003	DBLP DOI BibTeX RDF	reasoning about operational semantics, generic judgments, higher-order abstract syntax, proof search
6	Nasreddine Aoumeur, Gunter Saake	Stepwise and Rigorous Development of Evolving Concurrent Information Systems: From Semi-formal Objects to Sound Evolving Components.	OOIS	2003	DBLP DOI BibTeX RDF
6	Reza Ziaei, Gul Agha	SynchNet: A Petri Net Based Coordination Language for Distributed Objects.	GPCE	2003	DBLP DOI BibTeX RDF
6	Montserrat Sendín, Jesús Lorés, Francisco Montero Simarro, Víctor López-Jaquero	Towards a Framework to Develop Plastic User Interfaces.	Mobile HCI	2003	DBLP DOI BibTeX RDF
6	Montserrat Sendín, Jesús Lorés, Francisco Montero Simarro, Víctor López-Jaquero, Pascual González	User Interfaces: A Proposal for Automatic Adaptation.	ICWE	2003	DBLP DOI BibTeX RDF
6	Leen-Kiat Soh, Xin Li	A learning-based coalition formation model for multiagent systems.	AAMAS	2003	DBLP DOI BibTeX RDF	real time, learning, multiagent systems, negotiation, coalition formation
6	Mark Sims, Claudia V. Goldman, Victor R. Lesser	Self-organization through bottom-up coalition formation.	AAMAS	2003	DBLP DOI BibTeX RDF	emergent organization, multi-agent systems, negotiation, coalition formation, self-organizing systems
6	Antonija Mitrovic	Investigating Students' Self-Assessment Skills.	User Modeling	2001	DBLP DOI BibTeX RDF
6	James P. Delgrande, Torsten Schaub	How to Reason Credulously and Skeptically within a Single Extension.	ECSQARU	2001	DBLP DOI BibTeX RDF
6	Christian Heide Damm, Klaus Marius Hansen, Michael Thomsen, Michael Tyrsted	Supporting Several Levels of Restriction in the UML.	UML	2000	DBLP DOI BibTeX RDF
6	Andrew A. Hanish, Tharam S. Dillon	A Tool for Object-Oriented Dynamic Modeling.	ISORC	1999	DBLP DOI BibTeX RDF
6	Jon A. Preston, Russell L. Shackelford	Improving on-line assessment: an investigation of existing marking methodologies.	ITiCSE	1999	DBLP DOI BibTeX RDF	on-line marking, evaluation, assessment, educational technology
6	Walter Cazzola, Andrea Sosio, Francesco Tisato	Shifting Up Reflection from the Implementation to the Analysis Level.	Reflection and Software Engineering	1999	DBLP DOI BibTeX RDF
6	Christian Huemer, Gerald Quirchmayr, A Min Tjoa	A Meta Message Approach for Electronic Data Interchange (EDI).	DEXA	1997	DBLP DOI BibTeX RDF
6	Carlos Montez, Joni da Silva Fraga, Jean-Marie Farines, Olinto Furtado, Frank Siqueira	A Programming Model for Real-Time Applications in Open Distributed Systems.	FTDCS	1995	DBLP DOI BibTeX RDF	distributed systems, real-time systems, CORBA, reflection, open systems
6	Gerhard Köstler, Werner Kießling, Helmut Thöne, Ulrich Güntzer	The Differential Fixpoint Operator with Subsumption.	DOOD	1993	DBLP DOI BibTeX RDF
6	Amy P. Felty	A Logic Programming Approach to Implementing Higher-Order Term Rewriting.	ELP	1991	DBLP DOI BibTeX RDF
6	Frank N. Kautzmann III	A methodology for multiple rule system integration and resolutions within a singular knowledge base.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
5	Budhitama Subagdja, Liz Sonenberg, Iyad Rahwan	Intentional learning agent architecture.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	BDI agent architecture, Machine learning, Plans, Autonomous agents, Abduction
5	Matthew R. Lakin, Andrew M. Pitts	Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming.	ESOP	2009	DBLP DOI BibTeX RDF
5	Masahiro Tanaka, Toru Ishida 0001, Yohei Murakami, Satoshi Morimoto	Service Supervision: Coordinating Web Services in Open Environment.	ICWS	2009	DBLP DOI BibTeX RDF
5	Delia Kesner, Fabien Renaud	The Prismoid of Resources.	MFCS	2009	DBLP DOI BibTeX RDF
5	Pierre Audouard, Guillaume Chaslot, Jean-Baptiste Hoock, Julien Perez, Arpad Rimmel, Olivier Teytaud	Grid Coevolution for Adaptive Simulations: Application to the Building of Opening Books in the Game of Go.	EvoWorkshops	2009	DBLP DOI BibTeX RDF
5	Rui Pereira, Luís Seabra Lopes	Learning Visual Object Categories with Global Descriptors and Local Features.	EPIA	2009	DBLP DOI BibTeX RDF
5	Wenli Dong	Dynamic Reconfiguration Method for Web Service Based on Policy.	ISECS	2008	DBLP DOI BibTeX RDF	Reconfiguration Policy, Web Service, Dynamic Reconfiguration
5	Yang Liu 0050, Guohua Bai, Boqin Feng	On mining rules that involve inequalities from decision table.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
5	Celso de Melo, Jonathan Gratch	Evolving Expression of Emotions in Virtual Humans Using Lights and Pixels.	IVA	2008	DBLP DOI BibTeX RDF
5	Masahiro Tanaka, Yohei Murakami, Toru Ishida 0001	Towards Service Supervision for Public Web Services.	APSCC	2008	DBLP DOI BibTeX RDF
5	Nils Müllner, Abhishek Dhama, Oliver E. Theel	Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	Simulation, Fault Tolerance, Reliability, Availability, Self-Stabilization
5	Honguk Woo, Jianliang Yi, James C. Browne, Aloysius K. Mok, Ella M. Atkins, Fei Xie	Design and Development Methodology for Resilient Cyber-Physical Systems.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
5	Edmund H. Durfee	Planning for Coordination and Coordination for Planning.	Web Intelligence	2008	DBLP DOI BibTeX RDF
5	Thomas Pareaud, Jean-Charles Fabre, Marc-Olivier Killijian	Componentization of Fault Tolerance Software for Fine-Grain Adaptation.	PRDC	2008	DBLP DOI BibTeX RDF
5	Evgenia Sendova, Eliza Stefanova, Nikolina Nikolova, Eugenia Kovatcheva	Like a (School of) Fish in Water (or ICT-Enhanced Skillsin Action).	ISSEP	2008	DBLP DOI BibTeX RDF	ICT-enhanced skills, active learning methods, Teacher education
5	Cheng-Te Li, Man-Kwan Shan	Affective Space Exploration for Impressionism Paintings.	PCM	2008	DBLP DOI BibTeX RDF	Affective space, Color harmony, Emotionalization, Multiple-type latent semantic analysis, Paintings, Feature clustering
5	Norbert Jankowski, Krzysztof Grabczewski	Handwritten Digit, Recognition Road to Contest victory.	CIDM	2007	DBLP DOI BibTeX RDF
5	Samuel Chindaro, Konstantinos Sirlantzis, Michael C. Fairhurst	Modelling Multiple-Classifier Relationships Using Bayesian Belief Networks.	MCS	2007	DBLP DOI BibTeX RDF	Diversity, Bayesian Belief Networks, Multiple Classifier Systems
5	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	User Interfaces and Metalanguage Applications.	All About Maude	2007	DBLP DOI BibTeX RDF
5	Emilia Oikarinen	Modular Answer Set Programming.	ICLP	2007	DBLP DOI BibTeX RDF
5	Stephan Grimm, Uwe Keller, Holger Lausen, Gábor Nagypál	A Reasoning Framework for Rule-Based WSML.	ESWC	2007	DBLP DOI BibTeX RDF
5	Jon Espen Ingvaldsen, Jon Atle Gulla	Preprocessing Support for Large Scale Process Mining of SAP Transactions.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF
5	Claus Pahl, Simon Giesecke, Wilhelm Hasselbring	An Ontology-Based Approach for Modelling Architectural Styles.	ECSA	2007	DBLP DOI BibTeX RDF	architecture ontology, quality-driven development, description logics, architectural style, Software architecture modelling
5	Delia Kesner	The Theory of Calculi with Explicit Substitutions Revisited.	CSL	2007	DBLP DOI BibTeX RDF
5	Bryan Horling, Victor R. Lesser, Régis Vincent, Thomas Wagner 0001	The Soft Real-Time Agent Control Architecture.	Auton. Agents Multi Agent Syst.	2006	DBLP DOI BibTeX RDF	agent control, scheduling, resource management, soft real-time
5	Mark Buckley, Christoph Benzmüller	An Agent-Based Architecture for Dialogue Systems.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
5	Jiayuan Huang, Tingshao Zhu, Dale Schuurmans	Web Communities Identification from Random Walks.	PKDD	2006	DBLP DOI BibTeX RDF
5		Formalization of Capability for Command-Based Agent.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
5	Puwei Wang, Zhi Jin, Lin Liu 0001	Environment Ontology-Based Capability Specification for Web Service Discovery.	ICFEM	2006	DBLP DOI BibTeX RDF	Environment Ontology, Capability Specification, Service Discovery
5	Reza Razavi, Kirill Mechitov, Sameer Sundresh, Gul Agha, Jean-François Perrot	Ambiance: adaptive object model-based platform for macroprogramming sensor networks.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	sensor networks, actors, adaptive object-models
5	Andreas Lund, Ole Smørdal	Is there a space for the teacher in a WIKI?	Int. Sym. Wikis	2006	DBLP DOI BibTeX RDF	collective cognition, design development, teachers, MediaWiki
5	Ray Carroll, Claire Fahy, Elyes Lehtihet, Sven van der Meer, Nektarios Georgalas, David Cleary	Applying the P2P paradigm to management of large-scale distributed networks using a Model Driven Approach.	NOMS	2006	DBLP DOI BibTeX RDF
5	Eli Gjørven, Frank Eliassen, Ketil Lund, Viktor S. Wold Eide, Richard Staehli	Self-Adaptive Systems: A Middleware Managed Approach.	SelfMan	2006	DBLP DOI BibTeX RDF
5	K. Priyantha Hewagamage	Learning Patterns: A Mechanism for the Personalization of Adaptive E-Learning.	ICWL	2006	DBLP DOI BibTeX RDF	SCORM and Knowledge Modeling, Personalization, Navigational Path, Adaptive e-Learning
5	Puwei Wang, Zhi Jin, Lin Liu 0001	An Approach for Specifying Capability ofWeb Services based on Environment Ontology.	ICWS	2006	DBLP DOI BibTeX RDF
5	Kung-Jiuan Yang, Yuh-Min Chen	Ontology-Based Knowledge Retrieval in Organizational Memory.	ICICIC (1)	2006	DBLP DOI BibTeX RDF	Organization Memory, Ontology, Case-Based Reasoning, Knowledge Retrieval
5	Zhiwen Yu 0001, Xingshe Zhou 0001, Changde Li, Shoji Kajita, Kenji Mase	UPmP: A Component-Based Configurable Software Platform for Ubiquitous Personalized Multimedia Services.	UIC	2006	DBLP DOI BibTeX RDF
5	Kasper Hallenborg, Yves Demazeau	Dynamical Control in Large-Scale Material Handling Systems through Agent Technology.	IAT	2006	DBLP DOI BibTeX RDF
5	Awais Rashid, Ana Moreira 0001	Domain Models Are NOT Aspect Free.	MoDELS	2006	DBLP DOI BibTeX RDF
5	M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer	Prototyping 3APL in the Maude Term Rewriting Language.	CLIMA	2006	DBLP DOI BibTeX RDF
5	Lin Padgham, Patrick Lambrix	Formalisations of Capabilities for BDI-Agents.	Auton. Agents Multi Agent Syst.	2005	DBLP DOI BibTeX RDF	agent representation formalisms, agent theory, agent capabilities, BDI-agents
5	Kai-Uwe Sattler, Ingolf Geist, Eike Schallehn	Concept-based querying in mediator systems.	VLDB J.	2005	DBLP DOI BibTeX RDF	Query processing, Data integration, Mediator systems
5	Zhongzhi Shi, Sulan Zhang	Case-based introspective learning.	IEEE ICCI	2005	DBLP DOI BibTeX RDF
5	Mingyang Gu, Agnar Aamodt	A Knowledge-Intensive Method for Conversational CBR.	ICCBR	2005	DBLP DOI BibTeX RDF
5	Christian Braun 0001, Felix Wortmann, Martin Hafner, Robert Winter 0001	Method construction - a core approach to organizational engineering.	SAC	2005	DBLP DOI BibTeX RDF	method, method engineering, organizational engineering
5	Philipp Cimiano, Johanna Völker	Text2Onto.	NLDB	2005	DBLP DOI BibTeX RDF
5	Yanxiang He, Weidong Wen, Hui Jin, Haowen Liu	Agent-based Mobile Service Discovery in Grid Computing.	CIT	2005	DBLP DOI BibTeX RDF
5	Mohamed Amine Chatti, Ralf Klamma, Christoph Quix, David Kensche	LM-DTM: An Environment for XML-Based, LIP/PAPI-Compliant Deployment, Transformation and Matching of Learner Models.	ICALT	2005	DBLP DOI BibTeX RDF
5	Hamid Abdul Basit, Damith C. Rajapakse, Stan Jarzabek	Beyond templates: a study of clones in the STL and some general implications.	ICSE	2005	DBLP DOI BibTeX RDF	software maintenance, clones, meta-programming
5	Zhuofeng Zhao, Yanbo Han, Jianwu Wang 0001, Kui Huang	A Reflective Approach to Keeping Business Characteristics in Business-End Service Composition.	WISE	2004	DBLP DOI BibTeX RDF
5	Dines Bjørner	Towards Posit & Prove Calculi for Requirements Engineering and Software Design: In Honour of the Memory of Professor Ole-Johan Dahl.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
5	Lora Aroyo, Akiko Inaba, Larisa N. Soldatova, Riichiro Mizoguchi	EASE: Evolutional Authoring Support Environment.	Intelligent Tutoring Systems	2004	DBLP DOI BibTeX RDF
5	Stephen-John Craig, Michael Leuschel	LIX: an Effective Self-applicable Partial Evaluator for Prolog.	FLOPS	2004	DBLP DOI BibTeX RDF	Logic Programming, Partial Evaluation, Tupling, Deforestation, Partial Deduction, Self-application
5	Raymond So, Liz Sonenberg	Situation Awareness in Intelligent Agents: Foundations for a Theory of Proactive Agent Behavior.	IAT	2004	DBLP DOI BibTeX RDF
5	Martin H. C. Law, Alexander P. Topchy, Anil K. Jain 0001	Multiobjective Data Clustering.	CVPR (2)	2004	DBLP DOI BibTeX RDF
5	De-Jiu Chen, Martin Törngren	A Systematic Approach for Identifying Operational Relationships in Embedded Computer Control Systems.	EUROMICRO	2004	DBLP DOI BibTeX RDF
5	Martin Große-Rhode	On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
5	David N. Morley, Karen L. Myers	The SPARK Agent Framework.	AAMAS	2004	DBLP DOI BibTeX RDF
5	Sumit Ghosh	Triggering Creativity in Science and Engineering: Reflection as a Catalyst.	J. Intell. Robotic Syst.	2003	DBLP DOI BibTeX RDF	synthetic creativity, creativity in science and engineering, creative discoveries and inventions, reflection, intelligence, imagination
5	Grzegorz J. Nalepa, Antoni Ligeza	Designing Reliable Web Security Systems Using Rule-Based Systems Approach.	AWIC	2003	DBLP DOI BibTeX RDF
5	Robert Pawel Bialek	Dynamically updatable component-based system (DUCS).	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	interface adaptation, state-transfer, components, reflection, dynamic updates
5	Antonella Di Stefano, Marco Fargetta, Emiliano Tramontana	Computational Reflection for Embedded Java Systems.	OTM Workshops	2003	DBLP DOI BibTeX RDF
5	Churn-Jung Liau	Epistemic Logics for Information Fusion.	ECSQARU	2003	DBLP DOI BibTeX RDF	belief fusion, majority merging, general merging, multi-agent systems, belief revision, epistemic logic, arbitration, database merging
5	Petr Savický, Johannes Fürnkranz	Combining Pairwise Classifiers with Stacking.	IDA	2003	DBLP DOI BibTeX RDF
5	Pierrick Plamondon, Brahim Chaib-draa, Patrick Beaumont, Dale E. Blodgett	A Frigate Movement Survival Agent-Based Approach.	KES	2003	DBLP DOI BibTeX RDF
5	Tristan Pannérec	Knowledge-Based Automatic Components Placement for Single-Layer PCB Layout.	KES	2003	DBLP DOI BibTeX RDF
5	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	The Maude 2.0 System.	RTA	2003	DBLP DOI BibTeX RDF