Just as the structure of the normal operations of a system tends to degrade as the system evolves, the structure of exception handling also degrades. In this paper, we draw on our experience building and analyzing the exception structure of Java programs to describe why and how exception structure degrades. Fortunately, we need not let our exception structure languish. We also relate our experi...

We prove, without assuming the Generalized Riemann Hypothesis, but with at most one exception, that an irreducible cyclic code c(p, m, v) with v prime and p of index 2 modulo v is a two-weight code if and only if it is a semiprimitive code or it is one of the six sporadic known codes. The result is proved without any exception for index-two irreducible cyclic c(p, m, v) codes with v prime not c...

In this paper, defeasible workflow is proposed as a framework to support exception handling for workflow management. By using the “justified” ECA rules to capture more contexts in workflow modeling, defeasible workflow uses context dependent reasoning to enhance the exception handling capability of workflow management systems. In particular, this limits possible alternative exception handler ca...

GG odel's Incompleteness Theorem asserts that any suuciently rich, sound, and recursively axiomatizable theory is incomplete. We show that, in a quite general topological sense, incompleteness is a rather common phenomenon: With respect to any reasonable topology the set of true and unprov-able statements of such a theory is dense and in many cases even co-rare.

The problem of transforming the knowledge bases of performance systems using induced rules or decision trees into comprehensible knowledge structures is addressed. A knowledge structure is developed that generalizes and subsumes production rules, decision trees, and rules with exceptions. It gives rise to a natural complexity measure that allows them to be understood, analyzed and compared on a...

CIMOSA (Open System Architecture for CIM) [2], an architecture for the modelling of manufacturing applications, does not provide a facility for exception definition and handling. Exceptions, traditionally associated to programming language and operating systems, are necessary in all types of languages, including specification languages. Our contribution consists of the enhancement of the CIMOSA...

To date, the ability of a business process designer to produce a solid, well-validated workflow models is limited, especially since all necessary scenarios that need to be covered by the workflow are hard to predict. Workflow management systems (WfMSs), serving as the main vehicle of business process execution, should recognize those limits, and increase its support to designers in this task. O...

The question of what is patentable subject matter is one that may be easy to answer in theory but which can pose significant hurdles in practice. As detailed in the Guidelines, this question is answered through a two-ste p process that begins with deciding whether or not a claim is directed to a law of nature, a natural phenomenon, or an abstract idea (for simplicity, these shall be collectivel...

Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the problem of run-time errors through the use of formal verification. Proofs are constructed to show that each run-time check will never raise an error, thus proving freedom from run-time exceptions. Here we build upon the s...

Exception phrases show up with a restricted set of quantifiers (a.o. Hoeksema (1987), von Fintel (1994), Moltmann (1995)). In this paper I claim that exception phrases are able to associate with cualquier because they operate on universal implicatures generated by the FC item. Following Kratzer and Shimoyama (K&S) (2002), I propose a Hamblin style analysis of cualquier as a domain widening inde...