339 search results - page 30 / 68 » Basic concepts of abstract interpretation |
ICDAR
1997
IEEE
15 years 4 months ago
1997
IEEE
The purpose of a document is to facilitate the transfer of information from its author to its readers. It is the author’s job to design the document so that the information it c...
VLSID
2008
IEEE
16 years 5 days ago
2008
IEEE
Abstract-- With the continuous downscaling of CMOS technologies, the reliability has become a major bottleneck in the evolution of the next generation systems. Technology trends su...
IIE
2007
14 years 11 months ago
2007
Abstract. Changes in educational technologies modify the role of the teacher and require new competencies. Scientific literature describes competence in using ICT as the wholeness...
111
click to vote
JSW
2007
14 years 11 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
SLOGICA
2002
14 years 11 months ago
2002
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...