Search results for "Confluence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Klaus-Dieter Schewe, Bernhard Thalheim	Term Rewriting for Web Information Systems - Termination and Church-Rosser Property.	WISE	2007	DBLP DOI BibTeX RDF
10	Amarjeet Singh 0001, Maxim A. Batalin, Victor Chen 0001, Michael J. Stealey, Brett L. Jordan, Jason C. Fisher, Thomas C. Harmon, Mark H. Hansen, William J. Kaiser	Autonomous Robotic Sensing Experiments at San Joaquin River.	ICRA	2007	DBLP DOI BibTeX RDF
10	Ani Nahapetian, Foad Dabiri, Miodrag Potkonjak, Majid Sarrafzadeh	Optimization for Real-Time Systems with Non-convex Power Versus Speed Models.	PATMOS	2007	DBLP DOI BibTeX RDF
10	Ulrike Prange, Hartmut Ehrig	From Algebraic Graph Transformation to Adhesive HLR Categories and Systems.	CAI	2007	DBLP DOI BibTeX RDF
10	Sam Lindley	Extensional Rewriting with Sums.	TLCA	2007	DBLP DOI BibTeX RDF
10	Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz	Towards Rewriting in Coq.	Rewriting, Computation and Proof	2007	DBLP DOI BibTeX RDF
10	Marc Denecker, Joost Vennekens	Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions.	LPNMR	2007	DBLP DOI BibTeX RDF
10	Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández	Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics.	INAP/WLP	2007	DBLP DOI BibTeX RDF
10	Robert Brijder, Miika Langille, Ion Petre	A String-Based Model for Simple Gene Assembly.	FCT	2007	DBLP DOI BibTeX RDF
10	Denis Caromel, Ludovic Henrio, Eric Madelaine	Active Objects and Distributed Components: Theory and Implementation.	FMCO	2007	DBLP DOI BibTeX RDF
10	Leslie De Koninck, Tom Schrijvers, Bart Demoen	User-definable rule priorities for CHR.	PPDP	2007	DBLP DOI BibTeX RDF	rule priorities, constraint handling rules, execution control
10	Ludovic Henrio, Florian Kammüller	A Mechanized Model of the Theory of Objects.	FMOODS	2007	DBLP DOI BibTeX RDF
10	Sergei N. Artëmov, Eduardo Bonelli	The Intensional Lambda Calculus.	LFCS	2007	DBLP DOI BibTeX RDF
10	José Espírito Santo	Delayed Substitutions.	RTA	2007	DBLP DOI BibTeX RDF
10	Joe Hendrix, José Meseguer 0001	On the Completeness of Context-Sensitive Order-Sorted Specifications.	RTA	2007	DBLP DOI BibTeX RDF
10	Gerhard Weikum	Harvesting and Organizing Knowledge from the Web.	ADBIS	2007	DBLP DOI BibTeX RDF
10	Amarjeet Singh 0001, Maxim A. Batalin, Michael J. Stealey, Victor Chen 0001, Mark H. Hansen, Thomas C. Harmon, Gaurav S. Sukhatme, William J. Kaiser	Mobile Robot Sensing for Environmental Applications.	FSR	2007	DBLP DOI BibTeX RDF
10	Delia Kesner	The Theory of Calculi with Explicit Substitutions Revisited.	CSL	2007	DBLP DOI BibTeX RDF
10	Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub	Building Decision Procedures in the Calculus of Inductive Constructions.	CSL	2007	DBLP DOI BibTeX RDF	Calculus of Inductive Constructions, Decision procedures, Theorem provers
10	Malik Shahzad Kaleem Awan, Mian M. Awais	Data Mining - Redefining the Boundaries.	AICCSA	2007	DBLP DOI BibTeX RDF
10	James D. Myers, Robert E. McGrath	Cyberenvironments: adaptive middleware for scientific cyberinfrastructure.	ARM	2007	DBLP DOI BibTeX RDF	architecture, cyberinfrastructure
10	Radu Mateescu 0001	CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Boolean equation system, Verification, Temporal logic, Bisimulation, Partial-order reduction
10	Walter Dosch, Annette Stümpel	Deriving State-Based Implementations of Interactive Components with History Abstractions.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	Interactive component, stream processing function, history abstraction, state transition machine, communication history
10	Luciano Baresi, Karsten Ehrig, Reiko Heckel	Verification of Model Transformations: A Case Study with BPEL.	TGC	2006	DBLP DOI BibTeX RDF
10	Bruce Trask, Dominick Paniscotti, Angel Roman, Vikram Bhanot	Using model-driven engineering to complement software product line engineering in developing software defined radio components and applications.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	model, generation, language, development, domain
10	Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet	Automatic Generation of Functional Programs from CASL Specifications.	ICSEA	2006	DBLP DOI BibTeX RDF
10	C. Barry Jay, Delia Kesner	Pure Pattern Calculus.	ESOP	2006	DBLP DOI BibTeX RDF
10	Freiric Barral, Sergei Soloviev 0001	Inductive Type Schemas as Functors.	CSR	2006	DBLP DOI BibTeX RDF
10	Roy Dyckhoff, Delia Kesner, Stéphane Lengrand	Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic.	IJCAR	2006	DBLP DOI BibTeX RDF
10	Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz	Consistency and Completeness of Rewriting in the Calculus of Constructions.	IJCAR	2006	DBLP DOI BibTeX RDF
10	Yohei Kurata, Max J. Egenhofer	The Head-Body-Tail Intersection for Spatial Relations Between Directed Line Segments.	GIScience	2006	DBLP DOI BibTeX RDF
10	Yosihiro Yuse, Atsushi Igarashi	A modal type system for multi-level generating extensions with persistent code.	PPDP	2006	DBLP DOI BibTeX RDF	time-ordered normalization, temporal logic, type systems, modal logic, meta-programming, curry-howard isomorphism
10	Jiangzhuo Chen, Ravi Sundaram, Madhav V. Marathe, Rajmohan Rajaraman	The Confluent Capacity of the Internet: Congestion vs. Dilation.	ICDCS	2006	DBLP DOI BibTeX RDF
10	Tachio Terauchi, Alex Aiken	A Capability Calculus for Concurrency and Determinism.	CONCUR	2006	DBLP DOI BibTeX RDF
10	Jean-Pierre Jouannaud	Modular Church-Rosser Modulo.	RTA	2006	DBLP DOI BibTeX RDF
10	Tuan Zea Tan, Chai Quek, Geok See Ng	Clinical Diagnosis Using Proteomics and Complementary Learning.	IJCNN	2006	DBLP DOI BibTeX RDF
10	Paulo Veríssimo	Thou Shalt Not Trust non-Trustworthy Systems.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
10	Satish Narayana Srirama, Matthias Jarke, Wolfgang Prinz	A Mediation Framework for Mobile Web Service Provisioning.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
10	John M. Cohn, Jeong-Taek Kong, Chris Malachowsky, Rich Tobias, Brendan Traw	Design challenges for next-generation multimedia, game and entertainment platforms.	DAC	2006	DBLP DOI BibTeX RDF	multimedia, gaming, design methodology, entertainment
10	Artur Boronat, José A. Carsí, Isidro Ramos	Algebraic Specification of a Model Transformation Engine.	FASE	2006	DBLP DOI BibTeX RDF	Model Transformation, Model-Driven Engineering, Traceability, Algebraic Specifications, QVT
10	Satish Narayana Srirama, Matthias Jarke, Wolfgang Prinz	Mobile Web Service Provisioning.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
10	Tuan Zea Tan, Geok See Ng, Hiok Chai Quek, Stephen C. L. Koh	Ovarian Cancer Prognosis by Hemostasis and Complementary Learning.	ICONIP (3)	2006	DBLP DOI BibTeX RDF
10	Dietrich Kuske, Markus Lohrey	Decidable First-Order Theories of One-Step Rewriting in Trace Monoids.	Theory Comput. Syst.	2005	DBLP DOI BibTeX RDF
10	David Bodoff, Mordechai Ben-Menachem, Patrick C. K. Hung	Web Metadata Standards: Observations and Prescriptions.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	Semantic Web, metadata, standards, intelligent Web services
10	Matthias M. Hölzl, John N. Crossley	Disjunctive Constraint Lambda Calculi.	LPAR	2005	DBLP DOI BibTeX RDF
10	Marc Bezem, Thierry Coquand	Automating Coherent Logic.	LPAR	2005	DBLP DOI BibTeX RDF
10	Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec	Strong Normalization of the Dual Classical Sequent Calculus.	LPAR	2005	DBLP DOI BibTeX RDF
10	Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler 0001, Bud Mishra	Algorithmic Algebraic Model Checking I: Challenges from Systems Biology.	CAV	2005	DBLP DOI BibTeX RDF
10	Tuan Zea Tan, Chai Quek, Geok See Ng	Brain-inspired genetic complementary learning for stock market prediction.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
10	Eunju Kim, Jaepil Ko	Dynamic Classifier Integration Method.	Multiple Classifier Systems	2005	DBLP DOI BibTeX RDF
10	Belgacem Ben Youssef, Haris Widjaya	An Early Look at the Visualization of Three-Dimensional Tissue Growth.	ISM	2005	DBLP DOI BibTeX RDF	tissue growth, 3-D simulation model, Visualization, volume rendering, iso-surface
10	Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck	Abstract interpretation for constraint handling rules.	PPDP	2005	DBLP DOI BibTeX RDF	abstract interpretation, constraint handling rules
10	Murdoch Gabbay	A new calculus of contexts.	PPDP	2005	DBLP DOI BibTeX RDF	calculi of contexts, lambda-calculi, nominal techniques, functional programming, binders
10	Keith Schildt, Suzanne Beaumaster, Marcie Edwards	Strategic Information Technology Management: Managing Organizational, Political, and Technological Forces.	HICSS	2005	DBLP DOI BibTeX RDF
10	Delia Kesner, Stéphane Lengrand	Extending the Explicit Substitution Paradigm.	RTA	2005	DBLP DOI BibTeX RDF
10	Nachum Dershowitz	Open. Closed. Open.	RTA	2005	DBLP DOI BibTeX RDF
10	Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saraswat	Testing Concurrent Systems: An Interpretation of Intuitionistic Logic.	FSTTCS	2005	DBLP DOI BibTeX RDF
10	Kuldeep Kumar, Jos van Hillegersberg	Introduction.	Commun. ACM	2004	DBLP DOI BibTeX RDF
10	Juan de Lara, Gabriele Taentzer	Automated Model Transformation and Its Validation Using AToM 3 and AGG.	Diagrams	2004	DBLP DOI BibTeX RDF	Multi-Formalism Modelling, Meta-Modelling, Graph Transformation
10	David Lewis 0001, Owen Conlan, Declan O'Sullivan, Vincent Wade	Managing adaptive pervasive computing using knowledge-based service integration and rule-based behavior.	NOMS (1)	2004	DBLP DOI BibTeX RDF
10	Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur	The Refined Operational Semantics of Constraint Handling Rules.	ICLP	2004	DBLP DOI BibTeX RDF
10	Serge Abiteboul, Omar Benjelloun, Tova Milo	Positive Active XML. (PDF / PS)	PODS	2004	DBLP DOI BibTeX RDF
10	Burcin Bostan-Korpeoglu, Adnan Yazici	Using Fuzzy Petri Nets for Static Analysis of Rule-Bases.	ISCIS	2004	DBLP DOI BibTeX RDF
10	Maribel Fernández, Murdoch Gabbay, Ian Mackie	Nominal rewriting systems.	PPDP	2004	DBLP DOI BibTeX RDF	?-conversion, first and higher-order rewriting, binders
10	Keith Schildt, Suzanne Beaumaster	Strategic Information Technology Management: The City of Anaheim Technological Initiatives.	HICSS	2004	DBLP DOI BibTeX RDF
10	Paul-André Melliès	Asynchronous Games 2: The True Concurrency of Innocence.	CONCUR	2004	DBLP DOI BibTeX RDF
10	Sandip Kundu, T. M. Mak, Rajesh Galivanche	Trends in manufacturing test methods and their implications.	ITC	2004	DBLP DOI BibTeX RDF
10	Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange	Adhesive High-Level Replacement Categories and Systems.	ICGT	2004	DBLP DOI BibTeX RDF
10	Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer	Fundamental Theory for Typed Attributed Graph Transformation.	ICGT	2004	DBLP DOI BibTeX RDF
10	Thom W. Frühwirth	Specialization of Concurrent Guarded Multi-set Transformation Rules.	LOPSTR	2004	DBLP DOI BibTeX RDF
10	Mihaela Ulieru	Adaptive Information Infrastructures for the e-Society.	Engineering Self-Organising Systems	2004	DBLP DOI BibTeX RDF	emergency response management, evolution, self-organization, emergence, e-Health, distributed artificial intelligence, Cybersecurities, information infrastructures
10	Wayne H. Wolf	A Decade of Hardware/Software Codesign.	Computer	2003	DBLP DOI BibTeX RDF
10	Paulo Veríssimo	Uncertainty and Predictability: Can They Be Reconciled?	Future Directions in Distributed Computing	2003	DBLP DOI BibTeX RDF
10	Jack Greenfield, Keith Short	Software factories: assembling applications with patterns, models, frameworks and tools.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	design patterns, domain-specific languages, model-driven development, software product lines, software factories
10	José Espírito Santo, Luís Pinto 0001	Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts.	TLCA	2003	DBLP DOI BibTeX RDF
10	Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori	Pure patterns type systems.	POPL	2003	DBLP DOI BibTeX RDF	Curry-Howard, pure type systems, patterns, matching, logics, Lambda-calculus, rewriting
10	Gang Chen	Coercive subtyping for the calculus of constructions.	POPL	2003	DBLP DOI BibTeX RDF	calculus of constructions, semantics of coercions, transitivity elimination, subtyping, coercion
10	Arun Jagatheesan, Arcot Rajasekar	Data Grid Management Systems.	SIGMOD Conference	2003	DBLP DOI BibTeX RDF
10	Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger	A Nominal Theory of Objects with Dependent Types.	ECOOP	2003	DBLP DOI BibTeX RDF
10	H. J. Sander Bruggink	Residuals in Higher-Order Rewriting.	RTA	2003	DBLP DOI BibTeX RDF
10	Julien Forest, Delia Kesner	Expression Reduction Systems with Patterns.	RTA	2003	DBLP DOI BibTeX RDF
10	René David, Bruno Guillaume	Strong Normalization of the Typed gammaws-Calculus.	CSL	2003	DBLP DOI BibTeX RDF
10	Clark Weissman	MLS-PCA: A High Assurance Security Architecture for Future Avionics.	ACSAC	2003	DBLP DOI BibTeX RDF
10	Steffen Schott, Markus L. Noga	Lazy XSL transformations.	ACM Symposium on Document Engineering	2003	DBLP DOI BibTeX RDF
10	Darius Burschka, Gregory D. Hager, Zachary Dodds, Martin Jägersand, Dana Cobzas, Keith Yerex	Recent Methods for Image-Based Modeling and Rendering.	VR	2003	DBLP DOI BibTeX RDF
10	Jonathan M. Borwein, Terry Stanway	Managing Digital Mathematical Discourse.	MKM	2003	DBLP DOI BibTeX RDF
10	Thomas F. La Porta	Introduction to the IEEE Transactions on Mobile Computing.	IEEE Trans. Mob. Comput.	2002	DBLP DOI BibTeX RDF
10	John F. Roddick, Myra Spiliopoulou	A Survey of Temporal Knowledge Discovery Paradigms and Methods.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	time sequence mining, temporal rules, semantics of mined rules, Temporal data mining, trend analysis
10	Katia P. Sycara	Infrastructure and Interoperability for Agent-Mediated Services.	ISMIS	2002	DBLP DOI BibTeX RDF
10	Dietrich Kuske, Markus Lohrey	On the Theory of One-Step Rewriting in Trace Monoids.	ICALP	2002	DBLP DOI BibTeX RDF
10	Jörg H. Siekmann, Graham Wrightson	An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
10	Clemens A. Szyperski	Objectively: Components versus Web Services.	ECOOP	2002	DBLP DOI BibTeX RDF
10	Julien Forest	A Weak Calculus with Explicit Operators for Pattern Matching and Substitution.	RTA	2002	DBLP DOI BibTeX RDF
10	Dennis Dams, Yassine Lakhnech, Martin Steffen	Iterating Transducers.	CAV	2001	DBLP DOI BibTeX RDF
10	Ravi Patnayakuni, Nainika Seth	Why license when you can rent? Risks and rewards of the application service provider model.	SIGCPR	2001	DBLP DOI BibTeX RDF	diffusion of adoption, outsourcing, application service providers, IS management
10	Jürgen Stuber	A Model-Based Completeness Proof of Extended Narrowing and Resolution.	IJCAR	2001	DBLP DOI BibTeX RDF
10	Salvador Lucas	Transfinite Rewriting Semantics for Term Rewriting Systems.	RTA	2001	DBLP DOI BibTeX RDF
10	Barbara König 0001	Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System.	ICALP	2000	DBLP DOI BibTeX RDF
10	A. Thaïbaoui, A. Raji, Philippe Bunel	A Fuzzy Logic Approach to Drusen Detection in Retinal Angiographic Images.	ICPR	2000	DBLP DOI BibTeX RDF
10	Julia L. Lawall, Harry G. Mairson	Sharing Continuations: Proofnets for Languages with Explicit Control.	ESOP	2000	DBLP DOI BibTeX RDF