2000 search results - page 266 / 400 » Program Transformation and Proof Transformation |
152
click to vote
IPPS
2008
IEEE
16 years 24 days ago
2008
IEEE
The ubiquity of multicore processors in commodity computing systems has raised a significant programming challenge for their effective use. An attractive but challenging approach...
153
click to vote
MSR
2006
ACM
16 years 10 days ago
2006
ACM
Refactorings are program transformations which should preserve the program behavior. Consequently, we expect that during phases when there are mostly refactorings in the change hi...
160
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
149
click to vote
IWDW
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we use the previously proposed calibrated DCT features [9] to construct a Support Vector Machine classifier for JPEG images capable of recognizing which steganograp...
144
click to vote
WEBI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we particularly focused our attention on how to enhance expressivity of ontologies when used as organized space values in a catalogue request process. Using the Wis...