Sciweavers

4286 search results - page 37 / 858
» Formalizing Service Interactions
Sort
View
ERCIM
2007
73views more  ERCIM 2007»
15 years 2 months ago
Formal Modelling and Verification in Service-Oriented Computing
Maurice H. ter Beek, Stefania Gnesi, Fabio Martine...
PERVASIVE
2005
Springer
15 years 7 months ago
A Formal Model of Obfuscation and Negotiation for Location Privacy
Obfuscation concerns the practice of deliberately degrading the quality of information in some way, so as to protect the privacy of the individual to whom that information refers. ...
Matt Duckham, Lars Kulik
ASWEC
2006
IEEE
15 years 8 months ago
A Runtime Monitoring and Validation Framework for Web Service Interactions
Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ens...
Zheng Li, Yan Jin, Jun Han