2500 search results - page 420 / 500 » Logical Semantics of Modularisation |
110
click to vote
FMCAD
2008
Springer
15 years 19 days ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
100
click to vote
COMMA
2008
15 years 17 days 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...
COMMA
2008
15 years 17 days ago
2008
Abstract. We propose an abstract argumentation theory whose dynamics is captured by the application of belief revision concepts. The theory is deemed as abstract because both the u...
CSREAEEE
2008
15 years 17 days 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...
90
Voted
FORTE
2007
15 years 16 days 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...