412 search results - page 54 / 83 » Modelling Metamorphism by Abstract Interpretation |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Random intersection graphs (RIGs) are an important random structure with algorithmic applications in social networks, epidemic networks, blog readership, and wireless sen...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
ENTCS
2006
13 years 10 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
TFS
2008
13 years 9 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...
TON
2008
13 years 9 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...