1880 search results - page 155 / 376 » A Static Analysis for Beta-Binders |
185
click to vote
CVPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Background modeling is a common component in video surveillance systems and is used to quickly identify regions of interest. To increase the robustness of background subtraction t...
164
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...
160
click to vote
IJFCS
2007
15 years 6 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
165
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a method for static performance analysis of SoC architectures. The method is based on a network calculus theory known as LR servers. This network calculus is e...
163
click to vote
DBPL
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, althou...