3564 search results - page 375 / 713 » Evaluating a Formal Modelling Language |
131
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
126
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
135
click to vote
AGTIVE
2003
Springer
15 years 9 months ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...
125
Voted
ICPR
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper deals with the roles of assumption, mathematical models, and experimental control in Pattern Recognition. In order to base the discussion on actual examples, three stud...
121
click to vote
AAAI
2007
15 years 6 months ago
2007
We describe how a physical robot can learn about objects from its own autonomous experience in the continuous world. The robot identifies statistical regularities that allow it t...