start | find | index | login or register | edit | ||
CTR-S
by earl, 7719 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. - http://portal.acm.org/citation.cfm?id=1010432.1010456 |
search 7 active users
backlinks (more) none, yet recent stores (more) echo earlZstrainYat|tr ZY @. |
|
earl.strain.at • esa3 • online for 8952 days • c'est un vanilla site |