85 search results - page 13 / 17 » Towards Algebraic Separation Logic |
110
Voted
IEEESCC
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we present a comprehensive study on the threats towards the coordination services for Web services business activities and explore the most optimal solution to miti...
123
Voted
FLAIRS
2008
15 years 2 months ago
2008
Ontology alignment is regarded as one of the core tasks in many Web services. It is concerned with finding the correspondences between separate ontologies by identifying concepts ...
106
click to vote
AKA
2004
15 years 1 months ago
2004
: The transaction concept enables the efficient development of concurrent and fault tolerant applications. Transaction services are therefore an essential part of modern component ...
103
Voted
NCA
2007
IEEE
15 years 6 months ago
2007
IEEE
Our research addresses two important problems that arise in modern large-scale distributed systems: (1) the necessity to virtualize their data flows by applying actions such as ï...
127
Voted
DEBU
2008
15 years 16 days ago
2008
Since the birth of XML, the processing of XML query languages like XQuery/XQueryP has been widely researched in the academic and industrial communities. Most of the approaches con...