Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems.

Lieven Desmet Frank Piessens Wouter Joosen Pierre Verbaeten

Published in: SC@ETAPS (2006)

Keyphrases

data sharing
loosely coupled
highly distributed
distributed systems
tightly coupled
distributed data
web services
peer to peer
data integration
data access
expert systems
web service technology
information sharing
security administration
databases
knowledge discovery
e learning