8232 search results - page 1358 / 1647 » Dynamic Logic Programming |
182
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
This study reports the work to date on the analysis of different methodologies for constant creation with the aim of applying the most advantageous method to the dynamic real wor...
181
click to vote
GECCO
2005
Springer
16 years 3 days 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 ...
177
click to vote
ICALP
2005
Springer
16 years 3 days 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...
176
click to vote
ICTCS
2005
Springer
16 years 3 days 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...
163
click to vote
IH
2005
Springer
16 years 3 days 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, ...