4326 search results - page 115 / 866 » A Model for Process Service Interaction |
147
click to vote
IS
2006
15 years 3 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
122
Voted
IEEEARES
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
121
click to vote
IIWAS
2004
15 years 4 months ago
2004
: Recently, the software industry has published several proposals for transactional processing in the Web service world. Even though most proposals support arbitrary transaction mo...
115
click to vote
SEMWEB
2004
Springer
15 years 8 months ago
2004
Springer
Semantic Web Services enable the dynamic discovery of services based on a formal, explicit specification of the requester needs. The actual Web Services that will be used to satis...
125
click to vote
CHI
2009
ACM
15 years 1 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...