3820 search results - page 394 / 764 » Bounded Model Debugging |
151
click to vote
CSL
2000
Springer
15 years 8 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
128
click to vote
CPM
1999
Springer
15 years 8 months ago
1999
Springer
This paper examines some of the rich structure of the syntenic distance model of evolutionary distance, introduced by Ferretti et al. (1996). The syntenic distance between two gen...
114
click to vote
ICDT
1999
ACM
15 years 8 months ago
1999
ACM
In data integration systems, queries posed to a mediator need to be translated into a sequence of queries to the underlying data sources. In a heterogeneous environment, with sour...
126
click to vote
ICC
1997
IEEE
15 years 8 months ago
1997
IEEE
Real measurements in high-speed communications networks have recently shown that traffic may demonstrate properties of long-range dependency peculiar to self-similar stochastic pr...
137
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Answer set programs with time predicates are useful to model systems whose properties depend on time, like for example gene regulatory networks. A state of such a system at time po...