start | find | index | login or register | edit | ||
CTR-S
by earl, 7651 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 backlinks (more) none, yet recent stores (more) echo earlZstrainYat|tr ZY @. |
|
earl.strain.at • esa3 • online for 8884 days • c'est un vanilla site |