start | find | index | login or register | edit
by earl, 6340 days ago
"A Logic for Specifying Contracts in Semantic Web Services"

"A formalism for specifying and reasoning about the behavioral aspects of service contracts"

Proposed by Hasan Davulcu, Michael Kifer, I. V. Ramarkishnan.

powered by vanilla
echo earlZstrainYat|tr ZY @. • esa3 • online for 7573 days • c'est un vanilla site