1096 search results - page 139 / 220 » Type inference for atomicity |
WISE
2000
Springer
14 years 6 days ago
2000
Springer
The mediator/wrapper approach is used to integrate data from different databases and other data sources by introducing a middleware virtual database that provides high level abstr...
CADE
1990
Springer
13 years 12 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
ACSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
A common way to elude a signature-based NIDS is to transform an attack instance that the NIDS recognizes into another instance that it misses. For example, to avoid matching the a...
ECLIPSE
2007
ACM
13 years 9 months ago
2007
ACM
Programmers often copy and paste code so that they can reuse the existing code to complete a similar task. Many times, modifications to the newly pasted code include renaming all ...
IS
2006
13 years 7 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...