3342 search results - page 503 / 669 » Automating Abstract Interpretation |
ESWS
2008
Springer
14 years 16 days ago
2008
Springer
Abstract. In this demo description, we present Konduit, a desktopbased platform for visual programming with RDF data. Based on the idea of the semantic desktop, non-technical users...
FORMATS
2008
Springer
14 years 10 days ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
CRIWG
2007
14 years 7 days ago
2007
Abstract. This paper presents Relations Graph – GR a methodology to automate the generation of coordination mechanisms in computational environments. GR explores encapsulation an...
COMMA
2008
14 years 7 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...
DAGSTUHL
2007
14 years 7 days ago
2007
Abstract. The dependency pair technique is a powerful modular method for automated termination proofs of term rewrite systems. We first show that dependency pairs are also suitabl...