Search results for "Exceptions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Ming-Hua Zhang	Data Types with Errors and Exceptions.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
16	Jean-Yves Girard 0001	Logic and Exceptions: A Few Remarks.	J. Log. Comput.	1992	DBLP DOI BibTeX RDF
16	Narain H. Gehani	Exceptional C or C with Exceptions.	Softw. Pract. Exp.	1992	DBLP DOI BibTeX RDF
16	Timothy K. Shih, Ruth E. Davis, Fuyau Lin	Disciplined Exceptions in Logic Programming.	ALPUK	1992	DBLP DOI BibTeX RDF
16	Juan Quemada, Arturo Azcorra	Structuring Protocols Using Exceptions in a LOTOS Extension.	PSTV	1992	DBLP BibTeX RDF
16	Chabane Oussalah, Martine Magnan, Lucile Torrès	A Method for the Management of Exceptions in Multiple Inheritance Systems.	ICTAI	1992	DBLP DOI BibTeX RDF
16	Philippe Gautron	An Assertion Mechanism Based on Exceptions.	C++ Conference	1992	DBLP BibTeX RDF
16	Geneviève Simonet	RS Theory: A Really Skeptical Theory of Inheritance with Exceptions.	KR	1992	DBLP BibTeX RDF
16	Pierre-Yves Schobbens	Exceptions in Algebraic Specifications		1992	RDF
16	Robert A. Kowalski, Fariba Sadri	Logic Programs with Exceptions.	New Gener. Comput.	1991	DBLP DOI BibTeX RDF
16	Mohammad Bahrami	Recognition of Rules and Exceptions by Neural Networks.	Int. J. Neural Syst.	1991	DBLP DOI BibTeX RDF
16	Alejandro P. Buchmann, R. S. Carrera, M. A. Vazquez-Galindo	Handling Constraints and their Exceptions: An Attached Constraint Handler for Object-Oriented CAD Databases.	On Object-Oriented Database System	1991	DBLP BibTeX RDF
16	Stephane Talbot, Marc Ayel	Consistency and Rules Subject to Exceptions.	EUROVAV	1991	DBLP BibTeX RDF
16	Yoshinori Hara, Arthur M. Keller, Gio Wiederhold	Implementing Hypertext Database Relationships through Aggregations and Exceptions.	Hypertext	1991	DBLP DOI BibTeX RDF
16	Bertram Fronhöfer	Implementing Exceptions in Inheritance by Concept Transforming Actions.	AI*IA	1991	DBLP DOI BibTeX RDF
16	Serge Lacourte	Exceptions dans les langages à objets.		1991	RDF
16	Richard G. Ramirez, Ronald Dattero, Joobin Choobineh	Representing generalizations and exceptions in expert database systems.	Decis. Support Syst.	1990	DBLP DOI BibTeX RDF
16	Jean-Chrysostome Bolot, Pankaj Jalote	Functional Semantics of Programs with Exceptions.	Comput. Lang.	1990	DBLP DOI BibTeX RDF
16	Richard G. Ramirez, Ronald Dattero, Joobin Choobineh	Extension of relational views to derived relations with exceptions.	Inf. Syst.	1990	DBLP DOI BibTeX RDF
16	J. Michael Spivey	A Functional Theory of Exceptions.	Sci. Comput. Program.	1990	DBLP DOI BibTeX RDF
16	Ronald Dattero, Richard G. Ramirez, Joobin Choobineh	Derived Relations with Exceptions: Decision Support Capabilities.	J. Manag. Inf. Syst.	1990	DBLP DOI BibTeX RDF
16	Walter D. Potter, A. D. Wright, A. M. Morton, W. C. Kessler	Handling uncertainty and exceptions with defeasible dependencies.	ACM Southeast Regional Conference	1990	DBLP DOI BibTeX RDF
16	Robert A. Kowalski, Fariba Sadri	Logic Programs with Exceptions.	ICLP	1990	DBLP BibTeX RDF
16	L. Thorne McCarty	The Case for Explicit Exceptions.	LPNMR	1990	DBLP BibTeX RDF
16	Takefumi Yamazaki	Automatic elicitation of interactive rules from data with exceptions using TMS.	TAI	1990	DBLP DOI BibTeX RDF
16	Lloyd Allison	Direct Semantics and Exceptions Define Jumps and Coroutines.	Inf. Process. Lett.	1989	DBLP DOI BibTeX RDF
16	Piotr Rychlik	Multiple inheritance systems with exceptions.	Artif. Intell. Rev.	1989	DBLP DOI BibTeX RDF
16	Brigitte Biebow, Pascal Coupey, Sylvie Szulman	Using exceptions in a semantic network for a natural language application.	EUROSPEECH	1989	DBLP DOI BibTeX RDF
16	Jean-Chrysostome Bolot, Pankaj Jalote	Formal verification of programs with exceptions.	FTCS	1989	DBLP DOI BibTeX RDF
16	Thomas J. Quiggle	Ramifications of re-introducing asynchronous exceptions to the Ada language.	IRTAW	1989	DBLP DOI BibTeX RDF
16	François Jacquenet	Le traitement des exceptions en programmation logique avec VEGA.	SPLT	1989	DBLP BibTeX RDF
16	Patrick Doherty 0001	A Semantics for Inheritance Hierarchies with Exceptions Using a Logic of Preferential Entailment.	SCAI	1989	DBLP BibTeX RDF
16	Phyllis Koton, Melissa P. Chase	Knowledge Representation in a Case-Based Reasoning System: Defaults and Exceptions.	KR	1989	DBLP BibTeX RDF
16	Sorin Iacobovici	A pipelined interface for high floating-point performance with precise exceptions.	IEEE Micro	1988	DBLP DOI BibTeX RDF
16	Christian Esculier	Inheritances with Exceptions: An Approach Based on Semantic Tolerance.	DS-3	1988	DBLP BibTeX RDF
16	Jun Arima	Generating Rules with Exceptions.	FGCS	1988	DBLP BibTeX RDF
16	John A. Perkins, R. S. Gorzela	Programming paradigms involving exceptions: a software quality approach.	WADAS	1987	DBLP BibTeX RDF
16	Carol A. Broverman, W. Bruce Croft	Reasoning about Exceptions during Plan Execution Monitoring.	AAAI	1987	DBLP BibTeX RDF
16	David W. Etherington	More on Inheritance Hierarchies with Exceptions: Default Theories and Inferential Distance.	AAAI	1987	DBLP BibTeX RDF
16	Alexander Borgida	Exceptions dans les bases de données.	BDA	1987	DBLP BibTeX RDF
16	Alexander Borgida	Can entity-based information systems live with exceptions? (abstract only).	OOPWORK	1986	DBLP DOI BibTeX RDF
16	Alexander Borgida	Exceptions in object-oriented languages.	OOPWORK	1986	DBLP DOI BibTeX RDF
16	Gilles Bernot, Michel Bidoit, Christine Choppy	Abstract Data Types with Exception Handling: An Initial Approach Based on a Distinction Between Exceptions and Errors.	Theor. Comput. Sci.	1986	DBLP DOI BibTeX RDF
16	Theodore P. Baker, Gregory A. Riccardi	Implementing Ada Exceptions.	IEEE Softw.	1986	DBLP DOI BibTeX RDF
16	Erik Sandewall	Nonmonotonic inference rules for multiple inheritance with exceptions.	Proc. IEEE	1986	DBLP DOI BibTeX RDF
16	K. Whitebread	An inference model for inheritance hierarchies with exceptions.	ISMIS	1986	DBLP DOI BibTeX RDF
16	David R. Cheriton	Making Exceptions Simplify the Rule (and Justify their Handling).	IFIP Congress	1986	DBLP BibTeX RDF
16	François-Xavier Testard-Vaillant	Exceptions and Interpreters.	AIMSA	1986	DBLP BibTeX RDF
16	Rainer Seidel	Chess, How to Understand the Exceptions!	J. Int. Comput. Games Assoc.	1985	DBLP DOI BibTeX RDF
16	Alexander Borgida	Accomodating Exceptions to (Type) Constraints in Information Systems - a position paper	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
16	Alexander Borgida, Tom M. Mitchell, Keith E. Williamson	Learning Improved Integrity Constraints and Schemes From Exceptions in Data and Knowledge Bases.	On Knowledge Base Management Systems (Islamorada)	1985	DBLP BibTeX RDF
16	Garrison W. Cottrell	Parallelism in Inheritance Hierarchies with Exceptions.	IJCAI	1985	DBLP BibTeX RDF
16	Alexander Borgida, Keith E. Williamson	Accommodating Exceptions in Databases, and Refining the Schema by Learning from them.	VLDB	1985	DBLP BibTeX RDF
16	Martin Gogolla, Klaus Drosten, Udo W. Lipeck, Hans-Dieter Ehrich	Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors.	Theor. Comput. Sci.	1984	DBLP DOI BibTeX RDF
16	Garrison W. Cottrell	Re: Inheritance Hierarchies with Exceptions.	NMR	1984	DBLP BibTeX RDF
16	Martin Gogolla	A Final Algebra Semantics for Errors and Exceptions.	ADT	1984	DBLP DOI BibTeX RDF
16	Steven Gutfreund	Tracing offensive values from exceptions.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
16	Trevor I. Dix	Exceptions and Interrupts in CSP.	Sci. Comput. Program.	1983	DBLP DOI BibTeX RDF
16	Martin Gogolla, Klaus Drosten, Udo W. Lipeck, Hans-Dieter Ehrich	Algebraic and operational semantics of exceptions and errors.	Theoretical Computer Science	1983	DBLP DOI BibTeX RDF
16	David W. Etherington, Raymond Reiter	On Inheritance Hierarchies With Exceptions.	AAAI	1983	DBLP BibTeX RDF
16	Paul De Bra, Jan Paredaens	Horizontal Decompositions for Handling Exceptions to Functional Dependencies.	Advances in Data Base Theory	1982	DBLP BibTeX RDF
16	Samuel T. Redwine Jr.	A paradigm for dealing with exceptions.	ACM SIGPLAN Notices	1981	DBLP DOI BibTeX RDF
16	Hans Ludwig Fischer	Behandlung asynchroner Exceptions in CSSA.	Implementierungssprachen für nichtsequentielle Programmsysteme	1981	DBLP BibTeX RDF
16	Flaviu Cristian	Le traitement des exceptions dans les programmes modulaires.		1979	RDF
16	Thomas W. Eggers, Judson S. Leonard, Mary H. Payne	Handling of floating point exceptions.	SIGNUM	1978	DBLP DOI BibTeX RDF
16	Paul Rutter	Uniform handling of exceptions in a stack based language.	ACM SIGPLAN Notices	1977	DBLP DOI BibTeX RDF
15	David Aveiro, António Rito Silva, José M. Tribolet	Towards a GOD-theory for organizational engineering: continuously modeling the continuous (re)generation, operation and deletion of the enterprise.	SAC	2010	DBLP DOI BibTeX RDF	organizational self-awareness, function, exception, organizational change, organizational engineering
15	David C. J. Matthews, Makarius Wenzel	Efficient parallel programming in Poly/ML and Isabelle/ML.	DAMP	2010	DBLP DOI BibTeX RDF	parallel standard ml, poly/ml, theorem proving applications, data parallelism, isabelle
15	Quan Z. Sheng, Boualem Benatallah, Zakaria Maamar, Anne H. H. Ngu	Configurable Composition and Adaptive Provisioning of Web Services.	IEEE Trans. Serv. Comput.	2009	DBLP DOI BibTeX RDF
15	Sadaf Mustafiz, Jörg Kienzle	DREP: A Requirements Engineering Process for Dependable Reactive Systems.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
15	Jie Liu 0008, Senlin Liang, Dan Ye 0004, Jun Wei 0001, Tao Huang 0001	ETL Workflow Analysis and Verification Using Backwards Constraint Propagation.	CAiSE	2009	DBLP DOI BibTeX RDF	Data Warehouse, Data Quality, Constraint Propagation, ETL, Workflow Analysis
15	Aslan Askarov, Andrei Sabelfeld	Catch me if you can: permissive yet secure error handling.	PLAS	2009	DBLP DOI BibTeX RDF	exception handling, security type system
15	Mark Harman, Jens Krinke, Jian Ren 0004, Shin Yoo	Search based data sensitivity analysis applied to requirement engineering.	GECCO	2009	DBLP DOI BibTeX RDF	data sensitivity analysis, the next release problem, empirical study, pareto optimality, multi-objective genetic algorithms, multi-objective optimisation
15	Wei-Bin Lee, Chien-Ding Lee	A Cryptographic Key Management Solution for HIPAA Privacy/Security Regulations.	IEEE Trans. Inf. Technol. Biomed.	2008	DBLP DOI BibTeX RDF
15	Luís Moniz Pereira, Alexandre Miguel Pinto	Collaborative vs. Conflicting Learning, Evolution and Argumentation.	Oppositional Concepts in Computational Intelligence	2008	DBLP DOI BibTeX RDF
15	Jelena Zdravkovic, Vandana Kabilan	Contract-Based Exception Handling Process Patterns.	UNISCON	2008	DBLP DOI BibTeX RDF
15	Dave King 0002, Boniface Hicks, Michael Hicks 0001, Trent Jaeger	Implicit Flows: Can't Live with 'Em, Can't Live without 'Em.	ICISS	2008	DBLP DOI BibTeX RDF
15	Nikhil Dinesh, Aravind K. Joshi, Insup Lee 0001, Oleg Sokolsky	Checking Traces for Regulatory Conformance.	RV	2008	DBLP DOI BibTeX RDF
15	Christian Murphy, Eunhee Kim, Gail E. Kaiser, Adam Cannon	Backstop: a tool for debugging runtime errors.	SIGCSE	2008	DBLP DOI BibTeX RDF	debugging, exception handling
15	Nélio Cacho, Fernando Castor Filho, Alessandro Garcia 0001, Eduardo Figueiredo 0001	EJFlow: taming exceptional control flows in aspect-oriented programming.	AOSD	2008	DBLP DOI BibTeX RDF	exception control flow, metrics, aspect-oriented programming, modularity, exception handling
15	Douglas R. Stinson	Generalized mix functions and orthogonal equitable rectangles.	Des. Codes Cryptogr.	2007	DBLP DOI BibTeX RDF	94A60, AMS Classifications 05B15
15	Gilles Barthe, David Pichardie, Tamara Rezk	A Certified Lightweight Non-interference Java Bytecode Verifier.	ESOP	2007	DBLP DOI BibTeX RDF
15	Bruno Cabral, Paulo Marques	Exception Handling: A Field Study in Java and .NET.	ECOOP	2007	DBLP DOI BibTeX RDF	Exception Handling Mechanisms, Programming Languages
15	Zongmin Shang, Li-zhen Cui, Haiyang Wang	A Collaborative Framework for Exception Handling in Business Process Execution.	CSCWD	2007	DBLP DOI BibTeX RDF
15	Le Yang 0003, Yongsun Choi	A Flexible Access Control Model for Dynamic Workflow Using Extended WAM and RBAC.	CSCWD (Selected Papers)	2007	DBLP DOI BibTeX RDF	Workflow Authorization Model, Role-based Access Control, Workflow System
15	Andrew Kennedy	Compiling with continuations, continued.	ICFP	2007	DBLP DOI BibTeX RDF	continuations, monads, optimizing compilation, continuation passing style, functional programming languages
15	Olga Vorobieva, Alexander S. Rumyantsev, Rainer Schmidt 0002	ISOR-2: A Case-Based Reasoning System to Explain Exceptional Dialysis Patients.	ICDM	2007	DBLP DOI BibTeX RDF
15	Pang-Chieh Wang, Yi-Hsuan Hung, Ting-Wei Hou	A Cross-Layered Diagnostician in OSGi Platform for Home Network.	EUC Workshops	2007	DBLP DOI BibTeX RDF	Service gateway, diagnosis, cross-layered, OSGi
15	Shujuan Jiang, Baowen Xu, Liang Shi	An approach to analyzing recursive programs with exception handling constructs.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	reliability, static analysis, programming language, exception handling, recursive function, exception propagation
15	Oddleif Halvorsen, Øystein Haugen	Proposed Notation for Exception Handling in UML 2 Sequence Diagrams.	ASWEC	2006	DBLP DOI BibTeX RDF
15	Liliana Ardissono, Roberto Furnari, Anna Goy, Giovanna Petrone, Marino Segnan	Fault Tolerant Web Service Orchestration by Means of Diagnosis.	EWSA	2006	DBLP DOI BibTeX RDF
15	Alexandre Courbot, Mariela Pavlova, Gilles Grimaud, Jean-Jacques Vandewalle	A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods.	CARDIS	2006	DBLP DOI BibTeX RDF
15	Carlo Combi, Florian Daniel, Giuseppe Pozzi	A Portable Approach to Exception Handling in Workflow Management Systems.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
15	Mati Golani, Avigdor Gal	Optimizing Exception Handling in Workflows Using Process Restructuring.	Business Process Management	2006	DBLP DOI BibTeX RDF
15	Jue Wang 0004, Fei-Yue Wang 0001, Daniel Dajun Zeng	Rule+Exception Learning-Based Class Specification and Labeling in Intelligence and Security Analysis.	WISI	2006	DBLP DOI BibTeX RDF
15	Vlado Vorisek, Bruce Swanson, Kun-Han Tsai, Dhiraj Goswami	Improved Handling of False and Multicycle Paths in ATPG.	VTS	2006	DBLP DOI BibTeX RDF
15	Nazaraf Shah, Kuo-Ming Chao, Nick Godwin, Anne E. James, Chen-Fang Tsai	An Empirical Evaluation of a Sentinel Based Approach to Exception Diagnosis in Multi-Agent Systems.	AINA (1)	2006	DBLP DOI BibTeX RDF
15	Hitoshi Oi	On the design of the local variable cache in a hardware translation-based java virtual machine.	LCTES	2005	DBLP DOI BibTeX RDF	hardware-translation, memory hierarchy, java virtual machine
15	Ken Nariai, Incheon Paik, Mitsuteru Shinozawa	Planning and Composition of Web Services with Dynamic Constraints Using Situation Calculus.	CIT	2005	DBLP DOI BibTeX RDF
15	Linas Laibinis, Elena Troubitsyna	Formal Development of Reactive Fault Tolerant Systems.	RISE	2005	DBLP DOI BibTeX RDF