3931 search results - page 547 / 787 » Separation logic and abstraction |
185
click to vote
FORTE
2010
15 years 8 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...
221
Voted
COMMA
2008
15 years 8 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...
188
click to vote
CSREAEEE
2008
15 years 8 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...
205
click to vote
FORTE
2007
15 years 8 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...
197
Voted
FMOODS
2008
15 years 8 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...