4211 search results - page 333 / 843 » Types as Abstract Interpretations |
146
click to vote
JUCS
2006
15 years 6 months ago
2006
: Characterising liveness using a structure based approach is a key issue in theory of Petri nets. In this paper, we introduce a structure causality relation from which a topologic...
153
click to vote
AML
2005
15 years 6 months ago
2005
Abstract. We investigate the theories LA, LAP, LAP of linear algebra, which were originally defined to study the question of whether commutativity of matrix inverses has polysize F...
178
click to vote
TCS
2008
15 years 6 months ago
2008
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
172
click to vote
TFS
2008
15 years 6 months ago
2008
Abstract--This paper proposes a new method of merging parameterized fuzzy sets based on clustering in the parameters space, taking into account the degree of inclusion of each fuzz...
171
click to vote
TON
2008
15 years 6 months ago
2008
Abstract--Recent spates of cyber-attacks and frequent emergence of applications affecting Internet traffic dynamics have made it imperative to develop effective techniques that can...