284 search results - page 31 / 57 » WSAT: A Tool for Formal Analysis of Web Services |
ICWE
2010
Springer
13 years 10 months ago
2010
Springer
: The use of patterns in data management is not new: in data warehousing, data marts are simple conceptual schemas with exactly one core entity, describing facts, surrounded by mul...
SIGMOD
2004
ACM
14 years 8 months ago
2004
ACM
In this paper, we study query evaluation on Active XML documents (AXML for short), a new generation of XML documents that has recently gained popularity. AXML documents are XML do...
ICALT
2008
IEEE
14 years 2 months ago
2008
IEEE
Apparently computer technology is shifting its focus, with individual users not being the main target any more. The evolution of Web 2.0 technologies is promoting the development ...
HT
2007
ACM
13 years 12 months ago
2007
ACM
Customers are driving down lead times for software, especially for Web applications, to only a few months. While a number of hypertext design models exist, they do not address the...
ACSC
2005
IEEE
14 years 1 months ago
2005
IEEE
The iHealth Explorer tool, developed by CSIRO and DoHA, delivers web services type data mining and analytic facilities over a web interface, providing desktop access to sophistica...