17789 search results - page 17 / 3558 » Exceptional Use Cases |
POPL
1999
ACM
15 years 2 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
14 years 11 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
14 years 12 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
15 years 4 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
15 years 2 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...