Sciweavers

4286 search results - page 37 / 858
» Formalizing Service Interactions
Sort
View
120
Voted
ERCIM
2007
73views more  ERCIM 2007»
15 years 4 months ago
Formal Modelling and Verification in Service-Oriented Computing
Maurice H. ter Beek, Stefania Gnesi, Fabio Martine...
MTA
2010
48views more  MTA 2010»
15 years 3 months ago
VAMP: a service for validating MPEG-7 descriptions w.r.t. to formal profile definitions
Raphaël Troncy, Werner Bailer, Martin Hö...
147
Voted
PERVASIVE
2005
Springer
15 years 10 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 11 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