start | find | index | login or register | edit | ||
CTR-S
by earl, 7220 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 8453 days • c'est un vanilla site |