4355 search results - page 182 / 871 » From Interpretation to Compilation |
142
click to vote
FLAIRS
2007
15 years 6 months ago
2007
In this paper, we extend Moss and Parikh’s approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively ad...
123
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
How an internal observer, that is not given any a priori knowledge or interpretation of what its sensors receives, learn to imitate seems a formidable issue from a viewpoint of a c...
119
click to vote
ENTCS
2007
15 years 4 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
125
click to vote
TAP
2010
Springer
15 years 2 months ago
2010
Springer
An important component of Empirical Software Engineering (ESE) research involves the measurement, observation, analysis and understanding of software engineering in practice. Resul...
129
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
One of the challenging problems for software developers is guaranteeing that a system as built is consistent with its architectural design. In this paper we describe a technique t...