3731 search results - page 614 / 747 » cases 2006 |
77
Voted
ENTCS
2006
15 years 22 days ago
2006
The standard translation of a Bounded Model Checking (BMC) instance into a satisfiability problem, (a.k.a SAT), might produce misleading results in the case when the model under v...
121
Voted
ENTCS
2006
15 years 22 days ago
2006
It is reasonable to assume that quantum computations take place under the control of the classical world. For modelling this standard situation, we introduce a Classically-control...
87
Voted
ENTCS
2006
15 years 22 days ago
2006
Howe's method is a well-known technique for proving that various kinds of applicative bisimilarity (or similarity) on a functional language are congruences (or precongruences...
102
click to vote
ENTCS
2006
15 years 22 days ago
2006
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...
82
Voted
ENTCS
2006
15 years 22 days ago
2006
Since many domains are constantly evolving, the associated domain specific languages (DSL) inevitably have to evolve too, to retain their value. But the evolution of a DSL can be ...