2203 search results - page 204 / 441 » Temporal Abstract Interpretation |
137
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
156
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We survey some of the main results regarding the complexity and expressive power of Live Sequence Charts (LSCs). We first describe the two main semantics given to LSCs: a...
157
click to vote
DCOSS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Aiming at a realistic mobile connectivity model for vehicular sensor networks in urban environments, we propose the combination of large-scale traffic simulation and comp...
141
click to vote
DIMVA
2008
15 years 5 months ago
2008
Abstract. Stealthy malware, such as botnets and spyware, are hard to detect because their activities are subtle and do not disrupt the network, in contrast to DoS attacks and aggre...
131
click to vote
ESANN
2007
15 years 5 months ago
2007
Abstract. We propose a two-step approach for the analysis of functional magnetic resonance images, in the context of natural stimuli. In the first step, elements of functional bra...