102 search results - page 19 / 21 » A Behavioural Congruence for Web Services |
DAGSTUHL
2003
13 years 8 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...
ENTCS
2007
13 years 7 months ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
UIST
2006
ACM
14 years 1 months ago
2006
ACM
Many tasks require users to extract information from diverse sources, to edit or process this information locally, and to explore how the end results are affected by changes in th...
ECIS
2003
13 years 8 months ago
2003
This paper discusses the direct and indirect effects of online shopping experience on selecting and the intention to select the Internet as the purchasing channel. The theoretical...
ODRL
2004
13 years 8 months ago
2004
Software license management is currently expanding from its traditional desktop environment into the mobile application space, but software vendors are still applying old licensing...