810 search results - page 80 / 162 » Rule-based Model Extraction from Source Code |
PLDI
2010
ACM
14 years 5 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
ESWS
2010
Springer
14 years 21 days ago
2010
Springer
Abstract. In this demo we present RDFauthor, an approach for authoring information that adheres to the RDF data model. RDFauthor completely hides syntax as well as RDF and ontology...
EKAW
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In this paper we present RDFauthor, an approach for authoring information that adheres to the RDF data model. RDFauthor completely hides syntax as well as RDF and ontolog...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The performance in higher secondary school education in India is a turning point in the academic lives of all students. As this academic performance is influenced by many factors,...
BMCBI
2010
13 years 8 months ago
2010
Background: Signal transduction events often involve transient, yet specific, interactions between structurally conserved protein domains and polypeptide sequences in target prote...