3342 search results - page 499 / 669 » Automating Abstract Interpretation |
FDL
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we propose a domain specific language for the development of hardware/software cryptographic systems based on the well known Python programming language. It is desi...
DBKDA
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract--With the growing computer networks, accessible data is becoming increasing distributed. Understanding and integrating remote and unfamiliar data sources are important dat...
HASE
2007
IEEE
14 years 2 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
ATAL
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Online reputation mechanisms need honest feedback to function effectively. Self interested agents report the truth only when explicit rewards offset the cost of reporting...
ATVA
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...