CTR-S
by earl, 8011 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
11 active users
- unknown (11)
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
