2673 search results - page 354 / 535 » Guided Static Analysis |
147
click to vote
ICWE
2007
Springer
15 years 11 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
170
click to vote
IDA
2007
Springer
15 years 11 months ago
2007
Springer
The increasing availability of streaming data is a consequence of the continuing advancement of data acquisition technology. Such data provides new challenges to the various data a...
120
click to vote
KI
2007
Springer
15 years 11 months ago
2007
Springer
Behaviour recognition in a video scene consists of several distinct sub-tasks: objects or object parts must be recognised, classified and tracked, qualitative spatial and temporal...
146
click to vote
PADL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In aspect-oriented programming, pointcuts are usually compiled by identifying a set of shadows — that is, places in the code whose execution is potentially relevant for...
152
click to vote
AICT
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we provide guidelines for high throughput wireless multi-hop self-backhaul networks which at the same time retain fairness. Based on the theoretical analysis result...