4286 search results - page 22 / 858 » Formalizing Service Interactions |
87
Voted
CHI
1994
ACM
15 years 6 months ago
1994
ACM
CASSIS
2004
Springer
15 years 5 months ago
2004
Springer
116
click to vote
MOBILITY
2009
ACM
15 years 6 months ago
2009
ACM
Main requirement of recent computing environments, like mobile and then ubiquitous computing, is to adapt applications to context. On the other hand, access control generally trus...
127
Voted
ICWS
2008
IEEE
15 years 3 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
115
Voted
JSW
2006
15 years 1 months ago
2006
When having repeated interactions with a service provider, a service consumer might desire guarantees on the delivery of the service. These guarantees involve both functional and n...