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