Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi |
Efficient processor support for DRFx, a memory model with exceptions. |
ASPLOS |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Özgür Kafali, Francesca Toni, Paolo Torroni |
Collaborative diagnosis of exceptions to contracts. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
16 | Matthijs van Leeuwen |
Maximal exceptions with minimal descriptions. |
Data Min. Knowl. Discov. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Iok-Fai Leong, Yain-Whar Si, Robert P. Biuk-Aghai |
Critical Path Based Approach for Predicting Temporal Exceptions in Resource Constrained Concurrent Workflows. |
Int. J. Inf. Technol. Web Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Olga Vorobieva, Rainer Schmidt 0002 |
Case-Based Reasoning to explain medical model exceptions. |
Int. J. Adv. Intell. Paradigms |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud |
States and exceptions are dual effects |
CoRR |
2010 |
DBLP BibTeX RDF |
|
16 | Sarita V. Adve |
Data races are evil with no exceptions: technical perspective. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski |
Bulk synchronous parallel ML with exceptions. |
Future Gener. Comput. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Maria Daphne Papadopoulou |
Copyright Limitations and Exceptions in an E-Education Environment. |
Eur. J. Law Technol. |
2010 |
DBLP BibTeX RDF |
|
16 | Christophe Jouis, Julien Bourdaillet, Bassel Habib, Jean-Gabriel Ganascia |
Exceptions in Ontologies. |
Ontology Theory, Management and Design |
2010 |
DBLP DOI BibTeX RDF |
|
16 | José Iborra |
Explicitly Typed Exceptions for Haskell. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Nikolas Nehmer |
A Log-Assisted Approach Enforcing Consistency in the Presence of Exceptions. |
SEKE |
2010 |
DBLP BibTeX RDF |
|
16 | Hiroki Shudo, Atsushi Ohnishi |
A Method for Exception Scenarios Generation Using Templates of Exceptions. |
APSEC |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Cristian Gherghina, Cristina David |
A Specification Logic for Exceptions and Beyond. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Mario Leyton, Ludovic Henrio, José M. Piquer |
Exceptions for Algorithmic Skeletons. |
Euro-Par (2) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Debbie Richards 0001, Meredith Taylor |
Incremental Learning via Exceptions for Agents and Humans: Evaluating KR Comprehensibility and Usability. |
PRICAI |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Bart Verheij |
Argumentation and rules with exceptions. |
COMMA |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Cristina Marinescu |
Detecting missing thrown exceptions in enterprise systems: an empirical study. |
ESEM |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Kwangok Jeong, Andrew B. Kahng, Seokhyeong Kang |
Toward effective utilization of timing exceptions in design optimization. |
ISQED |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Shujuan Jiang, Hongchang Zhang, Qingtan Wang, Yanmei Zhang |
A Debugging Approach for Java Runtime Exceptions Based on Program Slicing and Stack Traces. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Marco Maggini, Tiziano Papini |
Multitask Semi-supervised Learning with Constraints and Constraint Exceptions. |
ICANN (3) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Pu Li, Hao Zhao |
Methods to Divide Uygur Morphemes and Treatments for Exceptions. |
IALP |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Rallou Thomopoulos |
Learning Exceptions to Refine a Domain Expertise. |
Encyclopedia of Data Warehousing and Mining |
2009 |
DBLP BibTeX RDF |
|
16 | Gabriele Bianchi |
The cross covariogram of a pair of polygons determines both polygons, with a few exceptions. |
Adv. Appl. Math. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Dominique Duval, Jean-Claude Reynaud |
About raising and handling exceptions |
CoRR |
2009 |
DBLP BibTeX RDF |
|
16 | Alexandra Fortis, Alexandru Cicortas, Victoria Iordan |
Considerations on Resource Usage in Exceptions and Failures in Workflows |
CoRR |
2009 |
DBLP BibTeX RDF |
|
16 | Sylvain Lebresne |
A Type System For Call-By-Name Exceptions |
Log. Methods Comput. Sci. |
2009 |
DBLP BibTeX RDF |
|
16 | Mor Peleg, Judith Somekh, Dov Dori |
A methodology for eliciting and modeling exceptions. |
J. Biomed. Informatics |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Minsoo Kim, Minkoo Kim |
Handling Exceptions in Situation-Driven Agent Systems. |
NCM |
2009 |
DBLP DOI BibTeX RDF |
Situaiton-driven application, agent, exception handling, Situation |
16 | Özgür Kafali, Pinar Yolum |
Detecting Exceptions in Commitment Protocols: Discovering Hidden States. |
LADS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Laurent Garcia, Stéphane Ngoma, Pascal Nicolas |
Dealing Automatically with Exceptions by Introducing Specificity in ASP. |
ECSQARU |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Emre Kiciman, Benjamin Livshits, Madanlal Musuvathi |
CatchAndRetry: extending exceptions to handle distributed system failures and recovery. |
PLOS@SOSP |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Cyrille Artho |
Separation of Transitions, Actions, and Exceptions in Model-Based Testing. |
EUROCAST |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Susumu Nishimura |
Refining Exceptions in Four-Valued Logic. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Özgür Kafali, Pinar Yolum |
Detecting Exceptions in Commitment Protocols: Discovering Hidden States. |
MALLOW |
2009 |
DBLP BibTeX RDF |
|
16 | Christophe Jouis, Bassel Habib, Jie Liu |
Exceptions in Ontologies: Deducing Properties from Topological Axioms. |
FLAIRS |
2009 |
DBLP BibTeX RDF |
|
16 | Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen |
A Deductive Proof System for Multithreaded Java with Exceptions. |
Fundam. Informaticae |
2008 |
DBLP BibTeX RDF |
|
16 | Marco Carbone |
Session-based Choreography with Exceptions. |
PLACES@DisCoTec |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Diana K. Smetters, Brinda Dalal, Les Nelson, Nathaniel Good, Ame Elliot |
Ad Hoc Guesting: When Exceptions Arethe Rule. |
login Usenix Mag. |
2008 |
DBLP BibTeX RDF |
|
16 | Peter Givler |
Seeking balance: rights and exceptions in Section 108 of the US Copyright Act. |
Learn. Publ. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter |
Asynchronous Exceptions as an Effect. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Boustia Narhimene, Aïcha Mokhtari |
Representation and Reasoning on ORBAC: Description Logic with Defaults and Exceptions Approach. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
Security, Description logic, Exception, ORBAC, Default |
16 | Thorsten van Ellen, Wilhelm Hasselbring |
Extended exceptions for contingencies. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Chitta Baral, Juraj Dzifcak, Tran Cao Son |
Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
16 | Brinda Dalal, Les Nelson, Diana K. Smetters, Nathaniel Good, Ame Elliot |
Ad-hoc Guesting: When Exceptions Are the Rule. |
UPSEC |
2008 |
DBLP BibTeX RDF |
|
16 | Xianwei Lai, Shanli Hu, Zhengyuan Ning, Xiuli Wang |
Reasoning about belief, goal and exceptions in multi-agent cooperation logics. |
ISKE |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Akinori Abe, Norihiro Hagita, Michiko Furutani, Yoshiyuki Furutani, Rumiko Matsuoka |
Exceptions as Chance for Computational Chance Discovery. |
KES (2) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Raymond P. L. Buse, Westley Weimer |
Automatic documentation inference for exceptions. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
documentation inference, exception handling, software documentation |
16 | Pablo Carmona, Juan Luis Castro |
An Improved ACO Based Plug-in to Enhance the Interpretability of Fuzzy Rule Bases with Exceptions. |
ANTS Conference |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Rainer Schmidt 0002, Olga Vorobieva |
Case-Based Reasoning to Explain Medical Model Exceptions. |
MIE |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Christophe Jouis, Julien Bourdaillet |
Exceptions in Ontologies: When Topology Meets Typicality. |
FLAIRS |
2008 |
DBLP BibTeX RDF |
|
16 | Premysl Brada |
Enhanced OSGi Bundle Updates to Prevent Runtime Exceptions. |
EUROMICRO-SEAA |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Yael Greenberg |
Exceptions to Generics: Where Vagueness, Context Dependence and Modality Interact. |
J. Semant. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Phillip J. Brooke, Richard F. Paige |
Exceptions in Concurrent Eiffel. |
J. Object Technol. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Inmaculada Plaza, Carlos Medrano |
Exceptions in a Programmable Logic Controller implementation based on ADA. |
Comput. Ind. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Mathieu Serrurier, Henri Prade |
Introducing possibilistic logic in ILP for dealing with exceptions. |
Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Matti Rintala |
Exceptions in remote procedure calls using C++ template metaprogramming. |
Softw. Pract. Exp. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Alexander B. Romanovsky |
On Exceptions, Exception Handling, Requirements and Software Lifecycle. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Katia Potiron, Patrick Taillibert, Amal El Fallah |
Gestion des exceptions dans les conversations entre agents autonomes (présentation courte). |
JFSMA |
2007 |
DBLP BibTeX RDF |
|
16 | Olga Vorobieva, Rainer Schmidt 0002 |
Explaining Model Exceptions by the Help of Case-Based Reasoning. |
ICDM (Posters and Workshops) |
2007 |
DBLP BibTeX RDF |
|
16 | Olga Vorobieva, Rainer Schmidt 0002 |
Explaining Medical Model Exceptions in ISOR. |
SGAI Conf. (Applications) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Yudit Somekh, Mor Peleg, Dov Dori |
Classifying and Modeling Exceptions through Object Process Methodology. |
ICSEM |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Hai Liu 0008, Qing Li 0001, Naijie Gu, Dickson K. W. Chiu |
Enhancing Web Services Conversation with Exception Contexts for Handling Exceptions of Composite Services. |
CEC/EEE |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Marcelino C. Pequeno, Rodrigo de Melo Souza Veras, Wladimir A. Tavares |
Handling Exceptions in nonmonotonic reasoning. |
LA-NMR |
2007 |
DBLP BibTeX RDF |
|
16 | Kiran R. Mahajan |
A combined simulation and optimization based method for predictive - reactive scheduling of flexible production systems subject to execution exceptions |
|
2007 |
RDF |
|
16 | Paul Blain Levy |
Monads and Adjunctions for Global Exceptions. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Einoshin Suzuki |
Data Mining Methods for Discovering Interesting Exceptions from an Unsupervised Table. |
J. Univers. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Dan E. Willard |
A generalization of the Second Incompleteness Theorem and some exceptions to it. |
Ann. Pure Appl. Log. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | John S. Danaher, I-Ting Angelina Lee, Charles E. Leiserson |
Programming with exceptions in JCilk. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Sylvain Lagrue, Jérémie Lussiez, Julien Rossit |
Un logiciel permettant d'apprendre des règles et leurs exceptions : Area. |
EGC |
2006 |
DBLP BibTeX RDF |
|
16 | Dhiraj Goswami, Kun-Han Tsai, Mark Kassab, Takeo Kobayashi, Janusz Rajski, Bruce Swanson, Darryl Walters, Yasuo Sato, Toshiharu Asaka, Takashi Aikyo |
At-Speed Testing with Timing Exceptions and Constraints-Case Studies. |
ATS |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg |
Stayin' alert: : moulding failure and exceptions to your needs. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
alert reporting and handling, domain-specific exception language, abstraction, errors, separation of concerns, aspects, failure, partiality, guarding, mouldable programming |
16 | Fernando Castor Filho, Nélio Cacho, Eduardo Figueiredo 0001, Raquel Maranhão, Alessandro Garcia 0001, Cecília M. F. Rubira |
Exceptions and aspects: the devil is in the details. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
empirical studies, exception handling, aspectJ |
16 | Fabrizio Angiulli |
Clustering by Exceptions. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
16 | Thomas F. Gordon, Douglas Walton |
The Carneades Argumentation Framework - Using Presumptions and Exceptions to Model Critical Questions. |
COMMA |
2006 |
DBLP BibTeX RDF |
|
16 | Eric Platon, Nicolas Sabouret, Shinichi Honiden |
A Definition of Exceptions in Agent-Oriented Computing. |
ESAW |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Dwight Deugo |
Techniques for Handling JSF Exceptions, Messages and Contexts. |
International Conference on Internet Computing |
2006 |
DBLP BibTeX RDF |
|
16 | Tammam Benmusa, David J. Parish, Mark Sandford |
Detecting and classifying delay Data Exceptions on communication networks using rule based algorithms. |
Int. J. Commun. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen |
Inductive Proof Outlines for Exceptions in Multithreaded Java. |
FSEN |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Tim Harris 0001 |
Exceptions and side-effects in atomic blocks. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | René David, Georges Mounier |
An intuitionistic [lambda]-calculus with exceptions. |
J. Funct. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Radoslaw Klimek, Pawel Skrzynski, Michal Turek |
On some Problems with Modelling of Exceptions in UML. |
Software Engineering: Evolution and Emerging Technologies |
2005 |
DBLP BibTeX RDF |
|
16 | Dominique Duval, Jean-Claude Reynaud |
Diagrammatic logic and exceptions: an introduction. |
Mathematics, Algorithms, Proofs |
2005 |
DBLP BibTeX RDF |
|
16 | Patrick Henrique da S. Brito, Camila Ribeiro Rocha, Fernando Castor Filho, Eliane Martins, Cecília M. F. Rubira |
A Method for Modeling and Testing Exceptions in Component-Based Software Development. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Mathieu Serrurier, Henri Prade |
Coping with exceptions in multiclass ILP problems using possibilistic logic. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
16 | Joel J. Wright |
Compiling and reasoning about exceptions and interrupts. |
|
2005 |
RDF |
|
16 | San-Yih Hwang, Jian Tang 0001 |
Consulting past exceptions to facilitate workflow exception handling. |
Decis. Support Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Shichao Zhang 0001, Chengqi Zhang, Jeffrey Xu Yu |
An efficient strategy for mining exceptions in multi-databases . |
Inf. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin N. Grosof, Terrence C. Poon |
SweetDeal: Representing Agent Contracts with Exceptions Using Semantic Web Rules, Ontologies, and Process Descriptions. |
Int. J. Electron. Commer. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Pablo Carmona, Juan Luis Castro, Jose Manuel Zurita |
Learning maximal structure fuzzy rules with exceptions. |
Fuzzy Sets Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | J. Carlos Fernández-Molina |
Licensing Agreements for Information Resources and Copyright Limitations and Exceptions. |
J. Inf. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Nipkow |
Compiling Exceptions Correctly. |
Arch. Formal Proofs |
2004 |
DBLP BibTeX RDF |
|
16 | Frédéric Souchon, Sylvain Vauttier, Christelle Urtado, Christophe Dony |
Fiabilité des applications multi-agents : le système de gestion d'exceptions SaGE. |
JFSMA |
2004 |
DBLP BibTeX RDF |
|
16 | Sunhee Kim, Ju-Eun Ahn, Soon-Hyob Kim, Yang-Hee Lee |
A Korean grapheme-to-phoneme conversion system using selection procedure for exceptions. |
INTERSPEECH |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Sunhee Kim |
Phonology of exceptions for for Korean grapheme-to-phoneme conversion. |
INTERSPEECH |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Ulrike Greiner, Erhard Rahm |
Quality-Oriented Handling of Exceptions in Web-Service-Based Cooperative Processes. |
EAI |
2004 |
DBLP BibTeX RDF |
|
16 | Marie-Jeanne Lesot, Bernadette Bouchon-Meunier |
Descriptive concept extraction with exceptions by hybrid clustering. |
FUZZ-IEEE |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Christian Pérez, André Ribes, Thierry Priol |
Handling Exceptions Between Parallel Objects. |
Euro-Par |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Simon Parsons, Mark Klein |
Towards Robust Multi-Agent Systems: Handling Communication Exceptions in Double Auctions. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Jyh-haw Yeh, Randy Chow, Richard E. Newman |
Key assignment for enforcing access control policy exceptions in distributed systems. |
Inf. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|