Sciweavers

37 search results - page 1 / 8
» Towards the theoretical foundation of choreography
Sort
View
WWW
2007
ACM
14 years 5 months ago
Towards the theoretical foundation of choreography
With the growth of interest on the web services, people pay increasingly attention to the choreography, that is, to describe collaborations of participants in accomplishing a comm...
Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang
IJCINI
2007
113views more  IJCINI 2007»
13 years 4 months ago
Toward Theoretical Foundations of Autonomic Computing
Autonomic computing (AC) is an intelligent computing approach that autonomously carries out robotic and interactive applications based on goal- and inference-driven mechanisms. Th...
Yingxu Wang
COLT
2005
Springer
13 years 10 months ago
Towards a Theoretical Foundation for Laplacian-Based Manifold Methods
In recent years manifold methods have attracted a considerable amount of attention in machine learning. However most algorithms in that class may be termed “manifold-motivatedâ€...
Mikhail Belkin, Partha Niyogi
FM
2001
Springer
130views Formal Methods» more  FM 2001»
13 years 9 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh
ICWS
2003
IEEE
13 years 5 months ago
Towards a Semantic Choreography of Web Services: From WSDL to DAML-S
— The relation between DAML-S, a language for the description of Web services grounded in the Semantic Web, and the growing Web services infrastructure based on WSDL is, by an la...
Massimo Paolucci, Naveen Srinivasan, Katia P. Syca...