907 search results - page 89 / 182 » XML Metadata Services |
ICDE
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
SOSE
2006
IEEE
14 years 1 months ago
2006
IEEE
— Current service technologies are primarily focused on the functionality of services. A significant portion of the available services, however, exhibits a data-driven rather th...
ISAS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
COMCOM
2004
13 years 7 months ago
2004
Web services are an emerging technology that provides a flexible platform for web interaction. We evaluate Web service performance of handheld resource-constrained clients using d...
JUCS
2002
13 years 7 months ago
2002
Abstract: This paper presents a complete system for scheduling transportation orders to a fleet of autonomous mobile robots in service environments. It consists of the autonomous m...