Sciweavers

1758 search results - page 310 / 352
» An Implementation of Web Based Query by Humming System
Sort
View
WWW
2009
ACM
14 years 8 months ago
Automated synthesis of composite services with correctness guarantee
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...
Ting Deng, Jinpeng Huai, Xianxian Li, Zongxia Du, ...
WWW
2006
ACM
14 years 8 months ago
Semantic WS-agreement partner selection
In a dynamic service oriented environment it is desirable for service consumers and providers to offer and obtain guarantees regarding their capabilities and requirements. WS-Agre...
Nicole Oldham, Kunal Verma, Amit P. Sheth, Farshad...
ESCIENCE
2005
IEEE
14 years 1 months ago
Bio-Workflows with BizTalk: Using a Commercial Workflow Engine for eScience
Workflow is an important enabling technology for eScience. Research into workflow systems for eScience has yielded several specialized workflow engines. In this paper we investiga...
Asbjørn Rygg, Scott Mann, Paul Roe, On Wong
AIED
2005
Springer
14 years 1 months ago
Making Learning Design Standards Work with an Ontology of Educational Theories
In this paper, we present an ontology of educational theories their relation to learning design. This ontology takes into account learning design (LD) specifications such as OUNL-E...
Valéry Psyché, Jacqueline Bourdeau, ...
USITS
2001
13 years 9 months ago
An Architecture for Content Routing Support in the Internet
The primary use of the Internet is content distribution -- the delivery of web pages, audio, and video to client applications -- yet the Internet was never architected for scalabl...
Mark Gritter, David R. Cheriton