2573 search results - page 172 / 515 » Service Combinators for Web Computing |
112
Voted
IRI
2008
IEEE
15 years 10 months ago
2008
IEEE
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
110
Voted
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper describes the development and use of an extensible service provider toolkit (ESP) for an Earth Science service-oriented architecture (SOA). Grid-enabled Earth Science a...
113
Voted
IJMMS
2006
15 years 3 months ago
2006
This experimental study investigates the effects of animated graphic colors on attention and perceived usability of users from two cultural groups, American and Thai. The experime...
143
Voted
BMCBI
2004
15 years 3 months ago
2004
Background: Regulatory regions that function in DNA replication and gene transcription contain specific sequences that bind proteins as well as less-specific sequences in which th...
139
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...