Search results for "Exceptions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Benjamin N. Grosof, Terrence C. Poon	SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions.	WWW	2003	DBLP DOI BibTeX RDF	process descriptions, ontologies, web services, XML, semantic web, knowledge representation, logic programs, electronic commerce, OWL, RDF, semantic web services, description logic, knowledge-based, rules, declarative, intelligent software agents, DAML+OIL, electronic contracts, process knowledge, business process automation
16	Éric Grégoire	About the Fusion of Legal Knowledge with Exceptions.	ICAIL	2003	DBLP DOI BibTeX RDF
16	Emmanuel Beffara, Vincent Danos	Disjunctive normal forms and local exceptions.	ICFP	2003	DBLP DOI BibTeX RDF	classical realizability, control structures, disjunctive normal forms
16	Sriram Mahadevan, Shrikanth S. Narayanan	Handling real-time scheduling exceptions using decision support systems.	SMC	2003	DBLP DOI BibTeX RDF
16	Hervé Déjean	Learning Rules and Their Exceptions.	J. Mach. Learn. Res.	2002	DBLP BibTeX RDF
16	Jun Sawada, Warren A. Hunt Jr.	Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability.	Formal Methods Syst. Des.	2002	DBLP DOI BibTeX RDF
16	Kwangkeun Yi, Sukyoung Ryu	A cost-effective estimation of uncaught exceptions in Standard ML programs.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
16	Mauricio Minuto Espil, Alejandro A. Vaisman, Leonardo Terribile	Revising data cubes with exceptions: a rule-based perspective.	DMDW	2002	DBLP BibTeX RDF
16	Jehak Woo, Jongwook Woo, Isabelle Attali, Denis Caromel, Jean-Luc Gaudiot, Andrew L. Wendelborn	Alias Analysis for Exceptions in Java.	ACSC	2002	DBLP BibTeX RDF
16	Prabhat Mishra 0001, Nikil D. Dutt	Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions.	DIPES	2002	DBLP BibTeX RDF
16	Benjamin N. Grosof, Terrence C. Poon	Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions.	RuleML	2002	DBLP BibTeX RDF
16	Germain Faure, Claude Kirchner	Exceptions in the Rewriting Calculus.	RTA	2002	DBLP DOI BibTeX RDF
16	Cenk Kaynak	Combining multiple machine learning algorithms to learn rules and exceptions (Kurallar ve istisnaların öğrenilmesi için birden çok sınıflandırıcının birleştirilmesi)		2002	RDF
16	Rey-Long Liu, Meng-Jung Shih, Yu-Fen Kao	Adaptive Exception Monitoring Agents for Management by Exceptions.	Appl. Artif. Intell.	2001	DBLP DOI BibTeX RDF
16	Herman Jurjus, Harrie C. M. de Swart	Implication with Possible Exceptions.	J. Symb. Log.	2001	DBLP DOI BibTeX RDF
16	Matthew Arnold, Michael S. Hsiao, Ulrich Kremer, Barbara G. Ryder	Exploring the Interaction between Java?s Implicitly Thrown Exceptions and Instruction Scheduling.	Int. J. Parallel Program.	2001	DBLP DOI BibTeX RDF
16	Romeo Rizzi	Complexity of Context-Free Grammars with Exceptions and the Inadequacy of Grammars as Models for XML and SGML.	Markup Lang.	2001	DBLP BibTeX RDF
16	Pekka Kilpeläinen, Derick Wood	SGML and XML Document Grammars and Exceptions.	Inf. Comput.	2001	DBLP DOI BibTeX RDF
16	Michael M. J. Zastre, R. Nigel Horspool	Exploiting exceptions.	Softw. Pract. Exp.	2001	DBLP DOI BibTeX RDF
16	Davide Ancona, Giovanni Lagorio, Elena Zucca	A Core Calculus for Java Exceptions.	OOPSLA	2001	DBLP DOI BibTeX RDF
16	James Laird	A Fully Abstract Game Semantics of Local Exceptions.	LICS	2001	DBLP DOI BibTeX RDF
16	Jörg Kienzle, Alfred Strohmeier, Alexander B. Romanovsky	Open Multithreaded Transactions: Keeping Threads and Exceptions under Control.	WORDS	2001	DBLP DOI BibTeX RDF
16	Pablo Carmona, Juan Luis Castro, Jose Manuel Zurita	Learning maximal structure fuzzy rules with exceptions.	EUSFLAT Conf.	2001	DBLP BibTeX RDF
16	Bráulio Coelho Ávila, Fernanda Hembecker	Inconsistencies, Exceptions and Frame Systems.	SCCC	2001	DBLP DOI BibTeX RDF
16	Catherine Lucquiaud-Pilière	Une approche contrôlée du traitement d'exceptions en programmation fonctionnelle. (Acontrolled approach of exception handling in functional programming).		2001	RDF
16	Mark Klein, Chrysanthos Dellarocas	A Knowledge-based Approach to Handling Exceptions in Workflow Systems.	Comput. Support. Cooperative Work.	2000	DBLP DOI BibTeX RDF
16	Guido Vanackere	HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
16	Chrysanthos Dellarocas, Mark Klein	A knowledge-based approach for handling exceptions in business processes.	Inf. Technol. Manag.	2000	DBLP DOI BibTeX RDF
16	Nerman Jurrjus, Harrie C. M. de Swart	Implication-with-possible-exceptions.	RelMiCS	2000	DBLP BibTeX RDF
16	Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas	Verifying Advanced Microarchitectures that Support Speculation and Exceptions.	CAV	2000	DBLP DOI BibTeX RDF
16	Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki	Specifying and Querying Database Repairs using Logic Programs with Exceptions.	FQAS	2000	DBLP DOI BibTeX RDF
16	Jeff Polakow, Kwangkeun Yi	Proving Syntactic Properties of Exceptions in an Ordered Logical Framework.	APLAS	2000	DBLP BibTeX RDF
16	Rónán Páircéir, Sally I. McClean, Bryan W. Scotney	Discovery of multi-level rules and exceptions from a distributed database.	KDD	2000	DBLP DOI BibTeX RDF	exception discovery, multi-level statistical models, distributed databases, aggregates, rule discovery, sufficient statistics
16	Bing Liu 0001, Minqing Hu, Wynne Hsu	Intuitive Representation of Decision Trees Using General Rules and Exceptions.	AAAI/IAAI	2000	DBLP BibTeX RDF
16	Scott A. Moore	On Conversation Policies and the Need for Exceptions.	Issues in Agent Communication	2000	DBLP DOI BibTeX RDF
16	Andrew Moran, Søren B. Lassen, Simon L. Peyton Jones	Imprecise Exceptions, Co-Inductively.	HOOTS	1999	DBLP DOI BibTeX RDF
16	Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar	Efficient and precise modeling of exceptions for the analysis of Java programs.	ACM SIGSOFT Softw. Eng. Notes	1999	DBLP DOI BibTeX RDF
16	Walter Daelemans, Antal van den Bosch, Jakub Zavrel	Forgetting Exceptions is Harmful in Language Learning.	Mach. Learn.	1999	DBLP DOI BibTeX RDF
16	Mark Lillibridge	Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC.	High. Order Symb. Comput.	1999	DBLP DOI BibTeX RDF
16	Fabio Casati, Maria Grazia Fugini, Isabelle Mirbel	An Environment for Designing Exceptions in Workflows.	Inf. Syst.	1999	DBLP DOI BibTeX RDF
16	Neil A. M. Maiden, Shailey Minocha, Alistair G. Sutcliffe, Darrel Manuel, Michele Ryan	A co-operative scenario based approach to acquisition and validation of system requirements: How exceptions can help!	Interact. Comput.	1999	DBLP DOI BibTeX RDF
16	Norman Ramsey	Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions.	Comput. J.	1999	DBLP DOI BibTeX RDF
16	Kecheng Liu, Tina Ong	A Modelling Approach for Handling Business Rules and Exceptions.	Comput. J.	1999	DBLP DOI BibTeX RDF
16	Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar	Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs.	PASTE	1999	DBLP DOI BibTeX RDF	Java
16	François Pessaux, Xavier Leroy	Type-Based Analysis of Uncaught Exceptions.	POPL	1999	DBLP DOI BibTeX RDF	ML
16	Sophia Drossopoulou	Java Type System with Exceptions.	ECOOP Workshops	1999	DBLP BibTeX RDF
16	Alexander Borgida, Takahiro Murata	Tolerating exceptions in workflows: a unified framework for data and processes.	WACC	1999	DBLP DOI BibTeX RDF	reified process model, safety, exception handling, deviations
16	Anup K. Ghosh, Matthew Schmid	An approach to testing COTS software for robustness to operating system exceptions and errors.	ISSRE	1999	DBLP DOI BibTeX RDF
16	Andreas Krall, Mark Probst	Monitors and Exceptions: How to Implement Java Efficiently.	Concurr. Pract. Exp.	1998	DBLP DOI BibTeX RDF
16	David M. Papurt	The Use of Exceptions.	J. Object Oriented Program.	1998	DBLP BibTeX RDF
16	Walter Daelemans, Antal van den Bosch, Jakub Zavrel	Forgetting Exceptions is Harmful in Language Learning	CoRR	1998	DBLP BibTeX RDF
16	Valter Crescenzi, Giansalvatore Mecca	Grammars Have Exceptions.	Inf. Syst.	1998	DBLP DOI BibTeX RDF
16	Kwangkeun Yi	An Abstract Interpretation for Estimating Uncaught Exceptions in Standard ML Programs.	Sci. Comput. Program.	1998	DBLP DOI BibTeX RDF
16	Stuart E. Mitchell, Alan Burns 0001, Andy J. Wellings	MOPping up Exceptions.	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
16	Jérôme Mengin	On the Logic of Exceptions.	ECAI	1998	DBLP BibTeX RDF
16	Pierre St-Vincent, Paul Bratley, Daniel Poulin	Negations and Exceptions on Topoï.	DEXA Workshops	1998	DBLP DOI BibTeX RDF
16	Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi	Non-monotonic inference system handling knowledge allowing classified exceptions.	SMC	1998	DBLP DOI BibTeX RDF
16	Leendert W. N. van der Torre, Yao-Hua Tan	Reasoning About Exceptions (Extended Abstract).	KI	1997	DBLP DOI BibTeX RDF
16	Kwangkeun Yi, Sukyoung Ryu	Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs.	SAS	1997	DBLP DOI BibTeX RDF
16	Dianxiang Xu, Guoliang Zheng	Towards a declarative semantics of inheritance with exceptions.	J. Comput. Sci. Technol.	1996	DBLP DOI BibTeX RDF
16	Geneviève Simonet	On Sandewall's Paper: Nonmonotonic Inference Rules for Multiple Inheritance with Exceptions.	Artif. Intell.	1996	DBLP DOI BibTeX RDF
16	Jean-François Monin	Exceptions Considered Harmless.	Sci. Comput. Program.	1996	DBLP DOI BibTeX RDF
16	Troels Andreasen, Henning Christiansen 0001	Counterfactual Exceptions in Deductive Database Queries.	ECAI	1996	DBLP BibTeX RDF
16	Pieter van Zee, Margaret M. Burnett, Maureen Chesire	Retire Superman: Handling Exceptions Seamlessly in a Declarative Visual Programming Language.	VL	1996	DBLP DOI BibTeX RDF
16	Pekka Kilpeläinen, Derick Wood	SGML and Exceptions.	PODP	1996	DBLP DOI BibTeX RDF
16	Hubert Garavel, Mihaela Sighireanu	On the Introduction of Exceptions in E-LOTOS.	FORTE	1996	DBLP BibTeX RDF
16	Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi	A Query Procedure for Allowing Exceptions in Advanced Logical Database.	IEA/AIE	1996	DBLP BibTeX RDF
16	K. Rustan M. Leino	Constructing a Program with Exceptions.	Inf. Process. Lett.	1995	DBLP DOI BibTeX RDF
16	Timothy K. Shih, Fuyau Lin	An Operational Semantics Approach to Disciplined Exceptions in Logic Programming.	Comput. Artif. Intell.	1995	DBLP BibTeX RDF
16	T. Mark Ellison	Constraints, Exceptions and Representations	CoRR	1995	DBLP BibTeX RDF
16	Heikki Saastamoinen	Case study on exceptions.	Inf. Technol. People	1995	DBLP DOI BibTeX RDF
16	Carl A. Gunter, Didier Rémy, Jon G. Riecke	A Generalization of Exceptions and Control in ML-like Languages.	FPCA	1995	DBLP DOI BibTeX RDF
16	Jean-François Monin	Extracting Programs with Exceptions in an Impredicative Type System.	MPC	1995	DBLP DOI BibTeX RDF
16	Carl Bamford, Bryan Dollery	OODREX: An Object-Oriented Design Tool for Reuse with Exceptions.	OOIS	1995	DBLP DOI BibTeX RDF
16	Tobias Scheffer	A Generic Algorithm for Learning Rules with Hierarchical Exceptions.	SBIA	1995	DBLP DOI BibTeX RDF
16	Bruno Defude, Hervé Martin, Anne Picault	Un système de contrôle de l'activité de transactions basé sur des exceptions.	BDA	1995	DBLP BibTeX RDF
16	Giuliano Armano	Exceptions-Based Synthesis of Boolean Functions as a Core Mechanism to Perform Concept Learning.	AI*IA	1995	DBLP DOI BibTeX RDF
16	Peter W. Eklund	Research developments in multiple inheritance with exceptions.	Knowl. Eng. Rev.	1994	DBLP DOI BibTeX RDF
16	L. Thorne McCarty, William W. Cohen	The Case for Explicit Exceptions.	Methods Log. Comput. Sci.	1994	DBLP BibTeX RDF
16	Christophe Fouqueré, Jacqueline Vauzeilles	Linear Logic and Exceptions.	J. Log. Comput.	1994	DBLP DOI BibTeX RDF
16	Pascal Coupey, Christophe Fouqueré	Classer des concepts déefinis avec des déefauts et des exceptions.	LMO	1994	DBLP BibTeX RDF
16	Luigi Liquori, Maria Luisa Sapino	Dealing with Explicit Exceptions in Prolog.	GULP-PRODE (2)	1994	DBLP BibTeX RDF
16	Nick Bassiliades, Ioannis P. Vlahavas	Modelling Constraints with Exceptions in Object-Oriented Databases.	ER	1994	DBLP DOI BibTeX RDF
16	K. Rustan M. Leino, Jan L. A. van de Snepscheut	Semantics of Exceptions.	PROCOMET	1994	DBLP BibTeX RDF
16	Eric Amiel, Marie-Jo Bellosta, Eric Dujardin, Eric Simon	Supporting Exceptions to Schema Consistency to Easy Schema Evolution on OODBMS.	BDA	1994	DBLP BibTeX RDF
16	T. Mark Ellison	Constraints, Exceptions and Representations.	SIGMORPHON	1994	DBLP BibTeX RDF
16	Kwangkeun Yi	Compile-time Detection of Uncaught Exceptions in Standard ML Programs.	SAS	1994	DBLP DOI BibTeX RDF
16	Dana Angluin, Martins Krikis	Learning with Malicious Membership Queries and Exceptions (Extended Abstract).	COLT	1994	DBLP DOI BibTeX RDF
16	Eric Amiel, Marie-Jo Bellosta, Eric Dujardin, Eric Simon	Supporting Exceptions to Schema Consistency to Ease Schema Evolution in OODBMS.	VLDB	1994	DBLP BibTeX RDF
16	Gabriel David	Semantics of multiple inheritance with exceptions in hierarchically structured logic theories		1994	RDF
16	Nasr Ullah, Matt Holle	The MC88110 implementation of precise exceptions in a superscalar architecture.	SIGARCH Comput. Archit. News	1993	DBLP DOI BibTeX RDF
16	Serge Garlatti	Default Logic Models of Certain Inheritance Systems with Exceptions.	Fundam. Informaticae	1993	DBLP BibTeX RDF
16		New exceptions to copyright infringement for computer programs.	Comput. Law Secur. Rev.	1993	DBLP DOI BibTeX RDF
16	Pierre-Yves Schobbens	Exceptions for Algebraic Specifications: On the Meaning of "but".	Sci. Comput. Program.	1993	DBLP DOI BibTeX RDF
16	Brian Winner	Investigation of implicitly raised Ada predefined exceptions.	WADAS	1993	DBLP DOI BibTeX RDF
16	Arul Siromoney, Rani Siromoney	Variations and local exceptions in inductive logic programming.	Machine Intelligence 14	1993	DBLP BibTeX RDF
16	Grigoris Antoniou	Version Space Algorithms on Hierarchies with Exceptions.	EPIA	1993	DBLP DOI BibTeX RDF
16	Jyrki Kivinen, Heikki Mannila, Esko Ukkonen	Learning rules with local exceptions.	EuroCOLT	1993	DBLP BibTeX RDF
16	Jürgen Schwille	Use and Abuse of Exceptions - 12 Guidelines for Proper Exception Handling.	Ada-Europe	1993	DBLP DOI BibTeX RDF
16	Joseph A. Goguen, José Meseguer 0001	Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF