Search results for "Exceptions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
31	Dhiraj Goswami, Kun-Han Tsai, Mark Kassab, Janusz Rajski	Test Generation in the Presence of Timing Exceptions and Constraints.	DAC	2007	DBLP DOI BibTeX RDF
31	Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi 0001	Resource usage analysis for a functional language with exceptions.	PEPM	2006	DBLP DOI BibTeX RDF	resource usage analysis, type system, type inference, exception, effect system
31	Johannes Siedersleben	Errors and Exceptions - Rights and Obligations.	Advanced Topics in Exception Handling Techniques	2006	DBLP DOI BibTeX RDF
31	Feng Tian 0002, Renhou Li, Bo Chen, Jiao Ding, Qinghua Zheng	Unexpected Exceptions Handling Based on Chinese Question Answering in Collaborative Design.	CSCWD (Selected Papers)	2006	DBLP DOI BibTeX RDF
31	Oddleif Halvorsen, Ragnhild Kobro Runde, Øystein Haugen	Time Exceptions in Sequence Diagrams.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	specification, refinement, exception handling, time constraints, formal semantics
31	Pablo Carmona, Juan Luis Castro, Jose Manuel Zurita	FRIwE: fuzzy rule identification with exceptions.	IEEE Trans. Fuzzy Syst.	2004	DBLP DOI BibTeX RDF
31	Einoshin Suzuki, Takeshi Watanabe, Hideto Yokoi, Katsuhiko Takabayashi	Detecting Interesting Exceptions from Medical Test Data with Visual Summarization.	ICDM	2003	DBLP DOI BibTeX RDF
31	Jeff Polakow, Kwangkeun Yi	Proving Syntactic Properties of Exceptions in an Ordered Logical Framework.	FLOPS	2001	DBLP DOI BibTeX RDF
31	Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, Nirav Shah	A Static Study of Java Exceptions Using JESP.	CC	2000	DBLP DOI BibTeX RDF
31	Ian F. Alexander	Scenario-Driven Search Finds More Exceptions.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	scenario-driven search, systems analysis, requirements elicitation
31	Fabio Casati, Maria Grazia Fugini, Isabelle Mirbel	An Environment for Designing Exceptions in Workflows.	CAiSE	1998	DBLP DOI BibTeX RDF
31	Heikki Saastamoinen, George M. White	On handling exceptions.	COOCS	1995	DBLP DOI BibTeX RDF
31	Yannis Dimopoulos, Antonis C. Kakas	Learning Non-Monotonic Logic Programs: Learning Exceptions.	ECML	1995	DBLP DOI BibTeX RDF
31	Alexander Borgida	Language Features for Flexible Handling of Exceptions in Information Systems.	ACM Trans. Database Syst.	1985	DBLP DOI BibTeX RDF
30	Lingli Zhang, Chandra Krintz, Priya Nagpurkar	Supporting exception handling for futures in Java.	PPPJ	2007	DBLP DOI BibTeX RDF	Java, concurrent programming, exception handling, future
30	Eric Platon, Nicolas Sabouret, Shinichi Honiden	Challenges for Exception Handling in Multi-Agent Systems.	SELMAS (LNCS)	2006	DBLP DOI BibTeX RDF
30	Gennian Ge, Clement W. H. Lam, Alan C. H. Ling, Hao Shen	Resolvable Maximum Packings with Quadruples.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	resolvable packings, RGDDs, 4-frames
30	Nazaraf Shah, Kuo-Ming Chao, Nick Godwin, Anne E. James	Exception Diagnosis in Open Multi-Agent Systems.	IAT	2005	DBLP DOI BibTeX RDF
30	Heejung Ohe, Byeong-Mo Chang	An Exception Monitoring System for Java.	RISE	2004	DBLP DOI BibTeX RDF	exception analysis, Java, exception propagation
30	Kuo-Ming Chao, Nazaraf Shah, Nick Godwin, Muhammad Younas 0001, Christopher Laing	Exception diagnosis in agent-based grid computing.	SMC (4)	2004	DBLP DOI BibTeX RDF
30	Donglai Li, Yanbo Han, Haitao Hu, Jun Fang 0006, Xue Wang	A Novel Approach to Semantics-Based Exception Handling for Service Grid Applications.	GCC (2)	2003	DBLP DOI BibTeX RDF
30	Yoonki Song, Dongsoo Han	Exception Specification and Handling in Workflow Systems.	APWeb	2003	DBLP DOI BibTeX RDF
30	Martin P. Robillard, Gail C. Murphy	Analyzing Exception Flow in Java Programs.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF	Exception Handling, Software Analysis, Object-Oriented Programming Languages, Software Engineering Tools
30	Elena Ferrari, Pierangela Samarati, Elisa Bertino, Sushil Jajodia	Providing flexibility in information flow control for object oriented systems.	S&P	1997	DBLP DOI BibTeX RDF	information flow control flexibility, exception specification, waivers, invoke-waivers, reply-waivers, information transmission, security specifications, safe information flows, access control, object-oriented programming, authorizations, transaction, object oriented systems, interaction modes
30	R. Govindarajan	Exception Handlers in Functional Programming Languages.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	resume, input object, implementation restriction, referential transparency, commutativity properties, functional programming, functional programming, exception handling, exception handling, terminate, programming theory, functional languages, high level languages, programmer
25	Xin Qi 0012, Andrew C. Myers	Masked types for sound object initialization.	POPL	2009	DBLP DOI BibTeX RDF	conditional masks, cyclic data structures, null pointer exceptions, invariants, data abstraction
25	Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw	Implicitly-threaded parallelism in Manticore.	ICFP	2008	DBLP DOI BibTeX RDF	implictly-threaded parallelism, parallel binding, parallel case, data parallelism, exceptions
25	Roy Krischer, Peter A. Buhr	Asynchronous exception propagation in blocked tasks.	Workshop on Exception Handling	2008	DBLP DOI BibTeX RDF	asynchronous exceptions, resumption, exception handling
25	Andres Löh, Ralf Hinze	Open data types and open functions.	PPDP	2006	DBLP DOI BibTeX RDF	extensible data types, extensible exceptions, extensible functions, mutually recursive modules, functional programming, Haskell, generic programming, expression problem
25	Yiyu Yao, Fei-Yue Wang 0001, Jue Wang 0004, Daniel Dajun Zeng	Rule + Exception Strategies for Security Information Analysis.	IEEE Intell. Syst.	2005	DBLP DOI BibTeX RDF	rules and exceptions, classification, knowledge representation, intelligence and security informatics
25	Yoonsik Cheon, Gary T. Leavens	A contextual interpretation of undefinedness for runtime assertion checking.	AADEBUG	2005	DBLP DOI BibTeX RDF	undefinedness, formal methods, exceptions, JML language, runtime assertion checking, partial functions
25	Jörg Kienzle	Software Fault Tolerance: An Overview.	Ada-Europe	2003	DBLP DOI BibTeX RDF	concurrency, failures, Software fault tolerance, exceptions
25	Jörg Kienzle, Rachid Guerraoui	AOP: Does It Make Sense? The Case of Concurrency and Failures.	ECOOP	2002	DBLP DOI BibTeX RDF	concurrency, Aspect-oriented programming, abstraction, transactions, objects, failures, exceptions
25	Guozhu Dong, Kaustubh Deshpande	Efficient Mining of Niches and Set Routines.	PAKDD	2001	DBLP DOI BibTeX RDF	set routines, semantic-based selection, Data mining, exceptions, niches, interestingness
25	Eduardo Gómez-Sánchez, Yannis A. Dimitriadis, J. Manuel Cano Izquierdo, Juan López Coronado	MicroARTMAP: Use of Mutual Information for Category Reduction in Fuzzy ARTMAP.	IJCNN (6)	2000	DBLP DOI BibTeX RDF	category proliferation, mutual information, exceptions, Fuzzy ARTMAP
25	Luciano Baresi, Fabio Casati, Silvana Castano, Maria Grazia Fugini, Isabelle Mirbel, Barbara Pernici	WIDE workflow development methodology.	WACC	1999	DBLP DOI BibTeX RDF	UML, patterns, exceptions, triggers, workflow design
25	Alexander Aiken, John H. Williams, Edward L. Wimmers	Safe: A Semantic Technique for Transforming Programs in the Presence of Errors.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	program transformation, exceptions, program optimization, equational reasoning
25	Michael Stonebraker, Eric N. Hanson, Spyros Potamianos	The POSTGRES Rule Manager.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	priority rules, POSTGRES rule manager, rule subsystem, optimization, relational databases, relational databases, expert systems, expert systems, DBMS, query languages, knowledge engineering, knowledge engineering, integrity constraints, exceptions, forward-chaining, inferencing, referential integrity, backward-chaining
24	Marco Carbone, Nobuko Yoshida, Kohei Honda 0001	Asynchronous Session Types: Exceptions and Multiparty Interactions.	SFM	2009	DBLP DOI BibTeX RDF
24	Claudio Agostino Ardagna, Sabrina De Capitani di Vimercati, Tyrone Grandison, Sushil Jajodia, Pierangela Samarati	Regulating Exceptions in Healthcare Using Policy Spaces. (PDF / PS)	DBSec	2008	DBLP DOI BibTeX RDF
24	Nikhil Dinesh, Aravind K. Joshi, Insup Lee 0001, Oleg Sokolsky	Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking.	DEON	2008	DBLP DOI BibTeX RDF
24	Zakaria Maamar, Djamal Benslimane	Exceptions in a Web services environment.	AICCSA	2008	DBLP DOI BibTeX RDF
24	Pablo Carmona, Juan Luis Castro	An Ant Colony Optimization plug-in to Enhance the Interpretability of Fuzzy Rule Bases with Exceptions.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF	exceptional rules, ACO algorithm, interpretabity, Fuzzy modeling
24	Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia	Management of Exceptions on Access Control Policies.	SEC	2007	DBLP DOI BibTeX RDF
24	William Bail	An Approach to Defining Requirements for Exceptions.	Advanced Topics in Exception Handling Techniques	2006	DBLP DOI BibTeX RDF	exception handling, requirements specification, state machines, usage models
24	Peter A. Buhr, Roy Krischer	Bound Exceptions in Object-Oriented Programming.	Advanced Topics in Exception Handling Techniques	2006	DBLP DOI BibTeX RDF
24	Olivier Tardieu, Stephen A. Edwards	Scheduling-independent threads and exceptions in SHIM.	EMSOFT	2006	DBLP DOI BibTeX RDF	deterministic model of computation, hardware/software codesign
24	Donald Bamber, I. R. Goodman, Hung T. Nguyen 0002	Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	AMS subject classification 68T37, 03B38, 60G57, 05C20
24	Chang Ouk Kim, Young Ho Cho, Jung Uk Yoon, Choonjong Kwak, Yoonho Seo	Ontology Based Negotiation Case Search System for the Resolution of Exceptions in Collaborative Production Planning.	OTM Workshops	2005	DBLP DOI BibTeX RDF
24	Dennis Walter, Lutz Schröder, Till Mossakowski	Parametrized Exceptions.	CALCO	2005	DBLP DOI BibTeX RDF
24	Krishnamani Kalyanasundaram, R. K. Shyamasundar	Formal verification of pipelined processors with precise exceptions.	MEMOCODE	2004	DBLP DOI BibTeX RDF
24	Jérémy Besson, Céline Robardet, Jean-François Boulicaut	Mining Formal Concepts with a Bounded Number of Exceptions from Transactional Data.	KDID	2004	DBLP DOI BibTeX RDF
24	Sudarshan K. Srinivasan, Miroslav N. Velev	Formal Verification of an Intel XScale Processor Model with Scoreboarding, Specialized Execution Pipelines, and Impress Data-Memory Exceptions.	MEMOCODE	2003	DBLP DOI BibTeX RDF
24	Paolo Ciccarese, Ezio Caffi, Lorenzo Boiocchi, Assaf Halevy, Silvana Quaglini, Anand Kumar, Mario Stefanelli	The NewGuide Project: Guidelines, Information Sharing and Learning from Exceptions.	AIME	2003	DBLP DOI BibTeX RDF
24	Christoph von Praun, Florian T. Schneider, Thomas R. Gross	Load Elimination in the Presence of Side Effects, Concurrency and Precise Exceptions.	LCPC	2003	DBLP DOI BibTeX RDF
24	Wolfgang Mayer, Markus Stumptner	Extending Diagnosis to Debug Programs with Exceptions.	ASE	2003	DBLP DOI BibTeX RDF
24	Geoffrey Watson	Refining Exceptions Using King and Morgan's exit Construct.	APSEC	2002	DBLP DOI BibTeX RDF
24	Dan E. Willard	Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem.	TABLEAUX	2002	DBLP DOI BibTeX RDF
24	Mark Klein	A repository of knowledge about handling exceptions in multi-agent systems.	Agents	2001	DBLP DOI BibTeX RDF	exception handling knowledge base multi-agent systems
24	Ian Welch, Robert J. Stroud, Alexander B. Romanovsky	Aspects of Exceptions at the Meta-level.	Reflection	2001	DBLP DOI BibTeX RDF
24	Martin P. Robillard, Gail C. Murphy	Designing robust Java programs with exceptions.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF	exception structure design, software compartments, exception handling, error handling
24	Vladimir I. Shelekhov, Sergey V. Kuksenko	Data Flow Analysis of Java Programs in the Presence of Exceptions.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
24	Kwangkeun Yi, Sukyoung Ryu, Kihyun Pyun	Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations.	COMPSAC	1996	DBLP DOI BibTeX RDF
24	Sanjay Bhansali, Mehdi T. Harandi	Handling Multiple Inheritance with Exceptions: An Alternative Approach.	KBCS	1989	DBLP DOI BibTeX RDF
23	Eric A. Brewer	A certain freedom: thoughts on the CAP theorem.	PODC	2010	DBLP DOI BibTeX RDF	cap theorem
23	Martin Bravenboer, Yannis Smaragdakis	Exception analysis and points-to analysis: better together.	ISSTA	2009	DBLP DOI BibTeX RDF	exception handling, precision, context-sensitive, points-to analysis
23	Armand Navabi, Suresh Jagannathan	Exceptionally Safe Futures.	COORDINATION	2009	DBLP DOI BibTeX RDF
23	Kalapriya Kannan, Nanjangud C. Narendra, Lakshmish Ramaswamy	Managing Configuration Complexity during Deployment and Maintenance of SOA Solutions.	IEEE SCC	2009	DBLP DOI BibTeX RDF
23	Rachid Hamadi, Boualem Benatallah, Brahim Medjahed	Self-adapting recovery nets for policy-driven exception handling in business processes.	Distributed Parallel Databases	2008	DBLP DOI BibTeX RDF	Self-adapting recovery net (SARN), Task-based recovery, Region-based recovery, Petri nets, Business processes, Exception handling
23	Matthias Blume, Umut A. Acar, Wonseok Chae	Exception Handlers as Extensible Cases.	APLAS	2008	DBLP DOI BibTeX RDF
23	Seung Hak Kuk, Hyeon Soo Kim, Jai-Kyung Lee, Seong-Whan Park	Approaches to Improving Reliability in e-Engineering Framework.	ICWS	2008	DBLP DOI BibTeX RDF
23	Nazaraf Shah, Rahat Iqbal, Anne E. James, Jawed I. A. Siddiqi, Babak Akhgar	Ontological Model for Exception Management in Open Multi-Agent Systems.	CSCWD	2007	DBLP DOI BibTeX RDF
23	Joshua J. Bloch	How to design a good API and why it matters.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF
23	Westley Weimer	Exception-Handling Bugs in Java and a Language Extension to Avoid Them.	Advanced Topics in Exception Handling Techniques	2006	DBLP DOI BibTeX RDF
23	Francis M. David, Jeffrey C. Carlyle, Ellick Chan, David Raila, Roy H. Campbell	Exception Handling in the Choices Operating System.	Advanced Topics in Exception Handling Techniques	2006	DBLP DOI BibTeX RDF
23	Nazaraf Shah, Kuo-Ming Chao, Nick Godwin	Exception Diagnosis Architecture for Open Multi-Agent Systems.	SELMAS (LNCS)	2006	DBLP DOI BibTeX RDF
23	Aris Alissandrakis, Chrystopher L. Nehaniv, Kerstin Dautenhahn, Joe Saunders	Evaluation of robot imitation attempts: comparison of the system's and the human's perspectives.	HRI	2006	DBLP DOI BibTeX RDF	imitation and social learning, human-robot interaction, programming by demonstration
23	Fernando Castor Filho, Patrick Henrique da S. Brito, Cecília M. F. Rubira	Reasoning About Exception Flow at the Architectural Level.	RODIN Book	2006	DBLP DOI BibTeX RDF
23	Piyush Maheshwari, Sharon Si-Long Tam	Events-Based Exception Handling in Supply Chain Management using Web Services.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
23	Yu Chin Cheng, Jung-Sing Jwo	Exception Handling: An Architecture Model and Utility Support.	APSEC	2005	DBLP DOI BibTeX RDF
23	Jiannong Cao 0001, Jin Yang 0005, Wai Ting Chan, Cheng-Zhong Xu 0001	Exception Handling in Distributed Workflow Systems Using Mobile Agents.	ICEBE	2005	DBLP DOI BibTeX RDF
23	Robert Miller 0002, Anand R. Tripathi	The Guardian Model and Primitives for Exception Handling in Distributed Systems.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	fault tolerance, Concurrent programming, distributed programming
23	Sascha Alda	Component-Based Self-Adaptability in Peer-to-Peer Architectures.	ICSE	2004	DBLP DOI BibTeX RDF	composition languages, HCI, self-adaptability, Component technology, peer-to-peer architectures
23	K. Rustan M. Leino, Wolfram Schulte	Exception Safety for C#.	SEFM	2004	DBLP DOI BibTeX RDF
23	Philippe Besnard, Robert E. Mercer, Torsten Schaub	Optimality Theory through Default Logic.	KI	2003	DBLP DOI BibTeX RDF
23	Hernâni Mourão, Pedro Antunes 0001	Workflow Recovery Framework for Exception Handling: Involving the User.	CRIWG	2003	DBLP DOI BibTeX RDF
23	Michael Gschwind, Erik R. Altman	Precise Exception Semantics in Dynamic Compilation.	CC	2002	DBLP DOI BibTeX RDF
23	Min Zhao, Jue Wang 0004	Discernibility Matrix Approach to Exception Analysis.	Rough Sets and Current Trends in Computing	2002	DBLP DOI BibTeX RDF
23	Sukyoung Ryu, Kwangkeun Yi	Exception Analysis for Multithreaded Java Programs.	APAQS	2001	DBLP DOI BibTeX RDF
23	Einoshin Suzuki, Jan M. Zytkow	Unified Algorithm for Undirected Discovery of Execption Rules.	PKDD	2000	DBLP DOI BibTeX RDF	Exception/Deviation Detection, Exception Rule, Rule Triplet, Rule Discovery
23	Chrysanthos Dellarocas, Mark Klein	A Knowledge-Based Approach for Designing Robust Business Processes.	Business Process Management	2000	DBLP DOI BibTeX RDF
23	Andrés Terrasa, Ana García-Fornes, Vicente J. Botti	Including user-defined timing exception support in FRTL.	RTCSA	2000	DBLP DOI BibTeX RDF	user-defined timing exception support, FRTL, flexible hard real-time systems, task deadlines, Flexible Real-Time Linux, CPU consumption, real-time systems, Unix, exception handling, worst-case execution time, operating systems (computers), run-time system, feasibility test
23	Elisa Bertino, Sushil Jajodia, Pierangela Samarati	A Flexible Authorization Mechanism for Relational Data Management Systems.	ACM Trans. Inf. Syst.	1999	DBLP DOI BibTeX RDF	access control mechanism, group management support, relational database, authorization, access control policy, data management system
23	Jon G. Riecke, Hayo Thielecke	Typed Exeptions and Continuations Cannot Macro-Express Each Other.	ICALP	1999	DBLP DOI BibTeX RDF
23	Huan Liu 0001, Hongjun Lu	Mining Weak Rules.	COMPSAC	1999	DBLP DOI BibTeX RDF
23	Jian Li 0061, Rajesh K. Gupta 0001	Limited Exception Modeling and Its Use in Presynthesis Optimizations.	DAC	1997	DBLP DOI BibTeX RDF
23	Randy Chow, I-Lung Kao	Modeling complex access control policies in distributed systems.	FTDCS	1995	DBLP DOI BibTeX RDF	access authorization, classified categories, state-dependent security, distributed systems, distributed processing, security policies, security of data, authorisation, access control model, access control policies, Boolean expressions
23	Scott A. Mahlke, William Y. Chen, Roger A. Bringmann, Richard E. Hank, Wen-mei W. Hwu, B. Ramakrishna Rau, Michael S. Schlansker	Sentinel Scheduling for VLIW and Superscalar Processors.	ACM Trans. Comput. Syst.	1993	DBLP DOI BibTeX RDF	exception detection, exception recovery, instruction-level parallelism, instruction scheduling, speculative execution, superscalar processor, VlIW processor
23	Piotr Berman, Juan A. Garay	Fast Consensus in Networks of Bounded Degree (Extended Abstract).	WDAG	1990	DBLP DOI BibTeX RDF
23	Muralidhar Sitaram, George W. Ernst, John Marcuse	Knowledge based system to diagnose faults in discrete event systems.	IEA/AIE (1)	1989	DBLP DOI BibTeX RDF