4286 search results - page 339 / 858 » Formalizing Service Interactions |
172
click to vote
EGOV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Research works and surveys focusing on e-Government Digital Services availability and usage, reveal that often services are available but ignored by citizens. In our hypo...
156
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
This paper examines how service providers may resolve the trade-off between their personalization efforts and users' individual privacy concerns. We analyze how negotiation te...
159
click to vote
MASCOTS
2004
15 years 8 months ago
2004
Grid computing is the future computing paradigm for enterprise applications. An enterprise application running on a grid is composed of a set of SLA-constrained sub-tasks demandin...
152
click to vote
WSS
2001
15 years 8 months ago
2001
We present a formal specification of the PING protocol, and use three concepts of convergence theory, namely closure, convergence, and protection, to show that this protocol is se...
158
click to vote
COORDINATION
2010
Springer
15 years 6 months ago
2010
Springer
In the context of service-oriented computing, behavioural contracts are descriptions of the message-passing behaviour of services. They can be used to check properties of service c...