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