Sciweavers

1298 search results - page 125 / 260
» Web Services Analysis: Making Use of Web Service Composition...
Sort
View
FUIN
2008
123views more  FUIN 2008»
13 years 8 months ago
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
Shahram Esmaeilsabzali, Nancy A. Day, Farhad Mavad...
BMCBI
2007
109views more  BMCBI 2007»
13 years 8 months ago
Seahawk: moving beyond HTML in Web-based bioinformatics analysis
Background: Traditional HTML interfaces for input to and output from Bioinformatics analysis on the Web are highly variable in style, content and data formats. Combining multiple ...
Paul M. K. Gordon, Christoph W. Sensen
INTERNET
2010
170views more  INTERNET 2010»
13 years 6 months ago
Developing RESTful Web Services with Webmachine
bstractions and mechanisms Webmachine supplies to RESTful Web services developers. Not Your Typical Framework Web services frameworks typically fall into one of the following broad...
Justin Sheehy, Steve Vinoski
ECOWS
2007
Springer
14 years 2 months ago
Web Service Hosting and Revenue Maximization
An architecture of a hosting system is presented, where a number of servers are used to provide different types of web services to paying customers. There are charges for running ...
Michele Mazzucco, Isi Mitrani, Jennie Palmer, Mike...
APSEC
2004
IEEE
13 years 12 months ago
Reasoning about Semantic Web in Isabelle/HOL
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Maho...