On the Power of Play-Out for Scenario-Based Programs.

David Harel Amir Kantor Shahar Maoz

Published in: Concurrency, Compositionality, and Correctness (2010)

Keyphrases

power consumption
databases
fixpoint
data sets
computer programs
information retrieval
knowledge base
image processing
decision trees
similarity measure
operating system
programming environment