IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude.

Ian A. Mason Carolyn L. Talcott

Published in: WRLA (2004)

Keyphrases

metadata
user friendly
web service technology
web services
computer graphics
data sets
information systems
semantic web
virtual reality
formal specification
graphical interface
wireless sensor networks
user interaction
model checking
information sharing
service oriented