Grid Service Interaction Pattern and Composition Verification.

Wencai Guo Chuang Lin

Published in: GCC (2008)

Keyphrases

model checking
formal verification
pattern matching
music composition
user interaction
pattern detection
databases
data analysis
real time
real world
decision trees
mobile devices
human interaction
formal analysis