164 search results - page 29 / 33 » Exception Handling in an Event-Driven System |
AAAI
2006
14 years 10 days ago
2006
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
COMPSAC
2003
IEEE
14 years 4 months ago
2003
IEEE
One important trend in enterprise-scale IT has been the increasing use of business-to-business integration (B2Bi) technologies to automate business processes that cross organisati...
CADE
2005
Springer
14 years 11 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
OOPSLA
2001
Springer
14 years 3 months ago
2001
Springer
Regression testing is applied to modified software to provide confidence that the changed parts behave as intended and that the unchanged parts have not been adversely affected ...
APLAS
2010
ACM
13 years 11 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...