Sciweavers

4180 search results - page 584 / 836
» A Query Language for XML
Sort
View
ISAS
2005
Springer
15 years 11 months ago
Contract-Based Web Service Composition Framework with Correctness Guarantees
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
Nikola Milanovic
ER
2004
Springer
125views Database» more  ER 2004»
15 years 11 months ago
Expressive Profile Specification and Its Semantics for a Web Monitoring System
Abstract. World wide web has gained a lot of prominence with respect to information retrieval and data delivery. With such a prolific growth, a user interested in a specific change...
Ajay Eppili, Jyoti Jacob, Alpa Sachde, Sharma Chak...
XPU
2004
Springer
15 years 11 months ago
Generative Acceptance Testing for Difficult-to-Test Software
Abstract. While there are many excellent acceptance testing tools and frameworks available today, this paper presents an alternative approach, involving generating code from tests ...
Jennitta Andrea
HT
2003
ACM
15 years 11 months ago
Multi-layered cross-media linking
The integration of printed paper and digital information enables new forms of enhanced reading. We present digitally augmented paper as a specific application of our more general...
Beat Signer, Moira C. Norrie
ATAL
2003
Springer
15 years 11 months ago
An evolving multi agent system for meteorological alerts
The Australian Bureau of Meteorology has a requirement for complex and evolving systems to manage its weather forecasting, monitoring and alerts. This paper describes an agent-bas...
Sandy Dance, Malcolm Gorman, Lin Padgham, Michael ...