Login / Signup
A System for the Specification and Execution of Conditional WoT Applications over Voice.
Lyunsik Hyun
Sechun Kang
Jonghyun Yoon
Young Yoon
Published in:
Middleware Posters and Demos (2015)
Keyphrases
</>
execution model
high level
control flow
exception handling
code generation
random field model
transactional properties
plan execution
provably correct
data sets
databases
formal specification
active rules
conditional logic
advanced transaction models