470 search results - page 15 / 94 » The Foundations for Provenance on the Web |
SAS
2012
Springer
11 years 11 months ago
2012
Springer
Abstract. Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In th...
IDT
2008
13 years 9 months ago
2008
: Many defense, homeland security, and commercial security objectives require continuous tracking of mobile entities such as aircraft. The systems that perform these functions prod...
CONCUR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We define a language for Web services contracts as a parallelfree fragment of ccs and we study a natural notion of compliance between clients and services in terms of th...
MDM
2007
Springer
14 years 3 months ago
2007
Springer
This paper proposes a framework for personalisation of mobile services called Web Services Personalisation Framework (WSPF). The framework is based on the Service-Oriented Archite...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. This paper describes the translation of proofs in the Thousands of Solutions from Theorem Provers (TSTP) solution library to the Proof Markup Language (PML), and the subs...