Sciweavers

1157 search results - page 67 / 232
» Engineering Communities of Web Services
Sort
View
APSEC
2004
IEEE
14 years 1 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...
PERCOM
2003
ACM
14 years 9 months ago
Location-Based E-Campus Web Services: From Design to Deployment
In our previous work, we have designed, using a network-based approach, and are currently deploying on Purdue wireless Infrastructure, a Web service for location discovery of 802....
Simon G. M. Koo, Catherine Rosenberg, Hoi-Ho Chan,...
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
14 years 4 months ago
Contract-Based Discovery and Composition of Web Services
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
Mario Bravetti, Gianluigi Zavattaro
AVI
2010
13 years 11 months ago
User task-based development of multi-device service-oriented applications
In this paper, we discuss a method and the associated tool support able to exploit Web services in model-based user interface development, starting with the results of a task anal...
Fabio Paternò, Carmen Santoro, Lucio Davide...
ICWE
2010
Springer
13 years 8 months ago
Connecting Smart Things through Web Services Orchestrations
The Web of Things is an emerging scenario in which objects are connected to Internet and can answer to HTTP queries. To date, new applications in this field are mainly produced by ...
Antonio Pintus, Davide Carboni, Andrea Piras, Ales...