17789 search results - page 17 / 3558 » Exceptional Use Cases |
POPL
1999
ACM
13 years 12 months ago
1999
ACM
This paper presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a non-standard type system, usi...
ISTA
2007
13 years 9 months ago
2007
: Exception handling is one of the powerful means of achieving high dependability and fault-tolerance in service-oriented architecture (SOA). The paper introduces the results of ex...
ACMICEC
2005
ACM
13 years 9 months ago
2005
ACM
The advance of Internet technology fosters the order fulfillment process in a supply chain across heterogeneous information systems. In order to monitor states between partners in...
ISQED
2010
IEEE
14 years 2 months ago
2010
IEEE
— Timing exceptions in IC implementation processes, especially timing verification, help reduce pessimism that arises from unnecessary timing constraints by masking non-function...
AGENTCL
2000
Springer
13 years 12 months ago
2000
Springer
The author describes a system for defining conversation policies that allows conversants to exchange explicit representations of how they use messages to get things done. This sy...