2623 search results - page 389 / 525 » Hoare Logic in the Abstract |
156
click to vote
CRIWG
2007
15 years 7 months ago
2007
Abstract. This paper describes a groupware prototype addressing the alternative resolution of legal conflicts. The groupware prototype integrates the storytelling and argumentation...
155
click to vote
FORTE
2010
15 years 7 months ago
2010
Abstract. Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries li...
180
click to vote
COMMA
2008
15 years 7 months ago
2008
Abstract. In previous work, we presented an RDFS ontology, based on the Argument Interchange Format (AIF), for describing arguments and argument schemes. We also implemented a pilo...
152
click to vote
CSREAEEE
2008
15 years 7 months ago
2008
Abstract - Up to now, there is little academic support for the challenges of IT management. As a reaction, various best practice frameworks were developed, which can be subsumed un...
179
click to vote
FORTE
2007
15 years 7 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...