Sciweavers

4665 search results - page 119 / 933
» Bioinformatics Web Services
Sort
View
EDOC
2004
IEEE
14 years 1 months ago
Notations for the Specification and Verification of Composite Web Services
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
Simon J. Woodman, Doug J. Palmer, Santosh K. Shriv...
ICDE
2007
IEEE
169views Database» more  ICDE 2007»
14 years 1 months ago
Semantic Web Services Composition: A Network Analysis Approach
"Software as a service" approach has become a reality since efforts of both industry and research focused on service integration on the web. It would be possible to see ...
Gokay Burak Akkus
ICWS
2007
IEEE
13 years 11 months ago
Automated Choreographer Synthesis for Web Services Composition Using I/O Automata
We study the problem of synthesis of a choreogrpher in Web service composition for a given set of services and a goal. Services and goal are represented using i/o automata which c...
Saayan Mitra, Ratnesh Kumar, Samik Basu
BPSC
2010
166views Business» more  BPSC 2010»
13 years 9 months ago
Case Study on Extending Internet of Services Techniques to Real-World Services
: The Internet of Services promotes distributable, composable and tradeable services as first-class entities. Such services are assumed to encompass the full range from electronic...
Josef Spillner, Ronny Kursawe, Alexander Schill
ISORC
2005
IEEE
14 years 3 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...