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 |
|