Search results for "Exceptions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Yi Jiao, Baifeng Wu, Kun Zhu 0005, Qiang Yu	Towards a Systematic Conflict Resolution Policy in Multi-agent System: A Conceptual Framework.	CSCWD (Selected papers)	2005	DBLP DOI BibTeX RDF
15	Andrew Ayers, Richard Schooler, Chris Metcalf, Anant Agarwal, Junghwan Rhee, Emmett Witchel	TraceBack: first fault diagnosis by reconstruction of distributed control flow.	PLDI	2005	DBLP DOI BibTeX RDF	fault diagnosis, instrumentation
15	Dovile Vojevodina, Genadijus Kulvietis, Paul Bindokas	The Method for E-business Exception Handling.	ISDA	2005	DBLP DOI BibTeX RDF
15	Takeshi Yamamoto, Hirokazu Taki, Noriyuki Matsuda, Hirokazu Miura, Satoshi Hori, Noriyuki Abe	Constructive Induction-Based Clustering Method for Ubiquitous Computing Environments.	KES (4)	2005	DBLP DOI BibTeX RDF
15	Chen Fu, Barbara G. Ryder	Navigating error recovery code in Java applications.	eTX	2005	DBLP DOI BibTeX RDF
15	Holger Brocks, Henning Meyer, Thomas Kamps	Flexible Exception Handling in a Multi-Agent Enactment Model for Knowledge-Intensive Processes.	IAT	2005	DBLP DOI BibTeX RDF
15	I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen	Building Verification Condition Generators by Compositional Extensions.	SEFM	2005	DBLP DOI BibTeX RDF	modular verification, verification tool, verification technique
15	John C. Goodale, Gary M. Thompson	A Comparison of Heuristics for Assigning Individual Employees to Labor Tour Schedules.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	individual productivity, labor scheduling, tour scheduling, simulated annealing
15	Xiaogang Qiu, Michel Dubois 0001	Tolerating Late Memory Traps in Dynamically Scheduled Processors.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
15	Christof Fetzer, Pascal Felber, Karin Högstedt	Automatic Detection and Masking of Nonatomic Exception Handling.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
15	Albert Ko, Henry Y. K. Lau, T. L. Lau	An Immuno Control Framework for Decentralized Mechatronic Control.	ICARIS	2004	DBLP DOI BibTeX RDF
15	Mizuho Iwaihara, Haiying Jiang, Yahiko Kambayashi	An integrated model of workflows, e-contracts and solution implementation.	SAC	2004	DBLP DOI BibTeX RDF	workflows, business process, e-contract
15	John Power	Canonical Models for Computational Effects.	FoSSaCS	2004	DBLP DOI BibTeX RDF
15	Daniel A. Keim, Jörn Schneidewind, Mike Sips	CircleView: a new approach for visualizing time-related multidimensional data sets.	AVI	2004	DBLP DOI BibTeX RDF	advanced visual interface, continuos data streams, information visualization, visual data mining
15	Hernâni Mourão, Pedro Antunes 0001	Exception Handling Through a Workflow.	CoopIS/DOA/ODBASE (1)	2004	DBLP DOI BibTeX RDF
15	Marco Brambilla 0001, Nicola D'Elia	Exception Handling Within Workflow-Based Web Applications.	ICWE	2004	DBLP DOI BibTeX RDF
15	Patrick C. K. Hung, Dickson K. W. Chiu	Developing Workflow-Based Information Integration (WII) with Exception Support in a Web Services Environment.	HICSS	2004	DBLP DOI BibTeX RDF
15	Minhong Wang 0001, Huaiqing Wang, Kwok Kit Wan, Dongming Xu	Knowledge-Based Exception Handling in Securities Transaction.	HICSS	2004	DBLP DOI BibTeX RDF
15	Richard Carlsson, Björn Gustavsson, Patrik Nyblom	Erlang's exception handling revisited.	Erlang Workshop	2004	DBLP DOI BibTeX RDF	semantics, exception handling, erlang
15	Barbara G. Ryder, Mary Lou Soffa	Influences on the design of exception handling: ACM SIGSOFT project on the impact of software engineering research on programming language design.	ACM SIGPLAN Notices	2003	DBLP DOI BibTeX RDF
15	Barbara G. Ryder, Mary Lou Soffa	Influences on the design of exception handling ACM SIGSOFT project on the impact of software engineering research on programming language design.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF
15	Martin P. Robillard, Gail C. Murphy	Static analysis to support the evolution of exception structure in object-oriented systems.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	exception flow, exception structure, static analysis, exception handling, Error handling, program evolution
15	James C. Dehnert, Brian Grant, John P. Banning, Richard Johnson, Thomas Kistler, Alexander Klaiber, Jim Mattson	The Transmeta Code Morphing - Software: Using Speculation, Recovery, and Adaptive Retranslation to Address Real-Life Challenges.	CGO	2003	DBLP DOI BibTeX RDF
15	Constanze Ulmer-Eilfort	Private Copying and Levies for Information- and Communication-Technologies and Storage Media in Europe.	Digital Rights Management	2003	DBLP DOI BibTeX RDF
15	Bill J. Ellis, Andrew Ireland	Automation for Exception Freedom Proofs.	ASE	2003	DBLP DOI BibTeX RDF
15	Liangzhao Zeng, Jun-Jang Jeng, Santhosh Kumaran, Jayant Kalagnanam	Reliable Execution Planning and Exception Handling for Business Process.	TES	2003	DBLP DOI BibTeX RDF
15	Christoforos E. Kozyrakis, David A. Patterson 0001	Overcoming the Limitations of Conventional Vector Processors.	ISCA	2003	DBLP DOI BibTeX RDF
15	Steffen E. Seufert	Der Entwurf strukturierter rollenbasierter Zugriffskontrollmodelle, Ein formaler Ansatz zur Ableitung von Zugriffsrechten aus der Aufbauorganisation.	Inform. Forsch. Entwickl.	2002	DBLP DOI BibTeX RDF	Zugriffskontrolle, rollenbasierte Zugriffskontrolle, Autorisation, IT-Sicherheit, Sicherheitsstrategie
15	David Chen, Robin Cohen	AERO: An Outsourced Approach to Exception Handling in Multi-agent Systems.	AI	2002	DBLP DOI BibTeX RDF
15	Cuiping Li 0001, Sheng-En Li, Shan Wang 0001, Xiaoyong Du 0001	Efficient Constraint-Based Exploratory Mining on Large Data Cubes.	PAKDD	2002	DBLP DOI BibTeX RDF
15	Erik M. Nystrom, Ronald D. Barnes, Matthew C. Merten, Wen-mei W. Hwu	Code Reordering and Speculation Support for Dynamic Optimization System.	IEEE PACT	2001	DBLP DOI BibTeX RDF
15	Michael Johnson, Robert D. Rosebrugh, Christopher N. G. Dampney	View updates in a semantic data modelling paradigm.	ADC	2001	DBLP DOI BibTeX RDF	data model, category theory, semantic data modelling, view update
15	Alexander B. Romanovsky	Looking Ahead in Atomic Actions with Exception Handling.	SRDS	2001	DBLP DOI BibTeX RDF
15	Guy Even, Wolfgang J. Paul	On the Design of IEEE Compliant Floating Point Units.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	floating-point rounding, floating-point arithmetic, IEEE 754 Standard, floating-point addition
15	Charles P. Shelton, Philip Koopman, Kobey Devale	Robustness Testing of the Microsoft Win32 API.	DSN	2000	DBLP DOI BibTeX RDF	software robustness testing, Windows vs. Linux, exception handling
15	Marta Patiño-Martínez, Ricardo Jiménez-Peris, Sergio Arévalo	Exception Handling and Resolution for Transactional Object Groups.	Advances in Exception Handling Techniques	2000	DBLP DOI BibTeX RDF
15	Fabio Casati, Gianpaolo Cugola	Error Handling in Process Support Systems.	Advances in Exception Handling Techniques	2000	DBLP DOI BibTeX RDF
15	Jørgen Lindskov Knudsen	Fault Tolerance and Exception Handling in BETA.	Advances in Exception Handling Techniques	2000	DBLP DOI BibTeX RDF
15	Anand R. Tripathi, Robert Miller 0002	Exception Handling in Agent-Oriented Systems.	Advances in Exception Handling Techniques	2000	DBLP DOI BibTeX RDF
15	Eugene Goldberg, Alexander Saldanha	Timing Analysis with Implicitly Specified False Paths.	VLSI Design	2000	DBLP DOI BibTeX RDF	known false paths, implicit false path representation, timing analysis, breadth-first search
15	Rogério de Lemos, Alexander B. Romanovsky	Exception Handling in a Cooperative Object-Oriented Approach.	ISORC	1999	DBLP DOI BibTeX RDF
15	Liz Whiting, Mike Hill	Safety Analysis of Hawk in Flight Monitor.	PASTE	1999	DBLP DOI BibTeX RDF
15	Sozo Inoue, Mizuho Iwaihara	Adapting Transactions to Exceptional Situations Using Structured Messages.	DANTE	1999	DBLP DOI BibTeX RDF	structured message, communication, transaction, collaborative work
15	Jie Xu 0007, Alexander B. Romanovsky, Brian Randell	Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation.	ICDCS	1998	DBLP DOI BibTeX RDF	coordinated exception handling, exception resolution, nested atomic actions, Concurrent programs, distributed object systems
15	Claus Hagen, Gustavo Alonso	Flexible Exception Handling in the OPERA Process Support System.	ICDCS	1998	DBLP DOI BibTeX RDF	advanced transactions, fault tolerance, exception handling, workflow management, process support systems
15	Yujian Zhou, Jue Wang	Rule+Exception Modeling Based on Rough Set Theory.	Rough Sets and Current Trends in Computing	1998	DBLP DOI BibTeX RDF
15	Jian Tang 0001, San-Yih Hwang	A Scheme to Specify and Implement Ad-Hoc Recovery in Workflow Systems.	EDBT	1998	DBLP DOI BibTeX RDF
15	Jian Zhang, Howard J. Hamilton	Learning English Syllabification for Words.	ISMIS	1997	DBLP DOI BibTeX RDF
15	Guy Even, Wolfgang J. Paul	On the Design of IEEE Compliant Floating Point Units.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	floating point arithmetic, rounding, floating point unit
15	Keith I. Farkas, Norman P. Jouppi, Paul Chow	Register File Design Considerations in Dynamically Scheduled Processors.	HPCA	1996	DBLP DOI BibTeX RDF	dynamic scheduling, register files, register renaming
15	Paulo Barthelmess, Jacques Wainer	WorkFlow systems: a few definitions and a few suggestions.	COOCS	1995	DBLP DOI BibTeX RDF
15	I-Lung Kao, Randy Chow	Enforcing complex security policies for commercial applications.	COMPSAC	1995	DBLP DOI BibTeX RDF	complex security policy enforcement, commercial applications, complex access control policies, multilevel security model, systematic frequently-desired multilevel exception categorization, commercial sectors, classified categories, Boolean functions, exception handling, security of data, authorisation, Boolean expressions
15	Chandramohan A. Thekkath, Henry M. Levy	Hardware and Software Support for Efficient Exception Handling.	ASPLOS	1994	DBLP DOI BibTeX RDF
15	Qian Cui, John D. Gannon	Data-Oriented Exception Handling.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	normal algorithmic processing, error processing, control features, source text, data-oriented exception handling, data structures, Ada, programming, programming languages, declarations, data objects, Ada programs
15	David Bernstein, Michael Rodeh, Shmuel Sagiv	Proving Safety of Speculative Load Instructions at Compile Time.	ESOP	1992	DBLP DOI BibTeX RDF
15	Richard A. McBride, Jacob Slonim	Control and responsiveness in Hermes.	CASCON	1991	DBLP BibTeX RDF
15	Flaviu Cristian	Robust Data Types.	Program Specification	1981	DBLP DOI BibTeX RDF	Key-words and phrases Data Abstraction, Partial Operations, Total Operations, Software Engineering, Program Verification, Exception Handling
8	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
8	Byoungyoung Lee, Yuna Kim, Jong Kim 0001	binOb+: a framework for potent and stealthy binary obfuscation.	AsiaCCS	2010	DBLP DOI BibTeX RDF	binary obfuscation, stealth, windows SEH, reverse engineering, exception handling
8	Adam Chlipala	A verified compiler for an impure functional language.	POPL	2010	DBLP DOI BibTeX RDF	compiler verification, interactive proof assistants
8	Muhammad Bilal Anwer, Murtaza Motiwala, Muhammad Mukarram Bin Tariq, Nick Feamster	SwitchBlade: a platform for rapid deployment of network protocols on programmable hardware.	SIGCOMM	2010	DBLP DOI BibTeX RDF	network virtualization, NetFPGA
8	Syed Sajid Hussain	Integrating end-user support and negotiations to specify requirements for context-based adaptations in a collaboration environment.	EICS	2010	DBLP DOI BibTeX RDF	collaborative conflict management, contextual and situation-based collaboration, requirement engineering in collaboration environments, socio technical information spaces, end-user support
8	Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer	Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses.	PLDI	2010	DBLP DOI BibTeX RDF	dynamic analysis, context sensitivity, bug detection
8	Erik Wästlund, Kay Sponseller, Ola Pettersson	What you see is where you go: testing a gaze-driven power wheelchair for individuals with severe multiple disabilities.	ETRA	2010	DBLP DOI BibTeX RDF	eyes-only interaction, smart wheelchair
8	Olivier Coudert	An efficient algorithm to verify generalized false paths.	DAC	2010	DBLP DOI BibTeX RDF	co-sensitization, generalized false path, timing exception, formal verification, correctness, SAT, sensitization, false path, SDC
8	Chao Cai, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao	Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	fault tolerant, distributed system, formal methods, exception handling
8	Matt Blaze, Sampath Kannan, Insup Lee 0001, Oleg Sokolsky, Jonathan M. Smith, Angelos D. Keromytis, Wenke Lee	Dynamic Trust Management.	Computer	2009	DBLP DOI BibTeX RDF
8	Markus Grassl, T. Aaron Gulliver	On circulant self-dual codes over small fields.	Des. Codes Cryptogr.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 94B05, 94B65, 94B60
8	Francisco Casacuberta, Jorge Civera, Elsa Cubel, Antonio L. Lagarda, Guy Lapalme, Elliott Macklovitch, Enrique Vidal 0001	Human interaction for high-quality machine translation.	Commun. ACM	2009	DBLP DOI BibTeX RDF
8	Mathias Ricken, Robert Cartwright	ConcJUnit: unit testing for concurrent programs.	PPPJ	2009	DBLP DOI BibTeX RDF	Java, concurrent programming, unit testing, JUnit
8	Rohit Parikh	Knowledge and Structure in Social Algorithms.	RelMiCS	2009	DBLP DOI BibTeX RDF	Algorithms, Knowledge, Society
8	Paulo Santos 0001, Hannah M. Dee, Valquiria Fenelon	Qualitative robot localisation using information from cast shadows.	ICRA	2009	DBLP DOI BibTeX RDF
8	Kazi Zakia Sultana, Anupam Bhattacharjee, Mohammad Shafkat Amin, Hasan M. Jamil	A Model for Contextual Cooperative Query Answering in E-Commerce Applications.	FQAS	2009	DBLP DOI BibTeX RDF
8	Javier-Alfonso Espinosa-Oviedo, Genoveva Vargas-Solar, José-Luis Zechinelli-Martini, Christine Collet	Non-functional properties and services coordination using contracts.	IDEAS	2009	DBLP DOI BibTeX RDF	reliable services-coordination, contract, non-functional properties
8	Agastya Nanda, Mangala Gowri Nanda	Gaining insight into programs that analyze programs: by visualizing the analyzed program.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	visualization, analysis
8	Samvida Nanda, Soumya Ramasubramaniam, Sumana Ramasubramaniam, Agastya Nanda, Mangala Gowri Nanda	The puppet and the probe.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	visualization, analysis
8	Yale N. Patt	Multi-core demands multi-interfaces.	HPCA	2009	DBLP DOI BibTeX RDF
8	Frank Pfenning, Robert J. Simmons	Substructural Operational Semantics as Ordered Logic Programming.	LICS	2009	DBLP DOI BibTeX RDF
8	Song Fu, Cheng-Zhong Xu 0001	Proactive Resource Management for Failure Resilient High Performance Computing Clusters.	ARES	2009	DBLP DOI BibTeX RDF
8	Hua Wang 0008, Ke Zhou 0001, Ling Yuan	Fault-Tolerant Online Backup Service: Formal Modeling and Reasoning.	NAS	2009	DBLP DOI BibTeX RDF
8	Olli Sjöblom	Data Refining for Text Mining Process in Aviation Safety Data.	I3E	2009	DBLP DOI BibTeX RDF	Flight Safety, Data Mining, Text Mining
8	Changbin Ji, Zhenyu Chen 0001, Baowen Xu, Ziyuan Wang	A New Mutation Analysis Method for Testing Java Exception Handling.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
8	Marcello Balduccini	Splitting a CR-Prolog Program.	LPNMR	2009	DBLP DOI BibTeX RDF
8	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results.	LPNMR	2009	DBLP DOI BibTeX RDF
8	Ivan B. Vermeulen, Sander M. Bohté, Peter A. N. Bosman, Sylvia G. Elkhuizen, Piet J. M. Bakker, Johannes A. La Poutré	Optimization of Online Patient Scheduling with Urgencies and Preferences.	AIME	2009	DBLP DOI BibTeX RDF
8	Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook	Remote Batch Invocation for Compositional Object Services.	ECOOP	2009	DBLP DOI BibTeX RDF
8	S. Hossein Sadat-Mohtasham, H. James Hoover	Transactional pointcuts: designation reification and advice of interrelated join points.	GPCE	2009	DBLP DOI BibTeX RDF	transactional pointcut, aspect-oriented programming, join point model
8	Arun K. Majumdar, John F. Sowa	Two Paradigms Are Better Than One, and Multiple Paradigms Are Even Better.	ICCS	2009	DBLP DOI BibTeX RDF	agents, NLP, reasoning, conceptual graphs, paradigms
8	Marc Fischlin, Dominique Schröder	Security of Blind Signatures under Aborts.	Public Key Cryptography	2009	DBLP DOI BibTeX RDF
8	Joshua R. Davis, Zachary Goldman, Jacob Hilty, Elizabeth N. Koch, David Liben-Nowell, Alexa Sharp, Tom Wexler, Emma Zhou	Equilibria and Efficiency Loss in Games on Networks.	CSE (4)	2009	DBLP DOI BibTeX RDF
8	Gabriela F. Cretu-Ciocarlie, Angelos Stavrou, Michael E. Locasto, Salvatore J. Stolfo	Adaptive Anomaly Detection via Self-calibration and Dynamic Updating.	RAID	2009	DBLP DOI BibTeX RDF	self-update, anomaly detection, self-calibrate, sanitization
8	David Niedzielski, Jeffery von Ronne, Andreas Gampe, Kleanthis Psarris	A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination.	SAS	2009	DBLP DOI BibTeX RDF
8	Gordon J. Pace, Gerardo Schneider	Challenges in the Specification of Full Contracts.	IFM	2009	DBLP DOI BibTeX RDF
8	Zornitza Racheva, Maya Daneva, Klaas Sikkel	Value Creation by Agile Projects: Methodology or Mystery?	PROFES	2009	DBLP DOI BibTeX RDF	agile development, business value, systematic review
8	Daniel Marino, Todd D. Millstein	A generic type-and-effect system.	TLDI	2009	DBLP DOI BibTeX RDF	type-and-effect systems
8	Khaled Gaaloul, François Charoy, Andreas Schaad	Modelling task delegation for human-centric eGovernment workflows.	D.GO	2009	DBLP BibTeX RDF	access control, workflow, delegation, task, eGovernment
8	Li-Chih Wang, Sian-Kun Lin, Li-Ping Huang	A RFID Based Agile Manufacturing Planning and Control System.	RSKT	2009	DBLP DOI BibTeX RDF	Manufacturing Planning and Control, RFID, Multi-agent
8	Agoston Petz, Justin Enderle, Christine Julien 0001	A framework for evaluating DTN mobility models.	SimuTools	2009	DBLP DOI BibTeX RDF	delay tolerant networks, mobility models, OMNeT++
8	Alexander Lux, Heiko Mantel	Declassification with Explicit Reference Points.	ESORICS	2009	DBLP DOI BibTeX RDF
8	Mohamed Boukhebouze, Youssef Amghar, Aïcha-Nabila Benharkat, Zakaria Maamar	A Rule-Based Modeling for the Description of Flexible and Self-healing Business Processes.	ADBIS	2009	DBLP DOI BibTeX RDF	flexible modeling, Change impact and self-healing of business process, Business processes modeling, business rules