1880 search results - page 262 / 376 » A Static Analysis for Beta-Binders |
188
click to vote
FOSSACS
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Some decision problems related to balanced context-free languages are important for their application to the static analysis of programs generating XML strings. One such ...
175
click to vote
ICWE
2007
Springer
16 years 12 days 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 ...
196
click to vote
IDA
2007
Springer
16 years 12 days 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...
143
click to vote
KI
2007
Springer
16 years 11 days 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...
175
click to vote
PADL
2007
Springer
16 years 11 days 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...