4469 search results - page 631 / 894 » Dynamic Program Slicing |
126
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
This study examines the utility of meta-grammar constant generation on a series of benchmark problems. The performance of the meta-grammar approach is compared to a grammar which ...
117
Voted
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
113
Voted
ICTCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
IH
2005
Springer
15 years 8 months ago
2005
Springer
Software protection is an area of active research in which a variety of techniques have been developed to address the issue. Examples of such techniques are software watermarking, ...
121
Voted
ISMIR
2005
Springer
15 years 8 months ago
2005
Springer
This paper proposes an algorithm for studying spectral contents of pitched sounds in real-world recordings. We assume that the 2nd -order difference, w.r.t. partial index, of a pi...